diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2024-09-22 08:34:14 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-09-22 08:34:14 +0000 |
| commit | 0e631d4a200a969715d43dd76cbe1e33bb49a4c6 (patch) | |
| tree | db0b6ecb1bdb33ff9f67e84a7582777c7eaceecb /metadata/md5-cache/sci-mathematics | |
| parent | Merge commit '93af9502caeaaee53e016304ac4a2e5bd3192822' (diff) | |
| download | gentoo-0e631d4a200a969715d43dd76cbe1e33bb49a4c6.tar.gz gentoo-0e631d4a200a969715d43dd76cbe1e33bb49a4c6.tar.bz2 gentoo-0e631d4a200a969715d43dd76cbe1e33bb49a4c6.zip | |
2024-09-22 08:34:14 UTC
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/cvc4-1.8-r5 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/sci-mathematics/cvc4-1.8-r5 b/metadata/md5-cache/sci-mathematics/cvc4-1.8-r5 index d944af493551..20003046bc8d 100644 --- a/metadata/md5-cache/sci-mathematics/cvc4-1.8-r5 +++ b/metadata/md5-cache/sci-mathematics/cvc4-1.8-r5 @@ -12,4 +12,4 @@ RDEPEND=dev-libs/antlr-c dev-java/antlr:3 dev-libs/boost readline? ( sys-libs/re SLOT=0 SRC_URI=https://github.com/CVC4/CVC4-archived/archive/refs/tags/1.8.tar.gz -> cvc4-1.8.tar.gz _eclasses_=toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 multiprocessing e644caa6eb7ce7e5ab0864383ac13ad9 ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 cmake 10a50dfaf728b802fcfd37f8d0da9056 eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 python-utils-r1 6881b056477c23167d9a6b33e146374e python-any-r1 5af215c3da6aef17a2d5e02968df1d5a -_md5_=c15ecb1cccca4b36a004bc2c143de649 +_md5_=2630febcc27949aa6c5fe17321cd996d |