aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-15 13:54:38 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-15 13:54:38 +0900
commite223f34bfe63aeaed86c130c5582d3d986c65189 (patch)
tree19341bffc9ae806ef2ab9a240a74e146c310b6f0 /tojo-tokyo
parentcc8550670e11d7c1d082f0be183edcf05aee3e8c (diff)
python-acl2-kernel: Rename from jupyter-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 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