Package Details: python-coq-jupyter 1.6.0-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
Submitter: dringsim
Maintainer: dringsim
Last Packager: dringsim
Votes: 0
Popularity: 0.000000
First Submitted: 2023-08-26 07:35 (UTC)
Last Updated: 2023-09-10 03:13 (UTC)

Latest Comments

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!