conda-forge.org "python-pa" keyword
coq-jupyter 1.6.0
Jupyter kernel for Coq5 versions - Latest release: about 4 years ago - 160 thousand downloads total - 95 stars on GitHub
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.