diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-08-09 17:55:05 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-08-09 17:55:05 +0900 |
| commit | 166042edda99f64bc9fc231ffe0b8dec530568fe (patch) | |
| tree | b15803646479ce07735ecd0d7ea9a791a52a6b2a | |
| parent | 18f52ea12bc085981f3402e013e9e87d6115f21a (diff) | |
acl2: Verson up to 8.5.
| -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 |