summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-08-26 21:58:12 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-08-26 21:58:12 +0100
commitd76b6613e545057331e9273ddd21e68d28d9e402 (patch)
tree2823b704acff0caa2bf185b4e4b38c95731cba39 /metadata/md5-cache/sci-mathematics
parentf6fd15e0418aea97c7ee77672468561cdac302e5 (diff)
gentoo auto-resync : 26:08:2023 - 21:58:11
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r--metadata/md5-cache/sci-mathematics/Manifest.gzbin28154 -> 28131 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 f30e337dfd6b..e9d25d613d94 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 0ef914dc5eee..11daf2938d94 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 d65d4003126dec852c1a5a534c52d2f9
+_eclasses_=elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6
_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 864b0ad52cc3..a48c940d4258 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 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
+_eclasses_=distutils-r1 a93df67775ff86e107e56c6a6e68cf4e elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 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 21f52c6d6726..23fdabc396c7 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 d65d4003126dec852c1a5a534c52d2f9 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
+_eclasses_=dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 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 04a4bf8b106f..5451980b3cc3 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 d65d4003126dec852c1a5a534c52d2f9 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 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 76c35ffbec92..8ff9bff44bf1 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 d65d4003126dec852c1a5a534c52d2f9 flag-o-matic be27a904c614cb93ae037762dc69bcc2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 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 db37d62ee357..3962ae5ff83e 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 d65d4003126dec852c1a5a534c52d2f9 flag-o-matic be27a904c614cb93ae037762dc69bcc2 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 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 b94371db6fed..98df280e8541 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 d65d4003126dec852c1a5a534c52d2f9
+_eclasses_=elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6
_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 98bad3adb104..bb5c4b282520 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 d65d4003126dec852c1a5a534c52d2f9
+_eclasses_=elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6
_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 323bd9ceb39a..5bf66621f72c 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 d65d4003126dec852c1a5a534c52d2f9 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 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 8467b93fc276..c299c4ade465 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 d65d4003126dec852c1a5a534c52d2f9 multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3
+_eclasses_=elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 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 481f26556e58..20ab70e89e77 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 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
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 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 83f01335eb2a..875e8c0297e0 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 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
+_eclasses_=autotools 6ae9a4347149b19a112caa1182d03bde elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 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 6326e6fd9041..117cb0635f68 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 d65d4003126dec852c1a5a534c52d2f9 findlib cc1c14904708a0a28bcb256b342a808c
+_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 findlib cc1c14904708a0a28bcb256b342a808c
_md5_=5d8b3e45511fdfc3880f0e1de2393978
diff --git a/metadata/md5-cache/sci-mathematics/proverif-9999 b/metadata/md5-cache/sci-mathematics/proverif-9999
index a19872246b2f..7c199c884c1c 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 d65d4003126dec852c1a5a534c52d2f9 findlib cc1c14904708a0a28bcb256b342a808c git-r3 2358a7b20091609e24bd3a83b3ac5991
+_eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6 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 fe8d325b1e27..2a0148536247 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 d65d4003126dec852c1a5a534c52d2f9
+_eclasses_=elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6
_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 5154244eff5a..2499e80ddb5d 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 d65d4003126dec852c1a5a534c52d2f9
+_eclasses_=elisp-common dc179f98b2b4d9a4473fd3bdc154bbb6
_md5_=71800e353bd7603fad6982201a69f30a