[ Bron: why3 ]
Pakket: why3-coq (1.3.3-1 en anderen)
Verwijzigingen voor why3-coq
Debian bronnen:
Het bronpakket why3 downloaden:
Beheerders:
Externe bronnen:
- Homepage [why3.lri.fr]
Vergelijkbare pakketten:
Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.
Andere aan why3-coq gerelateerde pakketten
|
|
|
|
-
- dep: coq-8.12.0+4.11.1
- virtueel pakket geboden door coq
-
- dep: tex-common (>= 6.13)
- common infrastructure for building and installing TeX
-
- rec: why3
- Software verification platform
why3-coq downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| amd64 | 1.3.3-1+b4 | 739,4 kB | 3.830,0 kB | [overzicht] |
| arm64 | 1.3.3-1+b4 | 739,6 kB | 3.830,0 kB | [overzicht] |
| armel | 1.3.3-1+b4 | 739,0 kB | 3.827,0 kB | [overzicht] |
| armhf | 1.3.3-1+b4 | 739,1 kB | 3.827,0 kB | [overzicht] |
| i386 | 1.3.3-1+b4 | 739,2 kB | 3.827,0 kB | [overzicht] |
| mipsel | 1.3.3-1+b4 | 739,1 kB | 3.827,0 kB | [overzicht] |
| ppc64el | 1.3.3-1+b4 | 739,3 kB | 3.830,0 kB | [overzicht] |