remove jupyter package

c-cube · Dec 31, 2023 · 392490f · 392490f
1 parent d282024
commit 392490f
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 141 deletions.
diff --git a/dune-project b/dune-project
@@ -42,19 +42,6 @@
     pp_loc
     (odoc :with-doc)))
 
-(package
-  (name trustee-script-jupyter)
-  (synopsis "Jupyter kernel for trustee-script")
-  (license MIT)
-  (depends
-    (containers (and (>= 3.6) (< 4.0)))
-    (trustee (= :version))
-    (trustee-script (= :version))
-    ppx_deriving
-    jupyter-kernel
-    tiny_httpd
-    (odoc :with-doc)))
-
 (package
   (name trustee-opentheory)
   (synopsis "Opentheory parser and checker using Trustee")

diff --git a/src/script-jupyter/dune b/src/script-jupyter/dune
diff --git a/src/script-jupyter/trustee_script_jupyter.ml b/src/script-jupyter/trustee_script_jupyter.ml
diff --git a/trustee-script-jupyter.opam b/trustee-script-jupyter.opam