all options
stretch  ] [  sid  ]
[ Source: aac-tactics  ]

Package: libaac-tactics-ocaml (8.11.0-1 and others)

Links for libaac-tactics-ocaml


Debian Resources:

Download Source Package aac-tactics:


External Resources:

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

  • depends
  • recommends
  • suggests
  • enhances

Download libaac-tactics-ocaml

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 8.8.0+1.gbp069dc3b-1+b2 27.0 kB135.0 kB [list of files]
amd64 8.11.0-1+b1 106.7 kB486.0 kB [list of files]
arm64 8.11.0-1+b1 116.8 kB559.0 kB [list of files]
hppa (unofficial port) 8.9.0-1+b1 26.7 kB130.0 kB [list of files]
ia64 (unofficial port) 8.9.0-1+b1 26.7 kB130.0 kB [list of files]
ppc64 (unofficial port) 8.11.0-1+b2 111.5 kB586.0 kB [list of files]
ppc64el 8.11.0-1+b1 110.6 kB586.0 kB [list of files]
riscv64 (unofficial port) 8.9.0-1+b1 26.7 kB130.0 kB [list of files]
sh4 (unofficial port) 8.11.0-1+b2 25.3 kB115.0 kB [list of files]
sparc64 (unofficial port) 8.8.0+1.gbp069dc3b-1+b2 26.7 kB131.0 kB [list of files]
x32 (unofficial port) 8.9.0-1+b1 26.7 kB130.0 kB [list of files]