diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-03-18 00:29:05 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-18 00:29:05 +0000 |
commit | 467e2131896a3030032cd5b0fab2094a045bf9d0 (patch) | |
tree | 534578ca7ef61b3eb30fee861db78c0ae58e2fa6 /metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 | |
parent | 1f254b1ee917690b4f8f7738fdcfc295ee304ff7 (diff) |
gentoo auto-resync : 18:03:2023 - 00:29:05
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/coq-8.13.0-r1')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 b/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 index 74fa35f9bc91..82287ee796ff 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 +++ b/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 @@ -11,5 +11,5 @@ RDEPEND=dev-ml/zarith || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( RESTRICT=test SLOT=0 SRC_URI=https://github.com/coq/coq/archive/V8.13.0.tar.gz -> coq-8.13.0.tar.gz -_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d findlib d8fa93cf137156660d0b72144b1e31d9 +_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d findlib cc1c14904708a0a28bcb256b342a808c _md5_=cf095aa4b2685a05dc9a994fa9bd075f |