diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2024-10-08 15:51:53 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-10-08 15:51:53 +0000 |
| commit | 128d0181e1e35e0a3764bb89f716d837d3822858 (patch) | |
| tree | acd301c274f702567c6714db780880fae4209148 /metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-128d0181e1e35e0a3764bb89f716d837d3822858.tar.gz gentoo-128d0181e1e35e0a3764bb89f716d837d3822858.tar.bz2 gentoo-128d0181e1e35e0a3764bb89f716d837d3822858.zip | |
2024-10-08 15:51:52 UTC
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1 b/metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1 index 674fc795bfc9..ccb0c0d6a159 100644 --- a/metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1 +++ b/metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1 @@ -11,5 +11,5 @@ LICENSE=GPL-3+ RDEPEND=dev-libs/gmp:= mcsat? ( sci-mathematics/libpoly:= sci-mathematics/cudd:= ) SLOT=0/2.6.4 SRC_URI=https://github.com/SRI-CSL/yices2/archive/Yices-2.6.4.tar.gz -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d +_eclasses_=gnuconfig ddeb9f8caff1b5f71a09c75b7534df79 toolchain-funcs d3d42b22a610ce81c267b644bcec9b87 multilib b2a329026f2e404e9e371097dda47f96 libtool 6b28392a775f807c8be5fc7ec9a605b9 autotools 7d91cc798a8afd8f4e0c6e9587296ebe _md5_=56bbd3d09eebb277ddd15907f996cca3 |