aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo/packages
diff options
context:
space:
mode:
Diffstat (limited to 'tojo-tokyo/packages')
-rw-r--r--tojo-tokyo/packages/acl2.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/tojo-tokyo/packages/acl2.scm b/tojo-tokyo/packages/acl2.scm
index fb1ac61..e140d7d 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.3")
+ (version "8.4")
(source (origin
(method url-fetch)
(uri
@@ -51,7 +51,7 @@
version ".tar.gz"))
(sha256
(base32
- "1sn5y8bg2yf1kf8dzkrgk4iwzcd9qxpvk8nvy24zivxj6vdxvvj5"))))
+ "12ydcb3s4cwlk5mghxn0cah3fw698c27m8vpyjwyx219iq2c0h5l"))))
(build-system gnu-build-system)
(arguments
`(#:phases