diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
18 files changed, 17 insertions, 17 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 14decfa962e2..297c51a29bdf 100644 --- a/metadata/md5-cache/sci-mathematics/Manifest.gz +++ b/metadata/md5-cache/sci-mathematics/Manifest.gz diff --git a/metadata/md5-cache/sci-mathematics/acl2-8.5-r1 b/metadata/md5-cache/sci-mathematics/acl2-8.5-r1 index 2fb768fe1e35..7ff6dc43ebaf 100644 --- a/metadata/md5-cache/sci-mathematics/acl2-8.5-r1 +++ b/metadata/md5-cache/sci-mathematics/acl2-8.5-r1 @@ -11,5 +11,5 @@ RDEPEND=dev-lisp/sbcl:= emacs? ( >=app-editors/emacs-25:* ) REQUIRED_USE=emacs? ( doc ) SLOT=0 SRC_URI=https://github.com/acl2/acl2/archive/8.5/acl2-8.5.tar.gz -_eclasses_=elisp-common 01bc6dc778b74a9deebe4e419a3b790e +_eclasses_=elisp-common dde4f515dde15603a26a3755438e9c78 _md5_=02098d78232f9aecb35dd43279eacdb6 diff --git a/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 index f4df6cb8d868..392232c7b9b2 100644 --- a/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 +++ b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 @@ -12,5 +12,5 @@ RDEPEND=dev-python/beautifulsoup4[python_targets_python3_10(-)?,python_targets_p REQUIRED_USE=|| ( python_targets_python3_10 python_targets_python3_11 ) SLOT=0 SRC_URI=https://github.com/cpitclaudel/alectryon/archive/v1.4.0.tar.gz -> alectryon-1.4.0.tar.gz -_eclasses_=distutils-r1 2d32e797ee29a8ffdd452f4a85860666 elisp-common 01bc6dc778b74a9deebe4e419a3b790e multibuild bddcb51b74f4a76724ff7cf8e7388869 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 3c6cd0f418ba702c186a9865b85e704d python-utils-r1 a34d5f83235297b76d71eaf8deb53768 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c +_eclasses_=distutils-r1 2d32e797ee29a8ffdd452f4a85860666 elisp-common dde4f515dde15603a26a3755438e9c78 multibuild bddcb51b74f4a76724ff7cf8e7388869 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 3c6cd0f418ba702c186a9865b85e704d python-utils-r1 a34d5f83235297b76d71eaf8deb53768 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c _md5_=2719a82a6b6dab21e7ac6f0b4bb05675 diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.1 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.1 index 98a57b40f1a3..249da20a7bb5 100644 --- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.1 +++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.1 @@ -12,5 +12,5 @@ RDEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17:= >=dev-ml/ppx_ RESTRICT=!test? ( test ) SLOT=0/0.16.1 SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.16.0+0.16.1.tar.gz -> coq-serapi-0.16.1.tar.gz -_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common 01bc6dc778b74a9deebe4e419a3b790e multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common dde4f515dde15603a26a3755438e9c78 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=868e7b3972f5c5e8dd8e659c1f2593e3 diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.2-r1 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.2-r1 index bad011cfeeb6..d5dcf604d400 100644 --- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.2-r1 +++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.2-r1 @@ -12,5 +12,5 @@ RDEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17:= >=dev-ml/ppx_ RESTRICT=!test? ( test ) SLOT=0/0.16.2 SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.16.0+0.16.2.tar.gz -> coq-serapi-0.16.2.tar.gz -_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common 01bc6dc778b74a9deebe4e419a3b790e multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common dde4f515dde15603a26a3755438e9c78 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=192ec700b3e6be5b5f885884dfa21f59 diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.3 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.3 index ad9f01f15a2f..83494161603a 100644 --- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.3 +++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.3 @@ -12,5 +12,5 @@ RDEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17.0:= >=dev-ml/pp RESTRICT=!test? ( test ) SLOT=0/0.16.3 SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.16.0+0.16.3.tar.gz -> coq-serapi-0.16.3.tar.gz -_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common 01bc6dc778b74a9deebe4e419a3b790e multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common dde4f515dde15603a26a3755438e9c78 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=e77e0b3330ffe3ef2ab69e3e61580fa2 diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.17.0 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.17.0 index 4d130f82aaa0..7d083aa1fb04 100644 --- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.17.0 +++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.17.0 @@ -12,5 +12,5 @@ RDEPEND=>=sci-mathematics/coq-8.17.0:= <sci-mathematics/coq-8.18.0:= >=dev-ml/pp RESTRICT=!test? ( test ) SLOT=0/0.17.0 SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.17.0+0.17.0.tar.gz -> coq-serapi-0.17.0.tar.gz -_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common 01bc6dc778b74a9deebe4e419a3b790e multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common dde4f515dde15603a26a3755438e9c78 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=23e75861df0e6ab4488206048389f9c9 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 19254ae141cb..e414a6002aa3 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 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common dde4f515dde15603a26a3755438e9c78 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c _md5_=2b7622b8a6c6806f840896a8f6e6d82b 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 f5407e62c954..e472721f94f1 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 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic ad475baa777c9978fa035216c8264a10 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common dde4f515dde15603a26a3755438e9c78 flag-o-matic ad475baa777c9978fa035216c8264a10 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c _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 f32907468860..819b795bd032 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 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic ad475baa777c9978fa035216c8264a10 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common dde4f515dde15603a26a3755438e9c78 flag-o-matic ad475baa777c9978fa035216c8264a10 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c _md5_=f9118e9f98d00dc8d5f6fba54631e1e2 diff --git a/metadata/md5-cache/sci-mathematics/fricas-1.3.8-r1 b/metadata/md5-cache/sci-mathematics/fricas-1.3.8-r1 index 7c3aa051cae3..b92fcc9e49b8 100644 --- a/metadata/md5-cache/sci-mathematics/fricas-1.3.8-r1 +++ b/metadata/md5-cache/sci-mathematics/fricas-1.3.8-r1 @@ -11,5 +11,5 @@ RDEPEND=X? ( x11-libs/libXpm x11-libs/libICE ) emacs? ( >=app-editors/emacs-23.1 RESTRICT=strip SLOT=0 SRC_URI=mirror://sourceforge/fricas/fricas-1.3.8-full.tar.bz2 -_eclasses_=elisp-common 01bc6dc778b74a9deebe4e419a3b790e +_eclasses_=elisp-common dde4f515dde15603a26a3755438e9c78 _md5_=efc689a0b694274078d3ceb749068adb diff --git a/metadata/md5-cache/sci-mathematics/geomview-1.9.5-r1 b/metadata/md5-cache/sci-mathematics/geomview-1.9.5-r1 index 93a6571c758b..bcc6b269e3b1 100644 --- a/metadata/md5-cache/sci-mathematics/geomview-1.9.5-r1 +++ b/metadata/md5-cache/sci-mathematics/geomview-1.9.5-r1 @@ -10,5 +10,5 @@ LICENSE=LGPL-2.1 RDEPEND=virtual/glu virtual/opengl x11-libs/motif:0 emacs? ( >=app-editors/emacs-23.1:* ) zlib? ( sys-libs/zlib ) x11-misc/xdg-utils SLOT=0 SRC_URI=mirror://sourceforge/geomview/geomview-1.9.5.tar.bz2 https://dev.gentoo.org/~jlec/distfiles/geomview.png.tar -_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic ad475baa777c9978fa035216c8264a10 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d elisp-common dde4f515dde15603a26a3755438e9c78 flag-o-matic ad475baa777c9978fa035216c8264a10 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=1832af9bce2969c9d5ec5ff33060e9d3 diff --git a/metadata/md5-cache/sci-mathematics/gretl-2021d b/metadata/md5-cache/sci-mathematics/gretl-2021d index cddb0eab7f53..026575b631e4 100644 --- a/metadata/md5-cache/sci-mathematics/gretl-2021d +++ b/metadata/md5-cache/sci-mathematics/gretl-2021d @@ -12,5 +12,5 @@ RDEPEND=dev-libs/glib:2= >=dev-libs/gmp-4.0.1:0= dev-libs/json-glib:0= dev-libs/ REQUIRED_USE=emacs? ( gtk ) SLOT=0/40 SRC_URI=mirror://sourceforge/project/gretl/gretl/2021d/gretl-2021d.tar.xz -_eclasses_=elisp-common 01bc6dc778b74a9deebe4e419a3b790e multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=elisp-common dde4f515dde15603a26a3755438e9c78 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=9e2447542b4c60ef587a6f9835afe54d 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 50ee5b0f3e38..03656f354fbf 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 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic ad475baa777c9978fa035216c8264a10 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 a34d5f83235297b76d71eaf8deb53768 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common dde4f515dde15603a26a3755438e9c78 flag-o-matic ad475baa777c9978fa035216c8264a10 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 a34d5f83235297b76d71eaf8deb53768 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=6c8e458eaab9b79adac7dcee2a863f19 diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.47.0 b/metadata/md5-cache/sci-mathematics/maxima-5.47.0 index 6b587957a1dc..eb7e806cd2d6 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=mirror://sourceforge/maxima/maxima-5.47.0.tar.gz -_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 01bc6dc778b74a9deebe4e419a3b790e flag-o-matic ad475baa777c9978fa035216c8264a10 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 a34d5f83235297b76d71eaf8deb53768 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common dde4f515dde15603a26a3755438e9c78 flag-o-matic ad475baa777c9978fa035216c8264a10 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 a34d5f83235297b76d71eaf8deb53768 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=01f2246376b0276971d939eaf4fb53de diff --git a/metadata/md5-cache/sci-mathematics/singular-4.3.1_p3 b/metadata/md5-cache/sci-mathematics/singular-4.3.1_p3 index 9379362148d2..8e6d64795252 100644 --- a/metadata/md5-cache/sci-mathematics/singular-4.3.1_p3 +++ b/metadata/md5-cache/sci-mathematics/singular-4.3.1_p3 @@ -10,5 +10,5 @@ LICENSE=BSD GPL-2 GPL-3 RDEPEND=dev-lang/perl dev-libs/gmp:0 dev-libs/ntl:= sci-libs/cddlib sci-mathematics/flint emacs? ( >=app-editors/emacs-23.1:* ) 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-1/singular-4.3.1p3.tar.gz -_eclasses_=elisp-common 01bc6dc778b74a9deebe4e419a3b790e +_eclasses_=elisp-common dde4f515dde15603a26a3755438e9c78 _md5_=3c391f0d988bb3a0172440b1562944e9 diff --git a/metadata/md5-cache/sci-mathematics/singular-4.3.2_p1 b/metadata/md5-cache/sci-mathematics/singular-4.3.2_p1 index a2312c34be2a..843aa42f7248 100644 --- a/metadata/md5-cache/sci-mathematics/singular-4.3.2_p1 +++ b/metadata/md5-cache/sci-mathematics/singular-4.3.2_p1 @@ -10,5 +10,5 @@ LICENSE=BSD 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-23.1:* ) 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.2p1.tar.gz -_eclasses_=elisp-common 01bc6dc778b74a9deebe4e419a3b790e +_eclasses_=elisp-common dde4f515dde15603a26a3755438e9c78 _md5_=e9dce492aca8c206741120b11ad15e4a diff --git a/metadata/md5-cache/sci-mathematics/twelf-1.7.1-r2 b/metadata/md5-cache/sci-mathematics/twelf-1.7.1-r2 index 49ad881f40f9..08a598e19e8a 100644 --- a/metadata/md5-cache/sci-mathematics/twelf-1.7.1-r2 +++ b/metadata/md5-cache/sci-mathematics/twelf-1.7.1-r2 @@ -11,5 +11,5 @@ RDEPEND=>=dev-lang/mlton-20180207 doc? ( virtual/latex-base app-text/texi2html ) RESTRICT=test SLOT=0/1.7.1 SRC_URI=http://twelf.plparty.org/releases/twelf-src-1.7.1.tar.gz -_eclasses_=elisp-common 01bc6dc778b74a9deebe4e419a3b790e +_eclasses_=elisp-common dde4f515dde15603a26a3755438e9c78 _md5_=71800e353bd7603fad6982201a69f30a |