[ Източник: why3 ]
Пакет: why3-coq (1.3.3-1 и други)
Връзки за why3-coq
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник why3.
Отговорници:
Външни препратки:
- Начална страница [why3.lri.fr]
Подобни пакети:
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.
Други пакети, свързани с why3-coq
|
|
|
|
-
- dep: coq-8.12.0+4.11.1
- виртуален пакет, предлаган от coq
-
- dep: tex-common (>= 6.13)
- common infrastructure for building and installing TeX
-
- rec: why3
- Software verification platform
Изтегляне на why3-coq
| Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|---|
| amd64 | 1.3.3-1+b4 | 739,4 кБ | 3 830,0 кБ | [списък на файловете] |
| arm64 | 1.3.3-1+b4 | 739,6 кБ | 3 830,0 кБ | [списък на файловете] |
| armel | 1.3.3-1+b4 | 739,0 кБ | 3 827,0 кБ | [списък на файловете] |
| armhf | 1.3.3-1+b4 | 739,1 кБ | 3 827,0 кБ | [списък на файловете] |
| i386 | 1.3.3-1+b4 | 739,2 кБ | 3 827,0 кБ | [списък на файловете] |
| mipsel | 1.3.3-1+b4 | 739,1 кБ | 3 827,0 кБ | [списък на файловете] |
| ppc64el | 1.3.3-1+b4 | 739,3 кБ | 3 830,0 кБ | [списък на файловете] |