diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 13:54:38 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 13:54:38 +0900 |
| commit | e223f34bfe63aeaed86c130c5582d3d986c65189 (patch) | |
| tree | 19341bffc9ae806ef2ab9a240a74e146c310b6f0 | |
| parent | cc8550670e11d7c1d082f0be183edcf05aee3e8c (diff) | |
python-acl2-kernel: Rename from jupyter-acl2-kernel to python-acl2-kernel.
| -rw-r--r-- | tojo-tokyo/packages/acl2.scm | 4 |
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 |