From aa26919676e5eccfdbece1ce01beda9b708c2886 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 8 Sep 2021 20:02:20 +0900
Subject: acl2: Rename from python-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 9b7c6e4..fb1ac61 100644
--- a/tojo-tokyo/packages/acl2.scm
+++ b/tojo-tokyo/packages/acl2.scm
@@ -165,9 +165,9 @@
        ("python-tornado" ,python-tornado-6)
        ("python-traitlets" ,python-traitlets)))))
 
-(define-public python-acl2-kernel
+(define-public jupyter-acl2-kernel
   (package
-   (name "python-acl2-kernel")
+   (name "jupyter-acl2-kernel")
    (version "0.2.8")
    (source
     (origin
-- 
cgit v1.2.3