[ sid ]
Package: libaac-tactics-ocaml (8.11.0-1 and others) [debports]
Links for libaac-tactics-ocaml
Debian Resources:
Download Source Package :
Not foundMaintainers:
External Resources:
- Homepage [github.com]
Similar packages:
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.
Other Packages Related to libaac-tactics-ocaml
|
|
|
|
-
- dep: libcoq-ocaml-mdvi3 [sparc64]
- Package not available
-
- dep: libcoq-ocaml-p2447 [sh4]
- Package not available
-
- dep: libcoq-ocaml-si6h6 [hppa, ia64, x32]
- Package not available
-
- dep: libcoq-ocaml-tvkp6 [alpha]
- Package not available
-
- dep: ocaml-base-nox-4.05.0 [alpha]
- Package not available
-
- dep: ocaml-base-nox-4.08.1 [not alpha]
- Package not available
-
- rec: libaac-tactics-coq
- Package not available
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
Download libaac-tactics-ocaml
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 8.8.0+1.gbp069dc3b-1+b2 | 27.0 kB | 135.0 kB | [list of files] |
| hppa (unofficial port) | 8.9.0-1+b1 | 26.7 kB | 130.0 kB | [list of files] |
| ia64 (unofficial port) | 8.9.0-1+b1 | 26.7 kB | 130.0 kB | [list of files] |
| sh4 (unofficial port) | 8.11.0-1+b2 | 25.3 kB | 115.0 kB | [list of files] |
| sparc64 (unofficial port) | 8.8.0+1.gbp069dc3b-1+b2 | 26.7 kB | 131.0 kB | [list of files] |
| x32 (unofficial port) | 8.9.0-1+b1 | 26.7 kB | 130.0 kB | [list of files] |