summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/acl2-8.5-r1')
-rw-r--r--metadata/md5-cache/sci-mathematics/acl2-8.5-r12
1 files changed, 1 insertions, 1 deletions
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