packages [ stonking ]
[ Source: coq ]
Package: libcoq-core (9.2.0+dfsg-4build2) [universe]
Links for libcoq-core
Ubuntu Resources:
Download Source Package coq:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Julien Puydt
- Ralf Treinen
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [coq.inria.fr]
Similar packages:
proof assistant for higher-order logic (theories)
Other Packages Related to libcoq-core
|
|
|
|
-
- rec: coq
- proof assistant for higher-order logic (toplevel and compiler)
Download libcoq-core
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 1,293.3 kB | 5,685.0 kB | [list of files] |
| arm64 | 1,293.4 kB | 5,685.0 kB | [list of files] |
| armhf | 1,293.1 kB | 5,679.0 kB | [list of files] |
| ppc64el | 1,293.2 kB | 5,685.0 kB | [list of files] |
| riscv64 | 1,293.4 kB | 5,685.0 kB | [list of files] |
| s390x | 1,293.2 kB | 5,685.0 kB | [list of files] |