[ Bron: aac-tactics ]
Pakket: libcoq-aac-tactics (8.20.0-1 en anderen)
Verwijzigingen voor libcoq-aac-tactics
Debian bronnen:
Het bronpakket aac-tactics downloaden:
Beheerders:
- Debian OCaml Maintainers (QA-pagina, Mailarchief)
- Stéphane Glondu (QA-pagina)
- Julien Puydt (QA-pagina)
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
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.
Andere aan libcoq-aac-tactics gerelateerde pakketten
|
|
|
|
-
- dep: libcoq-core-ocaml-29kh7 [amd64]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cm0q5 [s390x]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-d2hd1 [loong64]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-n64h2 [ppc64el]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rho03 [riscv64]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ub9d2 [arm64]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-yi844 [ppc64]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-stdlib-1ns11 [arm64]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-68yx1 [amd64]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-8jeh0 [s390x]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-mz9g4 [loong64]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-q0rh7 [ppc64el]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-twvz5 [ppc64]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-wthf1 [riscv64]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libstdlib-ocaml-2d5j3 [s390x]
- virtueel pakket geboden door libstdlib-ocaml
-
- dep: libstdlib-ocaml-gats1 [ppc64]
- Pakket niet beschikbaar
-
- dep: libstdlib-ocaml-m4xw9 [niet loong64, ppc64, s390x]
- virtueel pakket geboden door libstdlib-ocaml
-
- dep: libstdlib-ocaml-vyp69 [loong64]
- Pakket niet beschikbaar
-
- dep: libzarith-ocaml-2ofb9 [s390x]
- virtueel pakket geboden door libzarith-ocaml
-
- dep: libzarith-ocaml-avzf2 [ppc64]
- Pakket niet beschikbaar
-
- dep: libzarith-ocaml-h79v1 [niet loong64, ppc64, s390x]
- virtueel pakket geboden door libzarith-ocaml
-
- dep: libzarith-ocaml-zlfv4 [loong64]
- Pakket niet beschikbaar
libcoq-aac-tactics downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| amd64 | 8.20.0-1+b4 | 385,3 kB | 2.885,0 kB | [overzicht] |
| arm64 | 8.20.0-1+b4 | 391,2 kB | 3.101,0 kB | [overzicht] |
| loong64 (unofficial port) | 8.19.1-2 | 395,7 kB | 3.084,0 kB | [overzicht] |
| ppc64 (unofficial port) | 8.19.1-2 | 393,2 kB | 3.244,0 kB | [overzicht] |
| ppc64el | 8.20.0-1+b4 | 385,4 kB | 2.973,0 kB | [overzicht] |
| riscv64 | 8.20.0-1+b4 | 388,2 kB | 2.933,0 kB | [overzicht] |
| s390x | 8.20.0-1+b4 | 386,3 kB | 3.005,0 kB | [overzicht] |