diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-08 20:02:20 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-08 20:02:20 +0900 |
| commit | aa26919676e5eccfdbece1ce01beda9b708c2886 (patch) | |
| tree | 26709d1382b088cd57622132a460d3cfa4c2c2ce /tojo-tokyo | |
| parent | 74a2ab5bb4db57791389bd793b3283acc0d3981e (diff) | |
acl2: Rename from python-acl2-kernel to python-acl2-kernel.
Diffstat (limited to 'tojo-tokyo')
| -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 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 |