diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-02-19 20:16:04 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-19 20:16:04 +0000 |
| commit | d4725f7e03f4d243d29d408f4b9de39459e00d4c (patch) | |
| tree | 5b5a3f8042f807f8277163cdc362e03f3333fec7 /metadata/md5-cache/sci-mathematics/coq-8.12.0-r2 | |
| parent | 80c51284f0017d5765c7ae39207be9c58f4bfa17 (diff) | |
gentoo auto-resync : 19:02:2023 - 20:16:03
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/coq-8.12.0-r2')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.12.0-r2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2 b/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2 index 17fdf4c248f0..648bcc2f9ef5 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2 +++ b/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2 @@ -11,5 +11,5 @@ RDEPEND=dev-ml/camlp5:=[ocamlopt?] || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlo RESTRICT=test SLOT=0 SRC_URI=https://github.com/coq/coq/archive/V8.12.0.tar.gz -> coq-8.12.0.tar.gz -_eclasses_=desktop 7eb20ad915a0a318176d51bc2508ff5c multilib 5ca4e49abed8e3a2f7b56920eadee157 toolchain-funcs 9a610728b9bcca1919234cceb35a1027 +_eclasses_=desktop 7eb20ad915a0a318176d51bc2508ff5c multilib 5ca4e49abed8e3a2f7b56920eadee157 toolchain-funcs cf009a3ed4e5bef503e7a9f215791a78 _md5_=25c8cc65061801bb284df24625c245f1 |