diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-07-12 12:25:39 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-07-12 12:25:39 +0100 |
commit | 37bccfe5e76c5740c4ef5ba1179e9488d8404075 (patch) | |
tree | c0c962a2e83c1f38816a021ecd34c2e8c80db528 /metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1 | |
parent | 496ef6155c315ac3628b472dc9b4146fa2684286 (diff) |
gentoo auto-resync : 12:07:2024 - 12:25:38
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 | 4 |
1 files changed, 2 insertions, 2 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 363117600561..6b0e53c41d8d 100644 --- a/metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1 +++ b/metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1 @@ -1,4 +1,4 @@ -BDEPEND=>=app-portage/elt-patches-20240116 sys-devel/gnuconfig || ( >=dev-build/automake-1.16.5:1.16 ) || ( >=dev-build/autoconf-2.72-r1:2.72 >=dev-build/autoconf-2.71-r6:2.71 ) >=dev-build/libtool-2.4.7-r3 +BDEPEND=>=app-portage/elt-patches-20240116 sys-devel/gnuconfig || ( >=dev-build/automake-1.17-r1:1.17 >=dev-build/automake-1.16.5:1.16 ) || ( >=dev-build/autoconf-2.72-r1:2.72 >=dev-build/autoconf-2.71-r6:2.71 ) >=dev-build/libtool-2.4.7-r3 DEFINED_PHASES=compile configure install prepare DEPEND=dev-libs/gmp:= mcsat? ( sci-mathematics/libpoly:= sci-mathematics/cudd:= ) DESCRIPTION=SMT Solver supporting SMT-LIB and Yices specification language @@ -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_=autotools dc70c1dc473b68317fc4a86f5fbfc57d gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 +_eclasses_=autotools d12ccbad07b44642a75ac97a3334d8e0 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 _md5_=56bbd3d09eebb277ddd15907f996cca3 |