From e223f34bfe63aeaed86c130c5582d3d986c65189 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 15 Sep 2021 13:54:38 +0900
Subject: python-acl2-kernel: Rename from jupyter-acl2-kernel to
 python-acl2-kernel.

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

diff --git a/tojo-tokyo/packages/acl2.scm b/tojo-tokyo/packages/acl2.scm
index 74d2f5e..c909d19 100644
--- a/tojo-tokyo/packages/acl2.scm
+++ b/tojo-tokyo/packages/acl2.scm
@@ -113,9 +113,9 @@
                    license:expat
                    license:gpl2+))))
 
-(define-public jupyter-acl2-kernel
+(define-public python-acl2-kernel
   (package
-    (name "jupyter-acl2-kernel")
+    (name "python-acl2-kernel")
     (version "0.2.8")
     ;; XXX: Using a modified versions of the dependent packages for use with Guix.
     ;; Commit: https://github.com/tojoqk/acl2-kernel/commit/9c36a01f46f58628585e87101db9da61cab42891
-- 
cgit v1.2.3