From 182063dd85a03f2086258946276c8967945ffe95 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 30 Jan 2023 20:59:34 +0000 Subject: gentoo auto-resync : 30:01:2023 - 20:59:33 --- metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0-r1 | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0-r1 (limited to 'metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0-r1') diff --git a/metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0-r1 b/metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0-r1 deleted file mode 100644 index 40f8eade298e..000000000000 --- a/metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0-r1 +++ /dev/null @@ -1,12 +0,0 @@ -DEFINED_PHASES=compile configure install prepare -DEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] dev-ml/zarith:= dev-ml/lablgtk:2=[sourceview,ocamlopt=] dev-ml/camlzip:= sci-mathematics/psmt2-frontend >=dev-ml/ocplib-simplex-0.4:= >=dev-ml/menhir-20181006:= dev-ml/seq:= dev-ml/dune:= dev-ml/num:= -DESCRIPTION=Automatic theorem prover -EAPI=7 -HOMEPAGE=https://alt-ergo.ocamlpro.com -IUSE=examples gtk +ocamlopt -KEYWORDS=amd64 -LICENSE=CeCILL-C -RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] dev-ml/zarith:= dev-ml/lablgtk:2=[sourceview,ocamlopt=] dev-ml/camlzip:= sci-mathematics/psmt2-frontend >=dev-ml/ocplib-simplex-0.4:= >=dev-ml/menhir-20181006:= dev-ml/seq:= dev-ml/dune:= dev-ml/num:= -SLOT=0 -SRC_URI=https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.0/alt-ergo-2.3.0.tar.gz -_md5_=6f5938c2fb38cfe339650c7b763d96a1 -- cgit v1.2.3