diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
18 files changed, 18 insertions, 33 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 273a7ac40dec..5363eca611c4 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 11daf2938d94..3151b768d8fe 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 dc179f98b2b4d9a4473fd3bdc154bbb6 +_eclasses_=elisp-common 2a0fa407d2e6363c663ccb299503b25c _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 c9f422f12d56..98655d45b951 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 d05609532b134be7c4ae2514f4c7d06e elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 multibuild 30dbf3c5a31db09a19f31ad0a68f2405 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 39e7a84b06eff4efd9f2e0c3d1668b98 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f python-utils-r1 12aa0037eb004139215ff04894d52b28 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc +_eclasses_=distutils-r1 d05609532b134be7c4ae2514f4c7d06e elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 multibuild 30dbf3c5a31db09a19f31ad0a68f2405 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 39e7a84b06eff4efd9f2e0c3d1668b98 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f python-utils-r1 12aa0037eb004139215ff04894d52b28 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc _md5_=2719a82a6b6dab21e7ac6f0b4bb05675 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 cf470a2ac48a..d166ff3eb889 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 dc179f98b2b4d9a4473fd3bdc154bbb6 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe +_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common 2a0fa407d2e6363c663ccb299503b25c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe _md5_=23e75861df0e6ab4488206048389f9c9 diff --git a/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.12 b/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.12 deleted file mode 100644 index 37b55461d888..000000000000 --- a/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.12 +++ /dev/null @@ -1,15 +0,0 @@ -BDEPEND=>=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5 -DEFINED_PHASES=compile configure install prepare test -DEPEND=dev-libs/boost:= sys-libs/zlib:= -DESCRIPTION=Advanced SAT solver with C++ and command-line interfaces -EAPI=8 -HOMEPAGE=https://github.com/msoos/cryptominisat/ -INHERIT=cmake -KEYWORDS=~amd64 ~x86 -LICENSE=GPL-2 MIT -RDEPEND=dev-libs/boost:= sys-libs/zlib:= -RESTRICT=test -SLOT=0/5.11.12 -SRC_URI=https://github.com/msoos/cryptominisat/archive/5.11.12.tar.gz -> cryptominisat-5.11.12.tar.gz -_eclasses_=cmake fc2f89084f590ac95c004ea95b0d2f80 flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 39e7a84b06eff4efd9f2e0c3d1668b98 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=b04719f6503ffc054556a0170f751adf diff --git a/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.11 b/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.15 index 9ad30edf41cc..fc9fc7358656 100644 --- a/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.11 +++ b/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.15 @@ -9,7 +9,7 @@ KEYWORDS=~amd64 ~x86 LICENSE=GPL-2 MIT RDEPEND=dev-libs/boost:= sys-libs/zlib:= RESTRICT=test -SLOT=0/5.11.11 -SRC_URI=https://github.com/msoos/cryptominisat/archive/5.11.11.tar.gz -> cryptominisat-5.11.11.tar.gz +SLOT=0/5.11.15 +SRC_URI=https://github.com/msoos/cryptominisat/archive/5.11.15.tar.gz -> cryptominisat-5.11.15.tar.gz _eclasses_=cmake fc2f89084f590ac95c004ea95b0d2f80 flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 39e7a84b06eff4efd9f2e0c3d1668b98 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=b04719f6503ffc054556a0170f751adf +_md5_=63d6a2225f434629f74421471788b63b 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 005ece6aea2e..607298fd5f52 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 dc179f98b2b4d9a4473fd3bdc154bbb6 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 2a0fa407d2e6363c663ccb299503b25c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc _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 72b3a408754a..356ef11e02ae 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 dc179f98b2b4d9a4473fd3bdc154bbb6 flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc _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 2496d38348dd..f800346c94dd 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 dc179f98b2b4d9a4473fd3bdc154bbb6 flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc _md5_=f9118e9f98d00dc8d5f6fba54631e1e2 diff --git a/metadata/md5-cache/sci-mathematics/fricas-1.3.9-r3 b/metadata/md5-cache/sci-mathematics/fricas-1.3.9-r3 index eebd55ffd0f4..c1d647a2826a 100644 --- a/metadata/md5-cache/sci-mathematics/fricas-1.3.9-r3 +++ b/metadata/md5-cache/sci-mathematics/fricas-1.3.9-r3 @@ -12,5 +12,5 @@ REQUIRED_USE=^^ ( sbcl cmucl gcl ecl clisp clozurecl ) gmp? ( ^^ ( sbcl clozurec RESTRICT=strip SLOT=0 SRC_URI=mirror://sourceforge/fricas/1.3.9/fricas-1.3.9-full.tar.bz2 -_eclasses_=elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 +_eclasses_=elisp-common 2a0fa407d2e6363c663ccb299503b25c _md5_=13c33ca122fdeebdf05f377e04ecfca4 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 d684ab7e96e4..7f90011818f6 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 dc179f98b2b4d9a4473fd3bdc154bbb6 flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc 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 5f4f8e357479..92df66c22e00 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 dc179f98b2b4d9a4473fd3bdc154bbb6 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=elisp-common 2a0fa407d2e6363c663ccb299503b25c multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc 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 39fd22f457f4..4a25ff80a658 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 dc179f98b2b4d9a4473fd3bdc154bbb6 flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 12aa0037eb004139215ff04894d52b28 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 12aa0037eb004139215ff04894d52b28 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=9cabbf96137abea1df32e0ab0799f5aa diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.47.0 b/metadata/md5-cache/sci-mathematics/maxima-5.47.0 index 2b721700b622..b46e776b9220 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 dc179f98b2b4d9a4473fd3bdc154bbb6 flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 12aa0037eb004139215ff04894d52b28 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 5ae516d405b6ae5636e487ea4350a8a2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 12aa0037eb004139215ff04894d52b28 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=c9f0229a0dc2282d617d246f3b6fe8ca diff --git a/metadata/md5-cache/sci-mathematics/proverif-2.04 b/metadata/md5-cache/sci-mathematics/proverif-2.04 index 117cb0635f68..6d16dedf23af 100644 --- a/metadata/md5-cache/sci-mathematics/proverif-2.04 +++ b/metadata/md5-cache/sci-mathematics/proverif-2.04 @@ -11,5 +11,5 @@ LICENSE=GPL-2+ RDEPEND=emacs? ( >=app-editors/emacs-25:* ) dev-lang/ocaml:=[ocamlopt?] SLOT=0 SRC_URI=https://gitlab.inria.fr/bblanche/proverif/-/archive/v2.04/proverif-v2.04.tar.bz2 -_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 findlib cc1c14904708a0a28bcb256b342a808c +_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common 2a0fa407d2e6363c663ccb299503b25c findlib cc1c14904708a0a28bcb256b342a808c _md5_=5d8b3e45511fdfc3880f0e1de2393978 diff --git a/metadata/md5-cache/sci-mathematics/proverif-9999 b/metadata/md5-cache/sci-mathematics/proverif-9999 index 7c199c884c1c..7b87c5c093a3 100644 --- a/metadata/md5-cache/sci-mathematics/proverif-9999 +++ b/metadata/md5-cache/sci-mathematics/proverif-9999 @@ -10,5 +10,5 @@ LICENSE=GPL-2+ PROPERTIES=live RDEPEND=emacs? ( >=app-editors/emacs-25:* ) dev-lang/ocaml:=[ocamlopt?] SLOT=0 -_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 findlib cc1c14904708a0a28bcb256b342a808c git-r3 2358a7b20091609e24bd3a83b3ac5991 +_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common 2a0fa407d2e6363c663ccb299503b25c findlib cc1c14904708a0a28bcb256b342a808c git-r3 2358a7b20091609e24bd3a83b3ac5991 _md5_=5d8b3e45511fdfc3880f0e1de2393978 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 2a0148536247..e2f471b31ec7 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 dc179f98b2b4d9a4473fd3bdc154bbb6 +_eclasses_=elisp-common 2a0fa407d2e6363c663ccb299503b25c _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 2499e80ddb5d..ce2297f1d279 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 dc179f98b2b4d9a4473fd3bdc154bbb6 +_eclasses_=elisp-common 2a0fa407d2e6363c663ccb299503b25c _md5_=71800e353bd7603fad6982201a69f30a |