summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-08-26 09:56:45 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-08-26 09:56:45 +0100
commitf3471ff11210507b38c09f0e57df1bd601f629a5 (patch)
tree9931bc74efae95f78cd0270fde107c779d2dd482 /metadata/md5-cache/sci-mathematics
parent5e5fb5c6d1e0af4b12dbee7de7d095df902ce2b6 (diff)
gentoo auto-resync : 26:08:2023 - 09:56:44
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin28134 -> 28154 bytes
-rw-r--r--metadata/md5-cache/sci-mathematics/acl2-8.5-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/coq-serapi-0.17.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.0-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/form-4.3.12
-rw-r--r--metadata/md5-cache/sci-mathematics/fricas-1.3.8-r12
-rw-r--r--metadata/md5-cache/sci-mathematics/fricas-1.3.92
-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.042
-rw-r--r--metadata/md5-cache/sci-mathematics/proverif-99992
-rw-r--r--metadata/md5-cache/sci-mathematics/singular-4.3.2_p12
-rw-r--r--metadata/md5-cache/sci-mathematics/twelf-1.7.1-r22
17 files changed, 16 insertions, 16 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index be000c4fbd8c..f30e337dfd6b 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-r1 b/metadata/md5-cache/sci-mathematics/acl2-8.5-r1
index 0b7bf66e3e4f..0ef914dc5eee 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 b3b15bdbe800c721e93b69b70cce2b67
+_eclasses_=elisp-common d65d4003126dec852c1a5a534c52d2f9
_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 4fe5fbbe2b35..864b0ad52cc3 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 a93df67775ff86e107e56c6a6e68cf4e elisp-common b3b15bdbe800c721e93b69b70cce2b67 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multibuild 30dbf3c5a31db09a19f31ad0a68f2405 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca
+_eclasses_=distutils-r1 a93df67775ff86e107e56c6a6e68cf4e elisp-common d65d4003126dec852c1a5a534c52d2f9 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multibuild 30dbf3c5a31db09a19f31ad0a68f2405 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-r1 8a28fa6d3e3bc96ff8a7eff2badbe71f python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca
_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 bbd0fd15431e..21f52c6d6726 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 b3b15bdbe800c721e93b69b70cce2b67 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
+_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common d65d4003126dec852c1a5a534c52d2f9 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 3eeb871d7c11..04a4bf8b106f 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 b3b15bdbe800c721e93b69b70cce2b67 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common d65d4003126dec852c1a5a534c52d2f9 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca
_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 2aa0277635b8..76c35ffbec92 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 b3b15bdbe800c721e93b69b70cce2b67 flag-o-matic be27a904c614cb93ae037762dc69bcc2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common d65d4003126dec852c1a5a534c52d2f9 flag-o-matic be27a904c614cb93ae037762dc69bcc2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca
_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 bbccfab28807..db37d62ee357 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 b3b15bdbe800c721e93b69b70cce2b67 flag-o-matic be27a904c614cb93ae037762dc69bcc2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common d65d4003126dec852c1a5a534c52d2f9 flag-o-matic be27a904c614cb93ae037762dc69bcc2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca
_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 0cc49a017223..b94371db6fed 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 b3b15bdbe800c721e93b69b70cce2b67
+_eclasses_=elisp-common d65d4003126dec852c1a5a534c52d2f9
_md5_=112a5c74f1ed9928a0ae320ee75d1b55
diff --git a/metadata/md5-cache/sci-mathematics/fricas-1.3.9 b/metadata/md5-cache/sci-mathematics/fricas-1.3.9
index 01fc4723252f..98bad3adb104 100644
--- a/metadata/md5-cache/sci-mathematics/fricas-1.3.9
+++ b/metadata/md5-cache/sci-mathematics/fricas-1.3.9
@@ -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/1.3.9/fricas-1.3.9-full.tar.bz2
-_eclasses_=elisp-common b3b15bdbe800c721e93b69b70cce2b67
+_eclasses_=elisp-common d65d4003126dec852c1a5a534c52d2f9
_md5_=35812382b7d50c6b37f0f91cf9eb4f15
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 6c60d5857d40..323bd9ceb39a 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 b3b15bdbe800c721e93b69b70cce2b67 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d elisp-common d65d4003126dec852c1a5a534c52d2f9 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca 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 0633c1edc73f..8467b93fc276 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 b3b15bdbe800c721e93b69b70cce2b67 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=elisp-common d65d4003126dec852c1a5a534c52d2f9 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca 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 143678d57170..481f26556e58 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 b3b15bdbe800c721e93b69b70cce2b67 flag-o-matic be27a904c614cb93ae037762dc69bcc2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common d65d4003126dec852c1a5a534c52d2f9 flag-o-matic be27a904c614cb93ae037762dc69bcc2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca 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 1ea5ab9e794e..83f01335eb2a 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 b3b15bdbe800c721e93b69b70cce2b67 flag-o-matic be27a904c614cb93ae037762dc69bcc2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common d65d4003126dec852c1a5a534c52d2f9 flag-o-matic be27a904c614cb93ae037762dc69bcc2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3
_md5_=16faa7b9ec8eee88e6c502e5f73b2a5e
diff --git a/metadata/md5-cache/sci-mathematics/proverif-2.04 b/metadata/md5-cache/sci-mathematics/proverif-2.04
index e86dd0726eca..6326e6fd9041 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 b3b15bdbe800c721e93b69b70cce2b67 findlib cc1c14904708a0a28bcb256b342a808c
+_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common d65d4003126dec852c1a5a534c52d2f9 findlib cc1c14904708a0a28bcb256b342a808c
_md5_=5d8b3e45511fdfc3880f0e1de2393978
diff --git a/metadata/md5-cache/sci-mathematics/proverif-9999 b/metadata/md5-cache/sci-mathematics/proverif-9999
index 402b91a79c0b..a19872246b2f 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 b3b15bdbe800c721e93b69b70cce2b67 findlib cc1c14904708a0a28bcb256b342a808c git-r3 2358a7b20091609e24bd3a83b3ac5991
+_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common d65d4003126dec852c1a5a534c52d2f9 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 f048d65f40f5..fe8d325b1e27 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 b3b15bdbe800c721e93b69b70cce2b67
+_eclasses_=elisp-common d65d4003126dec852c1a5a534c52d2f9
_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 a84b37a34e62..5154244eff5a 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 b3b15bdbe800c721e93b69b70cce2b67
+_eclasses_=elisp-common d65d4003126dec852c1a5a534c52d2f9
_md5_=71800e353bd7603fad6982201a69f30a