[ Zdroj: aac-tactics ]
Balík: libcoq-aac-tactics (8.18.0-1)
Odkazy pre libcoq-aac-tactics
Zdroje Debian:
Stiahnuť zdrojový balík aac-tactics:
Správcovia:
- Debian OCaml Maintainers (Stránka QA, Konferencia)
- Stéphane Glondu (Stránka QA)
- Julien Puydt (Stránka QA)
Externé zdroje:
- Domovská stránka [github.com]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom libcoq-aac-tactics
|
|
|
|
-
- dep: libcoq-core-ocaml-fg9y1 [amd64]
- virtuálny balík poskytovaný balíkom libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-jwuq2 [i386]
- virtuálny balík poskytovaný balíkom libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-lsl44 [s390x]
- virtuálny balík poskytovaný balíkom libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ru4g2 [armhf]
- virtuálny balík poskytovaný balíkom libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-t2nr4 [arm64]
- virtuálny balík poskytovaný balíkom libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-zchk9 [ppc64el]
- virtuálny balík poskytovaný balíkom libcoq-core-ocaml
-
- dep: libcoq-stdlib-4ny94 [armhf]
- virtuálny balík poskytovaný balíkom libcoq-stdlib
-
- dep: libcoq-stdlib-6gs52 [amd64]
- virtuálny balík poskytovaný balíkom libcoq-stdlib
-
- dep: libcoq-stdlib-77cs8 [arm64]
- virtuálny balík poskytovaný balíkom libcoq-stdlib
-
- dep: libcoq-stdlib-b6j36 [ppc64el]
- virtuálny balík poskytovaný balíkom libcoq-stdlib
-
- dep: libcoq-stdlib-onxh8 [i386]
- virtuálny balík poskytovaný balíkom libcoq-stdlib
-
- dep: libcoq-stdlib-xmpq7 [s390x]
- virtuálny balík poskytovaný balíkom libcoq-stdlib
-
- dep: libstdlib-ocaml-058x2 [ppc64el]
- virtuálny balík poskytovaný balíkom libstdlib-ocaml
-
- dep: libstdlib-ocaml-dkl58 [i386]
- virtuálny balík poskytovaný balíkom libstdlib-ocaml
-
- dep: libstdlib-ocaml-ep7y0 [amd64]
- virtuálny balík poskytovaný balíkom libstdlib-ocaml
-
- dep: libstdlib-ocaml-fyga0 [arm64]
- virtuálny balík poskytovaný balíkom libstdlib-ocaml
-
- dep: libstdlib-ocaml-rayz1 [armhf]
- virtuálny balík poskytovaný balíkom libstdlib-ocaml
-
- dep: libstdlib-ocaml-vneg5 [s390x]
- virtuálny balík poskytovaný balíkom libstdlib-ocaml
-
- dep: libzarith-ocaml-avzf2 [s390x]
- virtuálny balík poskytovaný balíkom libzarith-ocaml
-
- dep: libzarith-ocaml-wx6x8 [armhf, i386]
- virtuálny balík poskytovaný balíkom libzarith-ocaml
-
- dep: libzarith-ocaml-zlfv4 [amd64, arm64, ppc64el]
- virtuálny balík poskytovaný balíkom libzarith-ocaml
Stiahnuť libcoq-aac-tactics
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| amd64 | 375.0 kB | 2,928.0 kB | [zoznam súborov] |
| arm64 | 382.8 kB | 3,048.0 kB | [zoznam súborov] |
| armhf | 373.0 kB | 2,712.0 kB | [zoznam súborov] |
| i386 | 366.8 kB | 2,808.0 kB | [zoznam súborov] |
| ppc64el | 377.0 kB | 3,048.0 kB | [zoznam súborov] |
| s390x | 376.0 kB | 3,000.0 kB | [zoznam súborov] |