diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-09-24 12:19:38 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-09-24 12:19:38 +0000 |
commit | 6b4c0511dfd68a00a745f1390708d795c28bcbee (patch) | |
tree | 42d5c314d9299ac1f3a3d1b5a46e386986d73375 /metadata/md5-cache/sci-mathematics | |
parent | Merge updates from master (diff) | |
download | gentoo-6b4c0511dfd68a00a745f1390708d795c28bcbee.tar.gz gentoo-6b4c0511dfd68a00a745f1390708d795c28bcbee.tar.bz2 gentoo-6b4c0511dfd68a00a745f1390708d795c28bcbee.zip |
2024-09-24 12:19:37 UTC
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
29 files changed, 29 insertions, 29 deletions
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 5540b6c62334..4b9971d476f7 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d _md5_=9f0403fc055e4a955cad1799082587b7 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 25acb7a5a6f7..a4a718338c25 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 elisp-common abb2dda42f680fce87602c8273f832c7 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d elisp-common abb2dda42f680fce87602c8273f832c7 _md5_=c8a14169f18d6a9885b27cfb4d078e3c diff --git a/metadata/md5-cache/sci-mathematics/dataplot-20131220 b/metadata/md5-cache/sci-mathematics/dataplot-20131220 index 9619c3eaa26c..b6330f5daf0d 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 fortran-2 39cd09e82b679e683a5109f9d0da9fe1 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d fortran-2 39cd09e82b679e683a5109f9d0da9fe1 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 _md5_=dbf2917d0a5a67cecc42f868b444264b diff --git a/metadata/md5-cache/sci-mathematics/eclib-20231212 b/metadata/md5-cache/sci-mathematics/eclib-20231212 index 80aa8370d4a9..8a5a413f576b 100644 --- a/metadata/md5-cache/sci-mathematics/eclib-20231212 +++ b/metadata/md5-cache/sci-mathematics/eclib-20231212 @@ -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/v20231212/eclib-20231212.tar.bz2 -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d _md5_=32cd58ee3288fbc5c1b3bfad6e443fbc diff --git a/metadata/md5-cache/sci-mathematics/eclib-20240408 b/metadata/md5-cache/sci-mathematics/eclib-20240408 index 2b04b6a801d4..d8986e6ede4f 100644 --- a/metadata/md5-cache/sci-mathematics/eclib-20240408 +++ b/metadata/md5-cache/sci-mathematics/eclib-20240408 @@ -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/v20240408/eclib-20240408.tar.bz2 -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d _md5_=c2e07eb698fb79f786f08893c8254042 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 231d7818ca8e..f8d2aa14bf5f 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=https://downloads.sourceforge.net/euler/euler-1.61.0.tgz -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d _md5_=d45bc250f8b1ec5529b92eab241acb2e diff --git a/metadata/md5-cache/sci-mathematics/form-4.3.1 b/metadata/md5-cache/sci-mathematics/form-4.3.1 index d1ca7138928b..3a7c28923dd8 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 elisp-common abb2dda42f680fce87602c8273f832c7 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 elisp-common abb2dda42f680fce87602c8273f832c7 _md5_=03be171244609879ab08b98486eaf808 diff --git a/metadata/md5-cache/sci-mathematics/form-5.0.0_beta1 b/metadata/md5-cache/sci-mathematics/form-5.0.0_beta1 index 018ec399dd57..29e93cda9bad 100644 --- a/metadata/md5-cache/sci-mathematics/form-5.0.0_beta1 +++ b/metadata/md5-cache/sci-mathematics/form-5.0.0_beta1 @@ -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/archive/refs/tags/v5.0.0-beta.1.tar.gz -> form-5.0.0_beta1.tar.gz emacs? ( https://dev.gentoo.org/~grozin/form-mode.el.gz ) -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 elisp-common abb2dda42f680fce87602c8273f832c7 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 elisp-common abb2dda42f680fce87602c8273f832c7 _md5_=1315b5c1e0f35fc0eddd0f795a2dd565 diff --git a/metadata/md5-cache/sci-mathematics/genius-1.0.27 b/metadata/md5-cache/sci-mathematics/genius-1.0.27 index 385ff1e8c9c9..ec0de7f7cc6c 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 gnome.org e1b4f392dbfedfb8974b71b017937f08 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 gnome2-utils a8cf148ec7f5ae0b1f1d33ae5f7f9e88 xdg 8d7d90c01b1b1c2602dab6fc6b177097 gnome2 26fd01914b36038dc8e964ff4bd03a95 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d gnome.org e1b4f392dbfedfb8974b71b017937f08 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 gnome2-utils a8cf148ec7f5ae0b1f1d33ae5f7f9e88 xdg 8d7d90c01b1b1c2602dab6fc6b177097 gnome2 26fd01914b36038dc8e964ff4bd03a95 _md5_=2eef67748c15484f4dc47700607e7919 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 4e86733eec2f..8ee77fcec5ee 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 _md5_=54d2b659fd4a31314ef658cafc195c9f diff --git a/metadata/md5-cache/sci-mathematics/giac-1.9.0.995-r1 b/metadata/md5-cache/sci-mathematics/giac-1.9.0.995-r1 index d617b200b2ff..d036b7aa61b9 100644 --- a/metadata/md5-cache/sci-mathematics/giac-1.9.0.995-r1 +++ b/metadata/md5-cache/sci-mathematics/giac-1.9.0.995-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-995.tar.gz -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 _md5_=89ff47905b1db8e920bb35500ebdd4bb diff --git a/metadata/md5-cache/sci-mathematics/glpk-5.0-r1 b/metadata/md5-cache/sci-mathematics/glpk-5.0-r1 index 6e120aa1db05..8b4a5761348d 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 _md5_=dad3c8cf6f61367202dc002b9ef3ed91 diff --git a/metadata/md5-cache/sci-mathematics/glpk-5.0-r2 b/metadata/md5-cache/sci-mathematics/glpk-5.0-r2 index 98e402f6cb0a..a41d6f7f0702 100644 --- a/metadata/md5-cache/sci-mathematics/glpk-5.0-r2 +++ b/metadata/md5-cache/sci-mathematics/glpk-5.0-r2 @@ -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 dev-libs/libltdl ) odbc? ( || ( dev-db/libiodbc:0 dev-db/unixODBC:0 ) dev-libs/libltdl ) SLOT=0/40 SRC_URI=mirror://gnu/glpk/glpk-5.0.tar.gz -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 _md5_=09cb4a877ba8a72e55e029d51f5cf179 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 1222b966258e..3f4b5fa5a09f 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=https://downloads.sourceforge.net/maxima/maxima-5.46.0.tar.gz -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 multiprocessing e644caa6eb7ce7e5ab0864383ac13ad9 python-utils-r1 6881b056477c23167d9a6b33e146374e python-single-r1 f7abe75c203a988aa9b5c460b6c7d0f1 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 multiprocessing e644caa6eb7ce7e5ab0864383ac13ad9 python-utils-r1 6881b056477c23167d9a6b33e146374e python-single-r1 f7abe75c203a988aa9b5c460b6c7d0f1 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 _md5_=c093dffb94fa7f363524244d67cde511 diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.47.0 b/metadata/md5-cache/sci-mathematics/maxima-5.47.0 index 194de3495db5..b6cca9fd1b79 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.47.0 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.47.0 @@ -13,5 +13,5 @@ REQUIRED_USE=vtk? ( ^^ ( python_single_target_python3_10 python_single_target_py RESTRICT=test SLOT=0 SRC_URI=https://downloads.sourceforge.net/maxima/maxima-5.47.0.tar.gz -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 multiprocessing e644caa6eb7ce7e5ab0864383ac13ad9 python-utils-r1 6881b056477c23167d9a6b33e146374e python-single-r1 f7abe75c203a988aa9b5c460b6c7d0f1 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 multiprocessing e644caa6eb7ce7e5ab0864383ac13ad9 python-utils-r1 6881b056477c23167d9a6b33e146374e python-single-r1 f7abe75c203a988aa9b5c460b6c7d0f1 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 _md5_=3820aeb85014a2b8df6ba1dbff80208a diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.47.0-r1 b/metadata/md5-cache/sci-mathematics/maxima-5.47.0-r1 index 21aa4003bc24..a9940f5df7c2 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.47.0-r1 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.47.0-r1 @@ -13,5 +13,5 @@ REQUIRED_USE=vtk? ( ^^ ( python_single_target_python3_10 python_single_target_py RESTRICT=test SLOT=0 SRC_URI=https://downloads.sourceforge.net/maxima/maxima-5.47.0.tar.gz -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 multiprocessing e644caa6eb7ce7e5ab0864383ac13ad9 python-utils-r1 6881b056477c23167d9a6b33e146374e python-single-r1 f7abe75c203a988aa9b5c460b6c7d0f1 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 multiprocessing e644caa6eb7ce7e5ab0864383ac13ad9 python-utils-r1 6881b056477c23167d9a6b33e146374e python-single-r1 f7abe75c203a988aa9b5c460b6c7d0f1 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 _md5_=64e652db7b1717754ebe5597e0c08f18 diff --git a/metadata/md5-cache/sci-mathematics/metamath-0.198 b/metadata/md5-cache/sci-mathematics/metamath-0.198 index fd10d5a575aa..b9f415c4a8f6 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d _md5_=339b045621fceffa1ef1cfc145741072 diff --git a/metadata/md5-cache/sci-mathematics/nauty-2.8.8-r1 b/metadata/md5-cache/sci-mathematics/nauty-2.8.8-r1 index 102b48be2f46..ade8bedcf426 100644 --- a/metadata/md5-cache/sci-mathematics/nauty-2.8.8-r1 +++ b/metadata/md5-cache/sci-mathematics/nauty-2.8.8-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_8.tar.gz mirror://debian/pool/main/n/nauty/nauty_2.8.8+ds-1.debian.tar.xz https://src.fedoraproject.org/rpms/nauty/raw/rawhide/f/nauty-includes.patch -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d _md5_=7050242aee56847e9716d4bfea603d82 diff --git a/metadata/md5-cache/sci-mathematics/normaliz-3.10.1 b/metadata/md5-cache/sci-mathematics/normaliz-3.10.1 index ef0d1ceddda8..4a3125d6e8da 100644 --- a/metadata/md5-cache/sci-mathematics/normaliz-3.10.1 +++ b/metadata/md5-cache/sci-mathematics/normaliz-3.10.1 @@ -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/v3.10.1/normaliz-3.10.1.tar.gz -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d _md5_=e9631530988acb1d6706cf9a055f1c02 diff --git a/metadata/md5-cache/sci-mathematics/octave-8.3.0-r2 b/metadata/md5-cache/sci-mathematics/octave-8.3.0-r2 index 95c9428b5bc2..9815fb82fa38 100644 --- a/metadata/md5-cache/sci-mathematics/octave-8.3.0-r2 +++ b/metadata/md5-cache/sci-mathematics/octave-8.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/8.3.0 SRC_URI=mirror://gnu/octave/octave-8.3.0.tar.xz -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 fortran-2 39cd09e82b679e683a5109f9d0da9fe1 java-utils-2 505f237da61d30569dcc6d5df8c51262 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 pax-utils 6285e04fab2343992d2df0df4edf6003 qmake-utils a8dd17b1d94586164f5e3fc12b1c6b81 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 xdg 8d7d90c01b1b1c2602dab6fc6b177097 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 fortran-2 39cd09e82b679e683a5109f9d0da9fe1 java-utils-2 505f237da61d30569dcc6d5df8c51262 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 pax-utils 6285e04fab2343992d2df0df4edf6003 qmake-utils a8dd17b1d94586164f5e3fc12b1c6b81 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 xdg 8d7d90c01b1b1c2602dab6fc6b177097 _md5_=79c787649f4b46121482f8c48ea22287 diff --git a/metadata/md5-cache/sci-mathematics/octave-9.2.0-r1 b/metadata/md5-cache/sci-mathematics/octave-9.2.0-r1 index 10f2c438817b..8c9f048171c6 100644 --- a/metadata/md5-cache/sci-mathematics/octave-9.2.0-r1 +++ b/metadata/md5-cache/sci-mathematics/octave-9.2.0-r1 @@ -12,5 +12,5 @@ LICENSE=GPL-3 RDEPEND=app-arch/bzip2 app-arch/unzip app-arch/zip app-text/ghostscript-gpl sys-apps/texinfo dev-libs/libpcre2 sys-libs/ncurses:= sys-libs/zlib virtual/blas virtual/lapack curl? ( net-misc/curl:= ) fftw? ( sci-libs/fftw:3.0= ) glpk? ( sci-mathematics/glpk:= ) gnuplot? ( sci-visualization/gnuplot ) hdf5? ( sci-libs/hdf5:= ) imagemagick? ( media-gfx/graphicsmagick:=[cxx] ) json? ( dev-libs/rapidjson ) klu? ( sci-libs/klu:= ) portaudio? ( media-libs/portaudio ) postscript? ( app-text/epstool media-gfx/pstoedit >=media-gfx/fig2dev-3.2.9-r1 ) gui? ( dev-qt/qt5compat:6 dev-qt/qtbase:6[gui,opengl,network,widgets] media-libs/fontconfig:= media-libs/freetype:= virtual/glu x11-libs/gl2ps:= x11-libs/libX11:= x11-libs/qscintilla:=[qt6] ) qhull? ( media-libs/qhull:= ) qrupdate? ( sci-libs/qrupdate:= ) readline? ( sys-libs/readline:= ) sndfile? ( media-libs/libsndfile ) sparse? ( sci-libs/arpack:= sci-libs/camd:= sci-libs/ccolamd:= sci-libs/cholmod:= sci-libs/colamd:= sci-libs/cxsparse:= sci-libs/umfpack:= ) spqr? ( sci-libs/spqr:= ) ssl? ( dev-libs/openssl:= ) sundials? ( klu? ( >=sci-libs/sundials-4:=[sparse] ) !klu? ( >=sci-libs/sundials-4:= ) ) java? ( >=virtual/jre-1.8:* ) virtual/fortran java? ( >=dev-java/java-config-2.2.0-r3 ) SLOT=0/9.2.0 SRC_URI=mirror://gnu/octave/octave-9.2.0.tar.xz -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 fortran-2 39cd09e82b679e683a5109f9d0da9fe1 java-utils-2 505f237da61d30569dcc6d5df8c51262 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 pax-utils 6285e04fab2343992d2df0df4edf6003 qmake-utils a8dd17b1d94586164f5e3fc12b1c6b81 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 xdg 8d7d90c01b1b1c2602dab6fc6b177097 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 fortran-2 39cd09e82b679e683a5109f9d0da9fe1 java-utils-2 505f237da61d30569dcc6d5df8c51262 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 pax-utils 6285e04fab2343992d2df0df4edf6003 qmake-utils a8dd17b1d94586164f5e3fc12b1c6b81 xdg-utils 5465aed08f1dfc2a75f14cbea4272961 xdg 8d7d90c01b1b1c2602dab6fc6b177097 _md5_=deea3f84b2472499b64f16d33aeb5ffa 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 40812dd4f31c..a70c3f48e9ab 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d _md5_=6286dfe3bc3411d12923f612674d37d1 diff --git a/metadata/md5-cache/sci-mathematics/singular-4.3.2_p16-r1 b/metadata/md5-cache/sci-mathematics/singular-4.3.2_p16-r1 index 1bbf9ca44d13..e2756c9661e7 100644 --- a/metadata/md5-cache/sci-mathematics/singular-4.3.2_p16-r1 +++ b/metadata/md5-cache/sci-mathematics/singular-4.3.2_p16-r1 @@ -11,5 +11,5 @@ LICENSE=BSD GPL-2 GPL-2+ GPL-3 RDEPEND=dev-lang/perl dev-libs/gmp:0= dev-libs/ntl:= sci-libs/cddlib sci-mathematics/flint:= sys-apps/texinfo emacs? ( app-editors/emacs:* ) polymake? ( sci-mathematics/polymake ) readline? ( sys-libs/readline:= ) SLOT=0 SRC_URI=https://www.singular.uni-kl.de/ftp/pub/Math/Singular/SOURCES/4-3-2/singular-4.3.2p16.tar.gz -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 elisp-common abb2dda42f680fce87602c8273f832c7 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d elisp-common abb2dda42f680fce87602c8273f832c7 _md5_=53176ee7e7539f2f22cd40630efd5930 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 507a8f3599dc..3408774f27ba 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d flag-o-matic fa33e3696fe4689dda7e9affe92e2c94 _md5_=b261c66da9b2de4d32f90d4ae6d9a375 diff --git a/metadata/md5-cache/sci-mathematics/topcom-1.1.2 b/metadata/md5-cache/sci-mathematics/topcom-1.1.2 index ca928c7a5c12..51e8801218ff 100644 --- a/metadata/md5-cache/sci-mathematics/topcom-1.1.2 +++ b/metadata/md5-cache/sci-mathematics/topcom-1.1.2 @@ -11,5 +11,5 @@ LICENSE=GPL-3 RDEPEND=dev-libs/gmp:0[cxx] sci-libs/cddlib SLOT=0 SRC_URI=https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM-Downloads/TOPCOM-1_1_2.tgz doc? ( https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM-Manual/TOPCOM-manual.pdf ) -_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d _md5_=9b48443cb059f5d0956a7934d222921b diff --git a/metadata/md5-cache/sci-mathematics/unuran-1.9.0 b/metadata/md5-cache/sci-mathematics/unuran-1.9.0 index 5c9e6c3fe189..4fd2bd275732 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 out-of-source 15ce2b6ae214f3abe70892ce1e517abd +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d out-of-source 15ce2b6ae214f3abe70892ce1e517abd _md5_=33bfdd2d4a2a30e97b882a60a5413a9f diff --git a/metadata/md5-cache/sci-mathematics/why3-1.6.0 b/metadata/md5-cache/sci-mathematics/why3-1.6.0 index a095f09f12c4..d3339a399c42 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 findlib 49d5365fca4dea46f13825b9d763c89e +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d findlib 49d5365fca4dea46f13825b9d763c89e _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 358d23b7809d..603d5bb8c899 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 ) ocamlopt 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_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 61927ff6474f1d141b4ea4a5b9870424 findlib 49d5365fca4dea46f13825b9d763c89e +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d findlib 49d5365fca4dea46f13825b9d763c89e _md5_=27c2766cdac950f187bbd61c462f073f 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 3e17734687d3..674fc795bfc9 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 61927ff6474f1d141b4ea4a5b9870424 +_eclasses_=gnuconfig f8b9cc21e72de8cbedde6ca5108d208b toolchain-funcs 948855ec7ad9f11351edf9066708dfa9 multilib 7e1347c006a76bb812f3a9f663b79991 libtool f9e6905c12590c1cac06d85371a0819a autotools 88360f474e629ee45f99b739f02b7d2d _md5_=56bbd3d09eebb277ddd15907f996cca3 |