[ Source: aac-tactics ]
Пакунок: libcoq-aac-tactics (8.20.0-1 and others)
Links for libcoq-aac-tactics
Debian Resources:
Download Source Package aac-tactics:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
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-29kh7 [amd64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cm0q5 [s390x]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-d2hd1 [loong64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-n64h2 [ppc64el]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rho03 [riscv64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ub9d2 [arm64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-yi844 [ppc64]
- virtual package provided by libcoq-core-ocaml
-
- dep: libcoq-stdlib-1ns11 [arm64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-68yx1 [amd64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-8jeh0 [s390x]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-mz9g4 [loong64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-q0rh7 [ppc64el]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-twvz5 [ppc64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-wthf1 [riscv64]
- virtual package provided by libcoq-stdlib
-
- dep: libstdlib-ocaml-2d5j3 [s390x]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-gats1 [ppc64]
- Пакунок недоступний
-
- dep: libstdlib-ocaml-m4xw9 [not loong64, ppc64, s390x]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-vyp69 [loong64]
- Пакунок недоступний
-
- dep: libzarith-ocaml-2ofb9 [s390x]
- virtual package provided by libzarith-ocaml
-
- dep: libzarith-ocaml-avzf2 [ppc64]
- Пакунок недоступний
-
- dep: libzarith-ocaml-h79v1 [not loong64, ppc64, s390x]
- virtual package provided by libzarith-ocaml
-
- dep: libzarith-ocaml-zlfv4 [loong64]
- Пакунок недоступний
Завантажити libcoq-aac-tactics
| Архітектура | Версія | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|---|
| amd64 | 8.20.0-1+b4 | 385.3 kB | 2,885.0 kB | [список файлів] |
| arm64 | 8.20.0-1+b4 | 391.2 kB | 3,101.0 kB | [список файлів] |
| loong64 (unofficial port) | 8.19.1-2 | 395.7 kB | 3,084.0 kB | [список файлів] |
| ppc64 (unofficial port) | 8.19.1-2 | 393.2 kB | 3,244.0 kB | [список файлів] |
| ppc64el | 8.20.0-1+b4 | 385.4 kB | 2,973.0 kB | [список файлів] |
| riscv64 | 8.20.0-1+b4 | 388.2 kB | 2,933.0 kB | [список файлів] |
| s390x | 8.20.0-1+b4 | 386.3 kB | 3,005.0 kB | [список файлів] |