diff options
| author |   Repository QA checks <repo-qa-checks@gentoo.org> | 2016-06-25 21:42:18 +0000 |
|---|---|---|
| committer | Repository QA checks <repo-qa-checks@gentoo.org> | 2016-06-25 21:42:18 +0000 |
| commit | e89bc27f32aca25784239c99bc2d44308305ec2b (patch) | |
| tree | e2506f755f6166a065d3295b5fa0115aa3588e4c /metadata/md5-cache | |
| parent | Merge updates from master (diff) | |
| download | gentoo-e89bc27f32aca25784239c99bc2d44308305ec2b.tar.gz gentoo-e89bc27f32aca25784239c99bc2d44308305ec2b.tar.bz2 gentoo-e89bc27f32aca25784239c99bc2d44308305ec2b.zip | |
2016-06-25 21:42:17 UTC
Diffstat (limited to 'metadata/md5-cache')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.4_p5 | 14 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.4_p6 | 14 |
2 files changed, 0 insertions, 28 deletions
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.4_p5 b/metadata/md5-cache/sci-mathematics/coq-8.4_p5 deleted file mode 100644 index 78d098eb8ac4..000000000000 --- a/metadata/md5-cache/sci-mathematics/coq-8.4_p5 +++ /dev/null @@ -1,14 +0,0 @@ -DEFINED_PHASES=compile configure install prepare test -DEPEND=>=dev-lang/ocaml-3.11.2:=[ocamlopt?] camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] ) !camlp5? ( || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 ) ) gtk? ( >=dev-ml/lablgtk-2.10.1:=[ocamlopt?] ) doc? ( media-libs/netpbm[png,zlib] virtual/latex-base dev-tex/hevea dev-tex/xcolor dev-texlive/texlive-pictures dev-texlive/texlive-mathextra dev-texlive/texlive-latexextra ) -DESCRIPTION=Proof assistant written in O'Caml -EAPI=5 -HOMEPAGE=http://coq.inria.fr/ -IUSE=gtk debug +ocamlopt doc camlp5 -KEYWORDS=amd64 ppc x86 -LICENSE=LGPL-2.1 -RDEPEND=>=dev-lang/ocaml-3.11.2:=[ocamlopt?] camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] ) !camlp5? ( || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 ) ) gtk? ( >=dev-ml/lablgtk-2.10.1:=[ocamlopt?] ) -SLOT=0 -SRC_URI=http://coq.inria.fr/distrib/V8.4pl5/files/coq-8.4pl5.tar.gz -_eclass_exported_funcs=src_prepare:- src_configure:- src_compile:- src_test:- src_install:- -_eclasses_=eutils 792f83d5ec9536cb5ccef375469d8bde multilib d062ae4ba2fc40a19c11de2ad89b6616 toolchain-funcs c9d9187f4caa4026a0ceddd8dfceb3c1 -_md5_=2796b72064b2596056ad8636f0de4748 diff --git a/metadata/md5-cache/sci-mathematics/coq-8.4_p6 b/metadata/md5-cache/sci-mathematics/coq-8.4_p6 deleted file mode 100644 index 8ff5774a19e3..000000000000 --- a/metadata/md5-cache/sci-mathematics/coq-8.4_p6 +++ /dev/null @@ -1,14 +0,0 @@ -DEFINED_PHASES=compile configure install prepare test -DEPEND=>=dev-lang/ocaml-3.11.2:=[ocamlopt?] camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] ) !camlp5? ( || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 ) ) gtk? ( >=dev-ml/lablgtk-2.10.1:=[ocamlopt?] ) doc? ( media-libs/netpbm[png,zlib] virtual/latex-base dev-tex/hevea dev-tex/xcolor dev-texlive/texlive-pictures dev-texlive/texlive-mathextra dev-texlive/texlive-latexextra ) -DESCRIPTION=Proof assistant written in O'Caml -EAPI=5 -HOMEPAGE=http://coq.inria.fr/ -IUSE=gtk debug +ocamlopt doc camlp5 -KEYWORDS=~amd64 ~ppc ~x86 -LICENSE=LGPL-2.1 -RDEPEND=>=dev-lang/ocaml-3.11.2:=[ocamlopt?] camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] ) !camlp5? ( || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 ) ) gtk? ( >=dev-ml/lablgtk-2.10.1:=[ocamlopt?] ) -SLOT=0 -SRC_URI=http://coq.inria.fr/distrib/V8.4pl6/files/coq-8.4pl6.tar.gz -_eclass_exported_funcs=src_prepare:- src_configure:- src_compile:- src_test:- src_install:- -_eclasses_=eutils 792f83d5ec9536cb5ccef375469d8bde multilib d062ae4ba2fc40a19c11de2ad89b6616 toolchain-funcs c9d9187f4caa4026a0ceddd8dfceb3c1 -_md5_=0635aef0249344d5f1d6172869efdbb7 |