diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/acl2-8.5-r2')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/acl2-8.5-r2 | 2 |
1 files changed, 1 insertions, 1 deletions
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 |