diff options
| -rw-r--r-- | tojo-tokyo/packages/acl2.scm | 4 |
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 |