Package Details: python-coq-jupyter 1.6.2-2

Git Clone URL: https://aur.archlinux.org/python-coq-jupyter.git (read-only, click to copy)
Package Base: python-coq-jupyter
Description: Coq kernel for Jupyter
Upstream URL: https://github.com/EugeneLoy/coq_jupyter
Licenses: Apache-2.0
Submitter: dringsim
Maintainer: dringsim
Last Packager: dringsim
Votes: 0
Popularity: 0.000000
First Submitted: 2023-08-26 07:35 (UTC)
Last Updated: 2025-03-18 16:10 (UTC)

Latest Comments

micwoj92 commented on 2025-10-30 20:42 (UTC)

Doesn't work:

Traceback (most recent call last):
  File "<python-input-0>", line 1, in <module>
    import coq_jupyter
  File "/usr/lib/python3.13/site-packages/coq_jupyter/__init__.py", line 3, in <module>
    from .kernel import __version__
  File "/usr/lib/python3.13/site-packages/coq_jupyter/kernel.py", line 9, in <module>
    from ipykernel.kernelbase import Kernel
ModuleNotFoundError: No module named 'ipykernel'

dringsim commented on 2025-03-18 16:10 (UTC)

still depends on python-future

dringsim commented on 2025-03-15 13:26 (UTC)

@dreieck done.

dreieck commented on 2025-01-11 16:02 (UTC)

If possible, please remove the dependency on python-furure/ make the package working without python-future:

WARNING: python-future package is not compatible with Python 3.13

The python-future project was created in 2013 to attempt to save Python from the schism of version incompatibility that was threatening to tear apart the language (as Perl 6 contributed to the death of Perl).

That time is now past. Thanks to a huge porting effort across the Python community, Python 3 eventually thrived. Python 2 reached its end of life in 2020 and the python-future package should no longer be necessary. Use it to help with porting legacy code to Python 3 but don’t depend on it for new code.

If you use packages that depend on it, please contact maintainers and/or upstream of these packages and try to work out whether this dependency is really needed.

Regards and thanks for this package!