From f000e7ad02d95a53e05665543ca276c25e42978c Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 8 Sep 2021 23:36:06 +0900
Subject: acl2: Version up to 8.4.

---
 tojo-tokyo/packages/acl2.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tojo-tokyo')

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
-- 
cgit v1.2.3