diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-02-28 05:40:38 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-02-28 05:40:38 +0000 |
commit | 88f366f99d8e731ae1a13d9eca9a5284484d2c6f (patch) | |
tree | 07a82726de0e87969c85cdfb68522c4d444939e9 /metadata/md5-cache/sci-mathematics/coq-8.19.0 | |
parent | fdd31f37b982d2c1b6d73b85f99718b13031be36 (diff) |
gentoo auto-resync : 28:02:2024 - 05:40:38
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/coq-8.19.0')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.19.0 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.19.0 b/metadata/md5-cache/sci-mathematics/coq-8.19.0 index 5ca4b798c361..2909f122811b 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.19.0 +++ b/metadata/md5-cache/sci-mathematics/coq-8.19.0 @@ -6,11 +6,11 @@ EAPI=8 HOMEPAGE=http://coq.inria.fr/ https://github.com/coq/coq/ INHERIT=check-reqs desktop dune edo IUSE=debug doc gui +ocamlopt test -KEYWORDS=~amd64 ~x86 +KEYWORDS=amd64 ~x86 LICENSE=LGPL-2.1 RDEPEND=dev-ml/num:= dev-ml/zarith:= gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= RESTRICT=test SLOT=0/8.19.0 SRC_URI=https://github.com/coq/coq/archive/V8.19.0.tar.gz -> coq-8.19.0.tar.gz _eclasses_=check-reqs 02ac7654b64f7acc7a8b1a35ad9d6ddc desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe -_md5_=99086e6ff19a76199c9aa6d0564ada66 +_md5_=9c4bead10ee6b153d585795040c29938 |