(define-module (tojo-tokyo packages acl2-kernel)
  #:use-module (guix packages)
  #:use-module (guix download)
  #:use-module (gnu packages python)
  #:use-module (gnu packages python-xyz)
  #:use-module (gnu packages python-web)
  #:use-module (gnu packages python-crypto)
  #:use-module (gnu packages monitoring)
  #:use-module (guix build-system python)
  #:use-module ((guix licenses) #:prefix license:))

(define-public python-regex-for-acl2-kernel
  (package
   (inherit python-regex)
   (name "python-regex")
   (version "2021.4.4")
   (source (origin
            (method url-fetch)
            (uri (pypi-uri "regex" version))
            (sha256
             (base32
              "1yws1kqvw4krmdi519iry5jl1i2ihnr5n45wwkbljb4lkczkvfjj"))))))

(define-public python-ipython-for-acl2-kernel
  (package
    (inherit python-ipython)
    (name "python-ipython")
    (version "7.15.0")
    (source (origin
              (method url-fetch)
              (uri (pypi-uri "ipython" version))
              (sha256
               (base32
                "03hxazxq75z2ljsxmj6ffp534iy6hbff26mfsc69csl1g4w47w8f"))))))

(define-public python-ipykernel-for-acl2-kernel
  (package
    (inherit python-ipykernel)
    (propagated-inputs
     `(("python-ipython" ,python-ipython-for-acl2-kernel)
       ("python-tornado" ,python-tornado-6)
       ("python-traitlets" ,python-traitlets)
       ;; imported at runtime during connect
       ("python-jupyter-client" ,python-jupyter-client)))))

(define-public python-notebook-for-acl2-kernel
  (package
    (inherit python-notebook)
    (propagated-inputs
     `(("python-argon2-cffi" ,python-argon2-cffi)
       ("python-ipykernel" ,python-ipykernel-for-acl2-kernel)
       ("python-ipython-genutils" ,python-ipython-genutils)
       ("python-jinja2" ,python-jinja2)
       ("python-jupyter-client" ,python-jupyter-client)
       ("python-jupyter-core" ,python-jupyter-core)
       ("python-nbconvert" ,python-nbconvert)
       ("python-nbformat" ,python-nbformat)
       ("python-prometheus-client" ,python-prometheus-client)
       ("python-pyzmq" ,python-pyzmq)
       ("python-send2trash" ,python-send2trash)
       ("python-terminado" ,python-terminado)
       ("python-tornado" ,python-tornado-6)
       ("python-traitlets" ,python-traitlets)))))

(define-public python-acl2-kernel
  (package
   (name "python-acl2-kernel")
   (version "0.2.8")
   (source
    (origin
     (method url-fetch)
     (uri (pypi-uri "acl2-kernel" version))
     (sha256
      (base32
       "1g7j84w19kf3lfy8r4zbs3l3qr60ij5m4vfinbhf1crgm4whqarl"))))
   (build-system python-build-system)
   (arguments
    `(#:tests? #f))
   (propagated-inputs
    `(("python-ipykernel" ,python-ipykernel-for-acl2-kernel)
      ("python-ipython" ,python-ipython-for-acl2-kernel)
      ("python-jupyter-client" ,python-jupyter-client)
      ("python-pexpect" ,python-pexpect)
      ("python-regex" ,python-regex-for-acl2-kernel)
      ("python-notebook" ,python-notebook-for-acl2-kernel)))
   (home-page "https://github.com/tani/acl2-kernel")
   (synopsis "Jupyter Kernel for ACL2")
   (description "Jupyter Kernel for ACL2")
   (license license:bsd-3)))