From 662f71ae67cd775d7fbb79b5091676c0e07a992b Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 29 May 2023 15:17:30 +0100 Subject: gentoo auto-resync : 29:05:2023 - 15:17:30 --- metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1 | 2 +- metadata/md5-cache/sci-mathematics/Manifest.gz | Bin 28616 -> 28605 bytes metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r2 | 2 +- .../md5-cache/sci-mathematics/dataplot-20131220 | 2 +- metadata/md5-cache/sci-mathematics/eclib-20230424 | 2 +- metadata/md5-cache/sci-mathematics/euler-1.61.0-r1 | 2 +- metadata/md5-cache/sci-mathematics/form-4.3.0-r1 | 2 +- metadata/md5-cache/sci-mathematics/form-4.3.1 | 2 +- metadata/md5-cache/sci-mathematics/genius-1.0.27 | 2 +- metadata/md5-cache/sci-mathematics/giac-1.9.0.29-r1 | 2 +- metadata/md5-cache/sci-mathematics/glpk-5.0-r1 | 2 +- metadata/md5-cache/sci-mathematics/maxima-5.46.0 | 2 +- metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1 | 2 +- metadata/md5-cache/sci-mathematics/metamath-0.198 | 2 +- metadata/md5-cache/sci-mathematics/nauty-2.7.4 | 2 +- metadata/md5-cache/sci-mathematics/nauty-2.8.6-r1 | 2 +- metadata/md5-cache/sci-mathematics/normaliz-3.10.0 | 2 +- metadata/md5-cache/sci-mathematics/octave-7.3.0-r2 | 2 +- metadata/md5-cache/sci-mathematics/octave-8.1.0 | 2 +- metadata/md5-cache/sci-mathematics/octave-8.2.0 | 2 +- metadata/md5-cache/sci-mathematics/prng-3.0.2-r3 | 2 +- .../md5-cache/sci-mathematics/psmt2-frontend-0.2 | 2 +- metadata/md5-cache/sci-mathematics/topcom-0.17.8-r3 | 2 +- metadata/md5-cache/sci-mathematics/unuran-1.9.0 | 2 +- metadata/md5-cache/sci-mathematics/why3-1.4.1-r1 | 2 +- metadata/md5-cache/sci-mathematics/why3-1.5.1 | 2 +- metadata/md5-cache/sci-mathematics/why3-1.6.0 | 2 +- .../sci-mathematics/why3-for-spark-2021-r1 | 2 +- metadata/md5-cache/sci-mathematics/yices2-2.6.4-r1 | 2 +- 29 files changed, 28 insertions(+), 28 deletions(-) (limited to 'metadata/md5-cache/sci-mathematics') diff --git a/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1 b/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1 index 52fd84f59d56..40980522c809 100644 --- a/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1 +++ b/metadata/md5-cache/sci-mathematics/4ti2-1.6.7-r1 @@ -10,5 +10,5 @@ LICENSE=GPL-2 RDEPEND=sci-mathematics/glpk:=[gmp] dev-libs/gmp:0=[cxx(+)] SLOT=0 SRC_URI=http://4ti2.de/version_1.6.7/4ti2-1.6.7.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=df00a64ac5488c2ed292d62e020df1e0 diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz index b8ef2bb418da..9b79b4f87caf 100644 Binary files a/metadata/md5-cache/sci-mathematics/Manifest.gz and b/metadata/md5-cache/sci-mathematics/Manifest.gz differ diff --git a/metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r2 b/metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r2 index 60187279cd83..55547f5f9117 100644 --- a/metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r2 +++ b/metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r2 @@ -11,5 +11,5 @@ LICENSE=Apache-2.0 RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt] dev-ml/num:= emacs? ( >=app-editors/emacs-23.1:* ) SLOT=0/1.2.0 SRC_URI=https://github.com/cubicle-model-checker/cubicle/archive/1.2.0.tar.gz -> cubicle-1.2.0.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a elisp-common 01bc6dc778b74a9deebe4e419a3b790e gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=2b7622b8a6c6806f840896a8f6e6d82b diff --git a/metadata/md5-cache/sci-mathematics/dataplot-20131220 b/metadata/md5-cache/sci-mathematics/dataplot-20131220 index fcc3d71ff7ee..ff6086479c4a 100644 --- a/metadata/md5-cache/sci-mathematics/dataplot-20131220 +++ b/metadata/md5-cache/sci-mathematics/dataplot-20131220 @@ -12,5 +12,5 @@ RDEPEND=media-libs/plotutils opengl? ( virtual/opengl ) gd? ( media-libs/gd[png, REQUIRED_USE=opengl? ( X ) SLOT=0 SRC_URI=ftp://ftp.nist.gov/pub/dataplot/unix/dpsrc_2013_12_20.tar.gz ftp://ftp.nist.gov/pub/dataplot/unix/dplib.2009_07_15.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e wrapper 4a1902f969e5718126434fc35f3a0d9c +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e wrapper 4a1902f969e5718126434fc35f3a0d9c _md5_=dbf2917d0a5a67cecc42f868b444264b diff --git a/metadata/md5-cache/sci-mathematics/eclib-20230424 b/metadata/md5-cache/sci-mathematics/eclib-20230424 index 462d2a4e498e..448a49065957 100644 --- a/metadata/md5-cache/sci-mathematics/eclib-20230424 +++ b/metadata/md5-cache/sci-mathematics/eclib-20230424 @@ -12,5 +12,5 @@ RDEPEND=sci-mathematics/pari:= dev-libs/ntl:= boost? ( dev-libs/boost:= ) flint? RESTRICT=!test? ( test ) SLOT=0/12 SRC_URI=https://github.com/JohnCremona/eclib/releases/download/v20230424/eclib-20230424.tar.bz2 -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=322b59a29ce117f504cb0418e7880d74 diff --git a/metadata/md5-cache/sci-mathematics/euler-1.61.0-r1 b/metadata/md5-cache/sci-mathematics/euler-1.61.0-r1 index 197503abb525..6d1ba95d2849 100644 --- a/metadata/md5-cache/sci-mathematics/euler-1.61.0-r1 +++ b/metadata/md5-cache/sci-mathematics/euler-1.61.0-r1 @@ -10,5 +10,5 @@ LICENSE=GPL-2 RDEPEND=x11-libs/gtk+:2 x11-misc/xdg-utils SLOT=0 SRC_URI=mirror://sourceforge/euler/euler-1.61.0.tgz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=a4cc367c3587f9a1cab8e6a45fcb9cbd diff --git a/metadata/md5-cache/sci-mathematics/form-4.3.0-r1 b/metadata/md5-cache/sci-mathematics/form-4.3.0-r1 index eab2c309ddb6..26bc059fcae7 100644 --- a/metadata/md5-cache/sci-mathematics/form-4.3.0-r1 +++ b/metadata/md5-cache/sci-mathematics/form-4.3.0-r1 @@ -11,5 +11,5 @@ LICENSE=GPL-3 RDEPEND=gmp? ( dev-libs/gmp:0= ) mpi? ( virtual/mpi ) zlib? ( sys-libs/zlib ) SLOT=0 SRC_URI=https://github.com/vermaseren/form/releases/download/v4.3.0/form-4.3.0.tar.gz emacs? ( https://dev.gentoo.org/~grozin/form-mode.el.gz ) -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=f9118e9f98d00dc8d5f6fba54631e1e2 diff --git a/metadata/md5-cache/sci-mathematics/form-4.3.1 b/metadata/md5-cache/sci-mathematics/form-4.3.1 index 8fb3d1ac6abd..f12bbb81e785 100644 --- a/metadata/md5-cache/sci-mathematics/form-4.3.1 +++ b/metadata/md5-cache/sci-mathematics/form-4.3.1 @@ -11,5 +11,5 @@ LICENSE=GPL-3 RDEPEND=gmp? ( dev-libs/gmp:0= ) mpi? ( virtual/mpi ) zlib? ( sys-libs/zlib ) SLOT=0 SRC_URI=https://github.com/vermaseren/form/releases/download/v4.3.1/form-4.3.1.tar.gz emacs? ( https://dev.gentoo.org/~grozin/form-mode.el.gz ) -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=f9118e9f98d00dc8d5f6fba54631e1e2 diff --git a/metadata/md5-cache/sci-mathematics/genius-1.0.27 b/metadata/md5-cache/sci-mathematics/genius-1.0.27 index 697983412408..2e71cdc34d1d 100644 --- a/metadata/md5-cache/sci-mathematics/genius-1.0.27 +++ b/metadata/md5-cache/sci-mathematics/genius-1.0.27 @@ -11,5 +11,5 @@ LICENSE=GPL-3+ RDEPEND=>=dev-libs/glib-2.41.1:2 dev-libs/gmp:0= dev-libs/mpfr:0= sys-libs/ncurses:0= sys-libs/readline:0= >=x11-libs/gtk+-3.21.4:3 >=x11-libs/vte-0.50.0:2.91 gui? ( >=x11-libs/gtk+-3.21.4:3 ) SLOT=0 SRC_URI=mirror://gnome/sources/genius/1.0/genius-1.0.27.tar.xz doc? ( https://www.jirka.org/genius-reference.pdf ) -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnome.org 6b39404f1491c60a2d32e3c693a683fe gnome2 9bd787a54d31405e742ae7537eed650b gnome2-utils b0183db3b2e07b18f3b77bffec72e116 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnome.org 6b39404f1491c60a2d32e3c693a683fe gnome2 9bd787a54d31405e742ae7537eed650b gnome2-utils b0183db3b2e07b18f3b77bffec72e116 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=797a934633a7d748d114a19adb739926 diff --git a/metadata/md5-cache/sci-mathematics/giac-1.9.0.29-r1 b/metadata/md5-cache/sci-mathematics/giac-1.9.0.29-r1 index d450d3d36490..95cd3f98c216 100644 --- a/metadata/md5-cache/sci-mathematics/giac-1.9.0.29-r1 +++ b/metadata/md5-cache/sci-mathematics/giac-1.9.0.29-r1 @@ -13,5 +13,5 @@ REQUIRED_USE=test? ( gui ) RESTRICT=!test? ( test ) mirror SLOT=0 SRC_URI=https://www-fourier.ujf-grenoble.fr/~parisse/debian/dists/stable/main/source/giac_1.9.0-29.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=54d2b659fd4a31314ef658cafc195c9f diff --git a/metadata/md5-cache/sci-mathematics/glpk-5.0-r1 b/metadata/md5-cache/sci-mathematics/glpk-5.0-r1 index 5c9e5748a7a3..1611d6fc243d 100644 --- a/metadata/md5-cache/sci-mathematics/glpk-5.0-r1 +++ b/metadata/md5-cache/sci-mathematics/glpk-5.0-r1 @@ -11,5 +11,5 @@ LICENSE=GPL-3 RDEPEND=sci-libs/amd:0= sci-libs/colamd:= sys-libs/zlib:0= gmp? ( dev-libs/gmp:0= ) mysql? ( dev-db/mysql-connector-c ) odbc? ( || ( dev-db/libiodbc:0 dev-db/unixODBC:0 ) ) SLOT=0/40 SRC_URI=mirror://gnu/glpk/glpk-5.0.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e wrapper 4a1902f969e5718126434fc35f3a0d9c +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e wrapper 4a1902f969e5718126434fc35f3a0d9c _md5_=eb0b3a11a124cc676406d8d2468b32f3 diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.46.0 b/metadata/md5-cache/sci-mathematics/maxima-5.46.0 index b924ffddaa46..ea4aef24ba31 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.46.0 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.46.0 @@ -13,5 +13,5 @@ REQUIRED_USE=vtk? ( ^^ ( python_single_target_python3_10 ) ) || ( clisp clozurec RESTRICT=test SLOT=0 SRC_URI=mirror://sourceforge/maxima/maxima-5.46.0.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a eapi8-dosym 741bfa77afb2a9321261501aca58c208 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 01bc6dc778b74a9deebe4e419a3b790e eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 d676fb844e9408f4290d20bc7312f8bb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde eapi8-dosym 741bfa77afb2a9321261501aca58c208 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 01bc6dc778b74a9deebe4e419a3b790e eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 d676fb844e9408f4290d20bc7312f8bb strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=bf464369318c933c7c4e12af2c8b4551 diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1 b/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1 index a5fee8d2dc59..7306d8c2239c 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.46.0-r1 @@ -13,5 +13,5 @@ REQUIRED_USE=vtk? ( ^^ ( python_single_target_python3_10 python_single_target_py RESTRICT=test SLOT=0 SRC_URI=mirror://sourceforge/maxima/maxima-5.46.0.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 d676fb844e9408f4290d20bc7312f8bb toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 d676fb844e9408f4290d20bc7312f8bb toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=0fa109a876541ad7486b89bd1e4b9c08 diff --git a/metadata/md5-cache/sci-mathematics/metamath-0.198 b/metadata/md5-cache/sci-mathematics/metamath-0.198 index bed3af19538b..b57ba700f607 100644 --- a/metadata/md5-cache/sci-mathematics/metamath-0.198 +++ b/metadata/md5-cache/sci-mathematics/metamath-0.198 @@ -8,5 +8,5 @@ KEYWORDS=~amd64 ~x86 LICENSE=GPL-2 SLOT=0 SRC_URI=https://github.com/metamath/metamath-exe/archive/refs/tags/v0.198.tar.gz -> metamath-0.198.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=339b045621fceffa1ef1cfc145741072 diff --git a/metadata/md5-cache/sci-mathematics/nauty-2.7.4 b/metadata/md5-cache/sci-mathematics/nauty-2.7.4 index f04a8432d80f..fa1d8df78199 100644 --- a/metadata/md5-cache/sci-mathematics/nauty-2.7.4 +++ b/metadata/md5-cache/sci-mathematics/nauty-2.7.4 @@ -11,5 +11,5 @@ LICENSE=Apache-2.0 RDEPEND=dev-libs/gmp:0 sys-libs/zlib sci-mathematics/cliquer SLOT=0 SRC_URI=https://pallini.di.uniroma1.it/nauty27r4.tar.gz mirror://debian/pool/main/n/nauty/nauty_2.7r4+ds-1.debian.tar.xz https://src.fedoraproject.org/rpms/nauty/raw/f35/f/nauty-includes.patch -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=e5608c378fa52ebb9668cdd1e2561089 diff --git a/metadata/md5-cache/sci-mathematics/nauty-2.8.6-r1 b/metadata/md5-cache/sci-mathematics/nauty-2.8.6-r1 index 8fe0685c82a6..f37a360b4b3c 100644 --- a/metadata/md5-cache/sci-mathematics/nauty-2.8.6-r1 +++ b/metadata/md5-cache/sci-mathematics/nauty-2.8.6-r1 @@ -11,5 +11,5 @@ LICENSE=Apache-2.0 RDEPEND=dev-libs/gmp:0 sys-libs/zlib sci-mathematics/cliquer SLOT=0 SRC_URI=https://pallini.di.uniroma1.it/nauty2_8_6.tar.gz mirror://debian/pool/main/n/nauty/nauty_2.8.6+ds-1.debian.tar.xz https://src.fedoraproject.org/rpms/nauty/raw/f35/f/nauty-includes.patch -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=1b83dedbbfb32a60fafc48bd0c26787f diff --git a/metadata/md5-cache/sci-mathematics/normaliz-3.10.0 b/metadata/md5-cache/sci-mathematics/normaliz-3.10.0 index 1d479094ca50..df74793d70e6 100644 --- a/metadata/md5-cache/sci-mathematics/normaliz-3.10.0 +++ b/metadata/md5-cache/sci-mathematics/normaliz-3.10.0 @@ -11,5 +11,5 @@ LICENSE=GPL-3 RDEPEND=dev-libs/gmp:=[cxx(+)] nauty? ( sci-mathematics/nauty ) SLOT=0/3 SRC_URI=https://github.com/Normaliz/Normaliz/releases/download/3.10.0/normaliz-3.10.0.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=e5752088e60be16c6efc17382bb6ceb1 diff --git a/metadata/md5-cache/sci-mathematics/octave-7.3.0-r2 b/metadata/md5-cache/sci-mathematics/octave-7.3.0-r2 index 219c1d55297d..c102d643cc61 100644 --- a/metadata/md5-cache/sci-mathematics/octave-7.3.0-r2 +++ b/metadata/md5-cache/sci-mathematics/octave-7.3.0-r2 @@ -13,5 +13,5 @@ RDEPEND=app-arch/bzip2 app-arch/unzip app-arch/zip app-text/ghostscript-gpl sys- REQUIRED_USE=fltk? ( opengl X ) gui? ( X ) opengl? ( || ( fltk gui ) ) SLOT=0/7.3.0 SRC_URI=mirror://gnu/octave/octave-7.3.0.tar.xz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 pax-utils 91d47e5d20627c717aa878b9167c62a8 qmake-utils 59420c906278d16deaaa629f9d115707 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 pax-utils 91d47e5d20627c717aa878b9167c62a8 qmake-utils 59420c906278d16deaaa629f9d115707 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=75c34497a9ffc6367a13e620fbfea6a2 diff --git a/metadata/md5-cache/sci-mathematics/octave-8.1.0 b/metadata/md5-cache/sci-mathematics/octave-8.1.0 index 8bb1c136201c..04eab48375c4 100644 --- a/metadata/md5-cache/sci-mathematics/octave-8.1.0 +++ b/metadata/md5-cache/sci-mathematics/octave-8.1.0 @@ -13,5 +13,5 @@ RDEPEND=app-arch/bzip2 app-arch/unzip app-arch/zip app-text/ghostscript-gpl sys- REQUIRED_USE=fltk? ( opengl X ) gui? ( X ) opengl? ( || ( fltk gui ) ) SLOT=0/8.1.0 SRC_URI=mirror://gnu/octave/octave-8.1.0.tar.xz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 pax-utils 91d47e5d20627c717aa878b9167c62a8 qmake-utils 59420c906278d16deaaa629f9d115707 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 pax-utils 91d47e5d20627c717aa878b9167c62a8 qmake-utils 59420c906278d16deaaa629f9d115707 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=6c88288d43b8d75abf114d8480860f64 diff --git a/metadata/md5-cache/sci-mathematics/octave-8.2.0 b/metadata/md5-cache/sci-mathematics/octave-8.2.0 index dd7b97955634..97c20b56d575 100644 --- a/metadata/md5-cache/sci-mathematics/octave-8.2.0 +++ b/metadata/md5-cache/sci-mathematics/octave-8.2.0 @@ -13,5 +13,5 @@ RDEPEND=app-arch/bzip2 app-arch/unzip app-arch/zip app-text/ghostscript-gpl sys- REQUIRED_USE=fltk? ( opengl X ) gui? ( X ) opengl? ( || ( fltk gui ) ) SLOT=0/8.2.0 SRC_URI=mirror://gnu/octave/octave-8.2.0.tar.xz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 pax-utils 91d47e5d20627c717aa878b9167c62a8 qmake-utils 59420c906278d16deaaa629f9d115707 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea gnuconfig b6b3e92f8b8c996400074b5f61a59256 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 pax-utils 91d47e5d20627c717aa878b9167c62a8 qmake-utils 59420c906278d16deaaa629f9d115707 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=8e5747ea03b5a7920bc06fcc3a917d6c diff --git a/metadata/md5-cache/sci-mathematics/prng-3.0.2-r3 b/metadata/md5-cache/sci-mathematics/prng-3.0.2-r3 index f9b7db285ca3..20fa61ffa38f 100644 --- a/metadata/md5-cache/sci-mathematics/prng-3.0.2-r3 +++ b/metadata/md5-cache/sci-mathematics/prng-3.0.2-r3 @@ -9,5 +9,5 @@ KEYWORDS=amd64 x86 ~amd64-linux ~x86-linux LICENSE=GPL-2 SLOT=0 SRC_URI=http://statmath.wu.ac.at/prng/prng-3.0.2.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=abdb4a739341b059327ebcf4bb594429 diff --git a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2 b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2 index 40e4c09471ca..5827b4a164e2 100644 --- a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2 +++ b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.2 @@ -11,5 +11,5 @@ LICENSE=Apache-2.0 RDEPEND=>=dev-ml/menhir-20181006 dev-lang/ocaml:=[ocamlopt?] SLOT=0 SRC_URI=https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.2.tar.gz -> psmt2-frontend-0.2.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=8babbf81ec962f9ae8c2edc628d37b26 diff --git a/metadata/md5-cache/sci-mathematics/topcom-0.17.8-r3 b/metadata/md5-cache/sci-mathematics/topcom-0.17.8-r3 index 0dadc39e17c6..bad3c659af20 100644 --- a/metadata/md5-cache/sci-mathematics/topcom-0.17.8-r3 +++ b/metadata/md5-cache/sci-mathematics/topcom-0.17.8-r3 @@ -11,5 +11,5 @@ LICENSE=GPL-2 RDEPEND=dev-libs/gmp:0[cxx] >=sci-libs/cddlib-094f SLOT=0 SRC_URI=https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM-Downloads/TOPCOM-0_17_8.tgz https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM-Manual/index.html -> TOPCOM-manual.html -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde flag-o-matic 16483e58fadb0d47b4528f0aa7e171f6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=b261c66da9b2de4d32f90d4ae6d9a375 diff --git a/metadata/md5-cache/sci-mathematics/unuran-1.9.0 b/metadata/md5-cache/sci-mathematics/unuran-1.9.0 index af30be2f9de0..d956e488b4e7 100644 --- a/metadata/md5-cache/sci-mathematics/unuran-1.9.0 +++ b/metadata/md5-cache/sci-mathematics/unuran-1.9.0 @@ -11,5 +11,5 @@ LICENSE=GPL-2 RDEPEND=gsl? ( sci-libs/gsl:= ) prng? ( sci-mathematics/prng ) rngstreams? ( sci-mathematics/rngstreams:= ) SLOT=0 SRC_URI=https://statmath.wu.ac.at/unuran/unuran-1.9.0.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 out-of-source 15ce2b6ae214f3abe70892ce1e517abd toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 out-of-source 15ce2b6ae214f3abe70892ce1e517abd toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=bfa78d81dec479185423011d94fc9ab5 diff --git a/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1 b/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1 index 6e378c5f360b..52df68bcf965 100644 --- a/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1 +++ b/metadata/md5-cache/sci-mathematics/why3-1.4.1-r1 @@ -11,5 +11,5 @@ LICENSE=LGPL-2 RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20170418:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.6 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) dev-lang/ocaml:=[ocamlopt?] SLOT=0/1.4.1 SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.4.1.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=b693d3ae532bc1b1ff61fc05843be269 diff --git a/metadata/md5-cache/sci-mathematics/why3-1.5.1 b/metadata/md5-cache/sci-mathematics/why3-1.5.1 index 115bd96be17d..a163a63a375e 100644 --- a/metadata/md5-cache/sci-mathematics/why3-1.5.1 +++ b/metadata/md5-cache/sci-mathematics/why3-1.5.1 @@ -11,5 +11,5 @@ LICENSE=LGPL-2 RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20170418:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.7 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) stackify? ( dev-ml/ocamlgraph:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) dev-lang/ocaml:=[ocamlopt?] SLOT=0/1.5.1 SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.5.1.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=1319f34bbbc07ca4ed8cf2941cf928a2 diff --git a/metadata/md5-cache/sci-mathematics/why3-1.6.0 b/metadata/md5-cache/sci-mathematics/why3-1.6.0 index 70f119c5bb60..850dba0e9022 100644 --- a/metadata/md5-cache/sci-mathematics/why3-1.6.0 +++ b/metadata/md5-cache/sci-mathematics/why3-1.6.0 @@ -11,5 +11,5 @@ LICENSE=LGPL-2 RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20170418:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.7:= ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) stackify? ( dev-ml/ocamlgraph:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) dev-lang/ocaml:=[ocamlopt?] SLOT=0/1.6.0 SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.6.0.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=1b60f52516740a173dc4ce769f5163f5 diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1 index 097b0db72b1a..a8f841cbeab9 100644 --- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1 +++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2021-r1 @@ -13,5 +13,5 @@ REQUIRED_USE=html? ( doc ) RESTRICT=strip SLOT=0 SRC_URI=https://community.download.adacore.com/v1/dd74ae7ecfd7d56aff7b17cee7a35559384a600f?filename=why3-2021-20210519-19ADF-src.tar.gz -> why3-2021-20210519-19ADF-src.tar.gz -_eclasses_=autotools f0d3196128225dee3220e65f3371bc7a findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde findlib cc1c14904708a0a28bcb256b342a808c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=9ad116ef00f32676f8eee2f8dd9dff8d 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 0050d0e36dd0..96b68142f411 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_=autotools f0d3196128225dee3220e65f3371bc7a gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib 104e1332efb829e2f7cbf89307a474f1 toolchain-funcs 14a8ae365191b518fad51caad7a08f3e _md5_=56bbd3d09eebb277ddd15907f996cca3 -- cgit v1.2.3