[ Bron: rocq-stdlib ]
Pakket: libcoq-stdlib (9.0.0-3 en anderen)
Verwijzigingen voor libcoq-stdlib
Debian bronnen:
Het bronpakket rocq-stdlib downloaden:
Beheerders:
Externe bronnen:
- Homepage [rocq-prover.org]
Vergelijkbare pakketten:
Experimenteel pakket
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
Standard library for the Rocq Theorem Prover
Andere aan libcoq-stdlib gerelateerde pakketten
|
|
|
|
-
- rec: coq
- proof assistant for higher-order logic (toplevel and compiler)
libcoq-stdlib downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| amd64 | 9.0.0-3+b2 | 19.075,0 kB | 76.581,0 kB | [overzicht] |
| arm64 | 9.0.0-3+b1 | 19.074,3 kB | 76.581,0 kB | [overzicht] |
| armhf | 9.0.0-3+b1 | 19.073,4 kB | 76.552,0 kB | [overzicht] |
| i386 | 9.0.0-3+b1 | 19.069,9 kB | 76.552,0 kB | [overzicht] |
| ppc64el | 9.0.0-3+b1 | 19.085,4 kB | 76.581,0 kB | [overzicht] |
| riscv64 | 9.0.0-3+b3 | 19.071,8 kB | 76.581,0 kB | [overzicht] |
| s390x | 9.0.0-3+b1 | 19.071,1 kB | 76.581,0 kB | [overzicht] |
| sparc64 (unofficial port) | 9.0.0-3+b1 | 19.071,1 kB | 76.592,0 kB | [overzicht] |