[ Источник: aac-tactics ]
Пакет: libcoq-aac-tactics (8.19.1-2 и другие)
Ссылки для libcoq-aac-tactics
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код aac-tactics:
Сопровождающие:
- Debian OCaml Maintainers (Страница КК, Почтовый архив)
- Stéphane Glondu (Страница КК)
- Julien Puydt (Страница КК)
Внешние ресурсы:
- Сайт [github.com]
Подобные пакеты:
Coq tactics for reasoning modulo AC (theories)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the Coq support library.
Другие пакеты, относящиеся к libcoq-aac-tactics
|
|
|
|
-
- dep: libcoq-core-ocaml-2h7p6 [amd64]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-54qp0 [ppc64el]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-71n69 [s390x]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-erpn3 [arm64]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-sub10 [riscv64]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-stdlib-cw0z4 [arm64]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-f88b8 [ppc64el]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-orhs4 [amd64]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-qzv05 [s390x]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libcoq-stdlib-wfue2 [riscv64]
- виртуальный пакет, предоставляемый libcoq-stdlib
-
- dep: libstdlib-ocaml-0d647 [arm64]
- виртуальный пакет, предоставляемый libstdlib-ocaml
-
- dep: libstdlib-ocaml-2a614 [ppc64el]
- виртуальный пакет, предоставляемый libstdlib-ocaml
-
- dep: libstdlib-ocaml-7l663 [amd64]
- виртуальный пакет, предоставляемый libstdlib-ocaml
-
- dep: libstdlib-ocaml-r1af2 [s390x]
- виртуальный пакет, предоставляемый libstdlib-ocaml
-
- dep: libstdlib-ocaml-vvst5 [riscv64]
- виртуальный пакет, предоставляемый libstdlib-ocaml
-
- dep: libzarith-ocaml-lfk68 [s390x]
- виртуальный пакет, предоставляемый libzarith-ocaml
-
- dep: libzarith-ocaml-mtsj7 [не s390x]
- виртуальный пакет, предоставляемый libzarith-ocaml
Загрузка libcoq-aac-tactics
Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
---|---|---|---|---|
amd64 | 8.19.1-2+b2 | 393,5 Кб | 3 024,0 Кб | [список файлов] |
arm64 | 8.19.1-2+b2 | 399,9 Кб | 3 224,0 Кб | [список файлов] |
ppc64el | 8.19.1-2+b3 | 394,6 Кб | 3 224,0 Кб | [список файлов] |
riscv64 | 8.19.1-2+b2 | 397,1 Кб | 3 072,0 Кб | [список файлов] |
s390x | 8.19.1-2+b3 | 395,2 Кб | 3 144,0 Кб | [список файлов] |