Search Criteria
Package Details: python-coq-jupyter 1.6.0-2
Package Actions
| 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) |