aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tojo-tokyo/packages/acl2.scm4
1 files 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