diff options
| author |   Repository QA checks <repo-qa-checks@gentoo.org> | 2016-12-19 12:25:42 +0000 |
|---|---|---|
| committer | Repository QA checks <repo-qa-checks@gentoo.org> | 2016-12-19 12:25:42 +0000 |
| commit | 9dbe51746b3e5d5195ea0ef44a591cdb746d59f2 (patch) | |
| tree | 2f37dbf199187ead52323081655880d8fea5096a /metadata/md5-cache/sci-mathematics/coq-8.6 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-9dbe51746b3e5d5195ea0ef44a591cdb746d59f2.tar.gz gentoo-9dbe51746b3e5d5195ea0ef44a591cdb746d59f2.tar.bz2 gentoo-9dbe51746b3e5d5195ea0ef44a591cdb746d59f2.zip | |
2016-12-19 12:25:40 UTC
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/coq-8.6')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.6 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.6 b/metadata/md5-cache/sci-mathematics/coq-8.6 new file mode 100644 index 000000000000..d0a669f1daaf --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/coq-8.6 @@ -0,0 +1,14 @@ +DEFINED_PHASES=compile configure install test +DEPEND=>=dev-lang/ocaml-3.11.2:=[ocamlopt?] camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] ) !camlp5? ( dev-ml/camlp4:= ) gtk? ( >=dev-ml/lablgtk-2.10.1:=[sourceview,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:= ) gtk? ( >=dev-ml/lablgtk-2.10.1:=[sourceview,ocamlopt?] ) +SLOT=0 +SRC_URI=http://coq.inria.fr/distrib/V8.6/files/coq-8.6.tar.gz +_eclass_exported_funcs=src_configure:- src_compile:- src_test:- src_install:- +_eclasses_=eutils b83a2420b796f7c6eff682679d08fe25 multilib 165fc17c38d1b11dac2008280dab6e80 toolchain-funcs 1b1da0c45c555989dc5d832b54880783 +_md5_=7daa83b700b360f3ddab159a4315e72a |