aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo
diff options
context:
space:
mode:
Diffstat (limited to 'tojo-tokyo')
-rw-r--r--tojo-tokyo/packages/acl2.scm6
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