aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-08 20:02:20 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-08 20:02:20 +0900
commitaa26919676e5eccfdbece1ce01beda9b708c2886 (patch)
tree26709d1382b088cd57622132a460d3cfa4c2c2ce /tojo-tokyo
parent74a2ab5bb4db57791389bd793b3283acc0d3981e (diff)
acl2: Rename from python-acl2-kernel to python-acl2-kernel.
Diffstat (limited to 'tojo-tokyo')
-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