summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
diff options
context:
space:
mode:
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin29088 -> 29084 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-r12
-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 69035bba8cbc..b759685eb635 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 b0ef4de003d5..c166cc49d022 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 2a0fa407d2e6363c663ccb299503b25c
+_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5
_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 05a07cd4b4f1..f60bd2f01345 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 2a0fa407d2e6363c663ccb299503b25c
+_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5
_md5_=f2d32d3f2dcac633e0370b4432304f63
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 0e083fcdc9f0..b150e419a683 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 d9a9242b3972ef569e740451da4b90e1 elisp-common 2a0fa407d2e6363c663ccb299503b25c 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 d9a9242b3972ef569e740451da4b90e1 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
_md5_=2719a82a6b6dab21e7ac6f0b4bb05675
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 e3d2386cd3ca..7bbab2335448 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 2a0fa407d2e6363c663ccb299503b25c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
+_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common b5740ee671dad911400f832fe315a9a5 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 88e13c6faf89..3d05af6c58a1 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 3af8f60c4bdb23e738db506a630898ee elisp-common 2a0fa407d2e6363c663ccb299503b25c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=autotools 3af8f60c4bdb23e738db506a630898ee elisp-common b5740ee671dad911400f832fe315a9a5 gnuconfig b6b3e92f8b8c996400074b5f61a59256 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 d0e9dbc59e6f..a81233681fbb 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 3af8f60c4bdb23e738db506a630898ee elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=autotools 3af8f60c4bdb23e738db506a630898ee elisp-common b5740ee671dad911400f832fe315a9a5 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig b6b3e92f8b8c996400074b5f61a59256 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 5a11e4dee1bf..60f49adab26e 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 3af8f60c4bdb23e738db506a630898ee elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=autotools 3af8f60c4bdb23e738db506a630898ee elisp-common b5740ee671dad911400f832fe315a9a5 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig b6b3e92f8b8c996400074b5f61a59256 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 2d58f08675fa..85b56cce63ed 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=mirror://sourceforge/fricas/1.3.10/fricas-1.3.10-full.tar.bz2
-_eclasses_=elisp-common 2a0fa407d2e6363c663ccb299503b25c
+_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5
_md5_=01cb24fe346b6dc52d7b5aa29f482074
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 c1d647a2826a..86c779fe2a9e 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 2a0fa407d2e6363c663ccb299503b25c
+_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5
_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 bc8443e942b8..2f66d4e06535 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 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 288c54efeb5e2aa70775e39032695ad4 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d elisp-common b5740ee671dad911400f832fe315a9a5 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 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 d21da04d6419..a76b996c3b29 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 2a0fa407d2e6363c663ccb299503b25c multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 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 49e1b777e5d2..98248bd00290 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 3af8f60c4bdb23e738db506a630898ee elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 a1229a86bd0db058e474a2d7d9191cca toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools 3af8f60c4bdb23e738db506a630898ee elisp-common b5740ee671dad911400f832fe315a9a5 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 a1229a86bd0db058e474a2d7d9191cca toolchain-funcs e56c7649b804f051623c8bc1a1c44084 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 9e6429039aa2..fb092a28a534 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 3af8f60c4bdb23e738db506a630898ee elisp-common 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 a1229a86bd0db058e474a2d7d9191cca toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools 3af8f60c4bdb23e738db506a630898ee elisp-common b5740ee671dad911400f832fe315a9a5 flag-o-matic 288c54efeb5e2aa70775e39032695ad4 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 a1229a86bd0db058e474a2d7d9191cca toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=41f1efe747735c0a6058aa154710556f
diff --git a/metadata/md5-cache/sci-mathematics/proverif-2.04-r1 b/metadata/md5-cache/sci-mathematics/proverif-2.04-r1
index f0eb0b81b1f8..a5819636c9d8 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 2a0fa407d2e6363c663ccb299503b25c findlib cc1c14904708a0a28bcb256b342a808c
+_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common b5740ee671dad911400f832fe315a9a5 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 c2108f258173..a660d5fce4c0 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 2a0fa407d2e6363c663ccb299503b25c findlib cc1c14904708a0a28bcb256b342a808c
+_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common b5740ee671dad911400f832fe315a9a5 findlib cc1c14904708a0a28bcb256b342a808c
_md5_=1265be4fddd589562db5ab6e7b4214e1
diff --git a/metadata/md5-cache/sci-mathematics/proverif-9999 b/metadata/md5-cache/sci-mathematics/proverif-9999
index 6e4ed8d7bca7..e10379691a21 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 2a0fa407d2e6363c663ccb299503b25c findlib cc1c14904708a0a28bcb256b342a808c git-r3 fbb2889c81f3a05910c1524db69425c1
+_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common b5740ee671dad911400f832fe315a9a5 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 85c31eb34134..d327ef2e8ec9 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 2a0fa407d2e6363c663ccb299503b25c flag-o-matic 288c54efeb5e2aa70775e39032695ad4 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5 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 e2b41d6d3bbf..09bdb6f9dd9d 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 3af8f60c4bdb23e738db506a630898ee elisp-common 2a0fa407d2e6363c663ccb299503b25c gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 5f49a16f67f81bdf873e3d1f10b10001 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084
+_eclasses_=autotools 3af8f60c4bdb23e738db506a630898ee elisp-common b5740ee671dad911400f832fe315a9a5 gnuconfig b6b3e92f8b8c996400074b5f61a59256 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 ce2297f1d279..a5ed76edc1c6 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 2a0fa407d2e6363c663ccb299503b25c
+_eclasses_=elisp-common b5740ee671dad911400f832fe315a9a5
_md5_=71800e353bd7603fad6982201a69f30a