summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-05-07 00:00:56 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-05-07 00:00:56 +0100
commit7bcfea9c5e79a425a62a66bba477b9d3c0d7fdd0 (patch)
tree02bad8e4f1f060d4858a1a2ec3fc9404f0b7a197 /metadata/md5-cache/sci-mathematics
parent43c2a85d4e20318dd3d35872e348707900870067 (diff)
gentoo auto-resync : 07:05:2024 - 00:00:56
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin29249 -> 29215 bytes
-rw-r--r--metadata/md5-cache/sci-mathematics/acl2-8.5-r22
-rw-r--r--metadata/md5-cache/sci-mathematics/acl2-8.5_p202403072
-rw-r--r--metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r22
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-serapi-0.19.02
-rw-r--r--metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r22
-rw-r--r--metadata/md5-cache/sci-mathematics/form-4.3.12
-rw-r--r--metadata/md5-cache/sci-mathematics/form-5.0.0_beta12
-rw-r--r--metadata/md5-cache/sci-mathematics/fricas-1.3.102
-rw-r--r--metadata/md5-cache/sci-mathematics/fricas-1.3.9-r32
-rw-r--r--metadata/md5-cache/sci-mathematics/geomview-1.9.5-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/gretl-2021d2
-rw-r--r--metadata/md5-cache/sci-mathematics/maxima-5.46.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/maxima-5.47.02
-rw-r--r--metadata/md5-cache/sci-mathematics/proverif-2.04-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/proverif-2.052
-rw-r--r--metadata/md5-cache/sci-mathematics/proverif-99992
-rw-r--r--metadata/md5-cache/sci-mathematics/singular-4.3.2_p102
-rw-r--r--metadata/md5-cache/sci-mathematics/singular-4.3.2_p162
-rw-r--r--metadata/md5-cache/sci-mathematics/twelf-1.7.1-r22
20 files changed, 19 insertions, 19 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 9da6769fea4e..61699de8a6c8 100644
--- a/metadata/md5-cache/sci-mathematics/Manifest.gz
+++ b/metadata/md5-cache/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/metadata/md5-cache/sci-mathematics/acl2-8.5-r2 b/metadata/md5-cache/sci-mathematics/acl2-8.5-r2
index c166cc49d022..9e764910c020 100644
--- a/metadata/md5-cache/sci-mathematics/acl2-8.5-r2
+++ b/metadata/md5-cache/sci-mathematics/acl2-8.5-r2
@@ -11,5 +11,5 @@ RDEPEND=<=dev-lisp/sbcl-2.4.1:= 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 b5740ee671dad911400f832fe315a9a5
+_eclasses_=elisp-common abb2dda42f680fce87602c8273f832c7
_md5_=a3cbbd31a398307d7dd3105216684a26
diff --git a/metadata/md5-cache/sci-mathematics/acl2-8.5_p20240307 b/metadata/md5-cache/sci-mathematics/acl2-8.5_p20240307
index f60bd2f01345..087c1c6668f9 100644
--- a/metadata/md5-cache/sci-mathematics/acl2-8.5_p20240307
+++ b/metadata/md5-cache/sci-mathematics/acl2-8.5_p20240307
@@ -11,5 +11,5 @@ RDEPEND=<=dev-lisp/sbcl-2.4.1:= emacs? ( >=app-editors/emacs-25:* )
REQUIRED_USE=emacs? ( doc )
SLOT=0
SRC_URI=https://github.com/acl2/acl2/archive/6ba68b5c8d645ca45185abc4a24ce46e5ae029c5.tar.gz -> acl2-8.5_p20240307.tar.gz
-_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5
+_eclasses_=elisp-common abb2dda42f680fce87602c8273f832c7
_md5_=f2d32d3f2dcac633e0370b4432304f63
diff --git a/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r2 b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r2
index 03b58f7b92e6..25d4f84fed4f 100644
--- a/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r2
+++ b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r2
@@ -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 python_targets_python3_12 )
SLOT=0
SRC_URI=https://github.com/cpitclaudel/alectryon/archive/v1.4.0.tar.gz -> alectryon-1.4.0.tar.gz
-_eclasses_=distutils-r1 a9e13d91cb9541a054827cb1d957a660 elisp-common b5740ee671dad911400f832fe315a9a5 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f python-utils-r1 a1229a86bd0db058e474a2d7d9191cca toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=distutils-r1 a9e13d91cb9541a054827cb1d957a660 elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 multibuild d67e78a235f541871c7dfe4cf7931489 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f python-utils-r1 a1229a86bd0db058e474a2d7d9191cca toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_md5_=27c30bbe271824190f5a93312f0ef095
diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.19.0 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.19.0
index 7bbab2335448..211574d3115e 100644
--- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.19.0
+++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.19.0
@@ -12,5 +12,5 @@ RDEPEND=>=sci-mathematics/coq-8.19.0:= <sci-mathematics/coq-8.20.0:= >=dev-ml/pp
RESTRICT=!test? ( test )
SLOT=0/0.19.0
SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.19.0+0.19.0.tar.gz -> coq-serapi-0.19.0.tar.gz
-_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common b5740ee671dad911400f832fe315a9a5 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
+_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common abb2dda42f680fce87602c8273f832c7 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=d7cf623ec5c257dfef0e91398d47601e
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 a98367323e3a..cd0105aacbf6 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 dc70c1dc473b68317fc4a86f5fbfc57d elisp-common b5740ee671dad911400f832fe315a9a5 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=autotools dc70c1dc473b68317fc4a86f5fbfc57d elisp-common abb2dda42f680fce87602c8273f832c7 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_md5_=2b7622b8a6c6806f840896a8f6e6d82b
diff --git a/metadata/md5-cache/sci-mathematics/form-4.3.1 b/metadata/md5-cache/sci-mathematics/form-4.3.1
index a05f3852a822..ccab7f87dda8 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 dc70c1dc473b68317fc4a86f5fbfc57d elisp-common b5740ee671dad911400f832fe315a9a5 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=autotools dc70c1dc473b68317fc4a86f5fbfc57d elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_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 5bfa7141e4f0..37d5a9b7c7ae 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_=autotools dc70c1dc473b68317fc4a86f5fbfc57d elisp-common b5740ee671dad911400f832fe315a9a5 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=autotools dc70c1dc473b68317fc4a86f5fbfc57d elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_md5_=1315b5c1e0f35fc0eddd0f795a2dd565
diff --git a/metadata/md5-cache/sci-mathematics/fricas-1.3.10 b/metadata/md5-cache/sci-mathematics/fricas-1.3.10
index fdbd7397176d..132fadc50b80 100644
--- a/metadata/md5-cache/sci-mathematics/fricas-1.3.10
+++ b/metadata/md5-cache/sci-mathematics/fricas-1.3.10
@@ -12,5 +12,5 @@ REQUIRED_USE=^^ ( sbcl cmucl gcl ecl clisp clozurecl ) gmp? ( ^^ ( sbcl clozurec
RESTRICT=strip
SLOT=0
SRC_URI=https://downloads.sourceforge.net/fricas/1.3.10/fricas-1.3.10-full.tar.bz2
-_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5
+_eclasses_=elisp-common abb2dda42f680fce87602c8273f832c7
_md5_=c3c08077b01b3355959d2a44e6a5348b
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 a002697a829b..f572c5fa9e55 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=https://downloads.sourceforge.net/fricas/1.3.9/fricas-1.3.9-full.tar.bz2
-_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5
+_eclasses_=elisp-common abb2dda42f680fce87602c8273f832c7
_md5_=dd2099e71c04c89877c4e853ea7ef026
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 ddd0ab33dc1e..c3d741b11860 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=https://downloads.sourceforge.net/geomview/geomview-1.9.5.tar.bz2 https://dev.gentoo.org/~jlec/distfiles/geomview.png.tar
-_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d elisp-common b5740ee671dad911400f832fe315a9a5 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=2b9d4e933877511a0eabd554fe18a2cb
diff --git a/metadata/md5-cache/sci-mathematics/gretl-2021d b/metadata/md5-cache/sci-mathematics/gretl-2021d
index 6af79199c649..57a3bd8f699c 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=https://downloads.sourceforge.net/project/gretl/gretl/2021d/gretl-2021d.tar.xz
-_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=elisp-common abb2dda42f680fce87602c8273f832c7 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=023b894272f5703e2dd412c845dcada5
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 3e0dcd39bc8c..6861cfeba6d7 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_=autotools dc70c1dc473b68317fc4a86f5fbfc57d elisp-common b5740ee671dad911400f832fe315a9a5 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 a1229a86bd0db058e474a2d7d9191cca toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools dc70c1dc473b68317fc4a86f5fbfc57d elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 a1229a86bd0db058e474a2d7d9191cca toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_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 8b9ef2662d7f..24d5fbb18b87 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_=autotools dc70c1dc473b68317fc4a86f5fbfc57d elisp-common b5740ee671dad911400f832fe315a9a5 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 a1229a86bd0db058e474a2d7d9191cca toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools dc70c1dc473b68317fc4a86f5fbfc57d elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 a1229a86bd0db058e474a2d7d9191cca toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=3820aeb85014a2b8df6ba1dbff80208a
diff --git a/metadata/md5-cache/sci-mathematics/proverif-2.04-r1 b/metadata/md5-cache/sci-mathematics/proverif-2.04-r1
index a5819636c9d8..13005d95ae55 100644
--- a/metadata/md5-cache/sci-mathematics/proverif-2.04-r1
+++ b/metadata/md5-cache/sci-mathematics/proverif-2.04-r1
@@ -10,5 +10,5 @@ LICENSE=GPL-2+
RDEPEND=dev-lang/ocaml:=[ocamlopt] 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 b5740ee671dad911400f832fe315a9a5 findlib cc1c14904708a0a28bcb256b342a808c
+_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common abb2dda42f680fce87602c8273f832c7 findlib cc1c14904708a0a28bcb256b342a808c
_md5_=167673677120928bfde7755df17218b3
diff --git a/metadata/md5-cache/sci-mathematics/proverif-2.05 b/metadata/md5-cache/sci-mathematics/proverif-2.05
index a660d5fce4c0..0ac901f07ba1 100644
--- a/metadata/md5-cache/sci-mathematics/proverif-2.05
+++ b/metadata/md5-cache/sci-mathematics/proverif-2.05
@@ -10,5 +10,5 @@ LICENSE=GPL-2+
RDEPEND=dev-lang/ocaml:=[ocamlopt] emacs? ( >=app-editors/emacs-25:* ) dev-lang/ocaml:=[ocamlopt?]
SLOT=0
SRC_URI=https://bblanche.gitlabpages.inria.fr/proverif/proverif2.05.tar.gz
-_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common b5740ee671dad911400f832fe315a9a5 findlib cc1c14904708a0a28bcb256b342a808c
+_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common abb2dda42f680fce87602c8273f832c7 findlib cc1c14904708a0a28bcb256b342a808c
_md5_=1265be4fddd589562db5ab6e7b4214e1
diff --git a/metadata/md5-cache/sci-mathematics/proverif-9999 b/metadata/md5-cache/sci-mathematics/proverif-9999
index e10379691a21..45dc587b18c1 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=dev-lang/ocaml:=[ocamlopt] emacs? ( >=app-editors/emacs-25:* ) dev-lang/ocaml:=[ocamlopt?]
SLOT=0
-_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common b5740ee671dad911400f832fe315a9a5 findlib cc1c14904708a0a28bcb256b342a808c git-r3 fbb2889c81f3a05910c1524db69425c1
+_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common abb2dda42f680fce87602c8273f832c7 findlib cc1c14904708a0a28bcb256b342a808c git-r3 fbb2889c81f3a05910c1524db69425c1
_md5_=167673677120928bfde7755df17218b3
diff --git a/metadata/md5-cache/sci-mathematics/singular-4.3.2_p10 b/metadata/md5-cache/sci-mathematics/singular-4.3.2_p10
index d327ef2e8ec9..416ba368ffa8 100644
--- a/metadata/md5-cache/sci-mathematics/singular-4.3.2_p10
+++ b/metadata/md5-cache/sci-mathematics/singular-4.3.2_p10
@@ -10,5 +10,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.2p10.tar.gz
-_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=elisp-common abb2dda42f680fce87602c8273f832c7 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_md5_=a5869b20b1d4ace837ba02843f1b8d59
diff --git a/metadata/md5-cache/sci-mathematics/singular-4.3.2_p16 b/metadata/md5-cache/sci-mathematics/singular-4.3.2_p16
index 77aba9f8f9eb..be4956e8b035 100644
--- a/metadata/md5-cache/sci-mathematics/singular-4.3.2_p16
+++ b/metadata/md5-cache/sci-mathematics/singular-4.3.2_p16
@@ -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_=autotools dc70c1dc473b68317fc4a86f5fbfc57d elisp-common b5740ee671dad911400f832fe315a9a5 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=autotools dc70c1dc473b68317fc4a86f5fbfc57d elisp-common abb2dda42f680fce87602c8273f832c7 gnuconfig a397adda6984a4c423e28ac274c1ba98 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_md5_=0472634b6555888d3b8f502ce5c0db95
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 a5ed76edc1c6..0a8572a9c53b 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 b5740ee671dad911400f832fe315a9a5
+_eclasses_=elisp-common abb2dda42f680fce87602c8273f832c7
_md5_=71800e353bd7603fad6982201a69f30a