packages [ stonking ]
[ tenacious ]
[ Source: coq ]
Paketti: libcoq-core (9.2.0+dfsg-4build2) [universe]
Tietoa
published in section universe
Ubuntu-palvelut:
Source Package coq:
Ylläpitäjä:
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:
- Kotisivu [coq.inria.fr]
Samankaltaisia paketteja:
proof assistant for higher-order logic (theories)
Muut pakettiin libcoq-core liittyvät paketit
|
|
|
|
-
- rec: coq
- proof assistant for higher-order logic (toplevel and compiler)
Imuroi libcoq-core
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| amd64 | 1,293.3 kt | 5,685.0 kt | [tiedostoluettelo] |
| arm64 | 1,293.4 kt | 5,685.0 kt | [tiedostoluettelo] |
| armhf | 1,293.1 kt | 5,679.0 kt | [tiedostoluettelo] |
| ppc64el | 1,293.2 kt | 5,685.0 kt | [tiedostoluettelo] |
| riscv64 | 1,293.4 kt | 5,685.0 kt | [tiedostoluettelo] |
| s390x | 1,293.2 kt | 5,685.0 kt | [tiedostoluettelo] |