[ sid ]
Pakket: libaac-tactics-ocaml (8.11.0-1 en anderen) [debports]
Verwijzigingen voor libaac-tactics-ocaml
Debian bronnen:
Het bronpakket downloaden:
Niet gevondenBeheerders:
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
Coq tactics for reasoning modulo AC (plugin)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the plugin itself.
Andere aan libaac-tactics-ocaml gerelateerde pakketten
|
|
|
|
-
- dep: libcoq-ocaml-mdvi3 [sparc64]
- Pakket niet beschikbaar
-
- dep: libcoq-ocaml-p2447 [sh4]
- Pakket niet beschikbaar
-
- dep: libcoq-ocaml-si6h6 [hppa, ia64, x32]
- Pakket niet beschikbaar
-
- dep: libcoq-ocaml-tvkp6 [alpha]
- Pakket niet beschikbaar
-
- dep: ocaml-base-nox-4.05.0 [alpha]
- Pakket niet beschikbaar
-
- dep: ocaml-base-nox-4.08.1 [niet alpha]
- Pakket niet beschikbaar
-
- rec: libaac-tactics-coq
- Pakket niet beschikbaar
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
libaac-tactics-ocaml downloaden
Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
---|---|---|---|---|
alpha (unofficial port) | 8.8.0+1.gbp069dc3b-1+b2 | 27,0 kB | 135,0 kB | [overzicht] |
hppa (unofficial port) | 8.9.0-1+b1 | 26,7 kB | 130,0 kB | [overzicht] |
ia64 (unofficial port) | 8.9.0-1+b1 | 26,7 kB | 130,0 kB | [overzicht] |
sh4 (unofficial port) | 8.11.0-1+b2 | 25,3 kB | 115,0 kB | [overzicht] |
sparc64 (unofficial port) | 8.8.0+1.gbp069dc3b-1+b2 | 26,7 kB | 131,0 kB | [overzicht] |
x32 (unofficial port) | 8.9.0-1+b1 | 26,7 kB | 130,0 kB | [overzicht] |