[ Pakiet źródłowy: why3 ]
Pakiet: why3-coq (1.3.3-1 i inne)
Odnośniki dla why3-coq
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego why3:
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [why3.lri.fr]
Podobne pakiety:
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.
Inne pakiety związane z why3-coq
|
|
|
|
-
- dep: coq-8.12.0+4.11.1
- pakiet wirtualny udostępniany przez coq
-
- dep: tex-common (>= 6.13)
- Wspólna infrastruktura do budowy i instalacji systemu TeX
-
- rec: why3
- Software verification platform
Pobieranie why3-coq
| Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| amd64 | 1.3.3-1+b4 | 739,4 KiB | 3 830,0 KiB | [lista plików] |
| arm64 | 1.3.3-1+b4 | 739,6 KiB | 3 830,0 KiB | [lista plików] |
| armel | 1.3.3-1+b4 | 739,0 KiB | 3 827,0 KiB | [lista plików] |
| armhf | 1.3.3-1+b4 | 739,1 KiB | 3 827,0 KiB | [lista plików] |
| i386 | 1.3.3-1+b4 | 739,2 KiB | 3 827,0 KiB | [lista plików] |
| mipsel | 1.3.3-1+b4 | 739,1 KiB | 3 827,0 KiB | [lista plików] |
| ppc64el | 1.3.3-1+b4 | 739,3 KiB | 3 830,0 KiB | [lista plików] |