diff options
| -rw-r--r-- | tojo-tokyo/packages/acl2.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tojo-tokyo/packages/acl2.scm b/tojo-tokyo/packages/acl2.scm index 0f95c46..8d982fd 100644 --- a/tojo-tokyo/packages/acl2.scm +++ b/tojo-tokyo/packages/acl2.scm @@ -41,7 +41,7 @@ (define-public acl2 (package (name "acl2") - (version "8.4") + (version "8.5") (source (origin (method url-fetch) (uri @@ -51,8 +51,8 @@ version ".tar.gz")) (sha256 (base32 - "12ydcb3s4cwlk5mghxn0cah3fw698c27m8vpyjwyx219iq2c0h5l")))) - (build-system gnu-build-system) + "03xw9qyqvp3mmcx8yli6bc7gy0znv1kmm7nd607vj9q04aq8mhfw")))) + (build-system gnu-build-system) (arguments `(#:tests? #f #:phases |