From 166042edda99f64bc9fc231ffe0b8dec530568fe Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Tue, 9 Aug 2022 17:55:05 +0900
Subject: acl2: Verson up to 8.5.

---
 tojo-tokyo/packages/acl2.scm | 6 +++---
 1 file 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
-- 
cgit v1.2.3