[ Bron: coq ]
Pakket: libcoq-stdlib (8.17.0+dfsg-1build1) [universe]
Verwijzigingen voor libcoq-stdlib
Ubuntu bronnen:
Het bronpakket coq downloaden:
Beheerder:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mailarchief)
- Benjamin Barenblat
- Julien Puydt
- Ralf Treinen
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
Externe bronnen:
- Homepage [coq.inria.fr]
Vergelijkbare pakketten:
proof assistant for higher-order logic (theories)
Andere aan libcoq-stdlib gerelateerde pakketten
|
|
|
|
-
- rec: coq (>= 8.0)
- proof assistant for higher-order logic (toplevel and compiler)
libcoq-stdlib downloaden
Platform | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
---|---|---|---|
amd64 | 27.772,0 kB | 172.772,0 kB | [overzicht] |
arm64 | 27.773,8 kB | 172.772,0 kB | [overzicht] |
armhf | 27.773,4 kB | 172.732,0 kB | [overzicht] |
ppc64el | 27.781,4 kB | 172.773,0 kB | [overzicht] |
riscv64 | 27.781,1 kB | 172.775,0 kB | [overzicht] |
s390x | 27.781,0 kB | 172.773,0 kB | [overzicht] |