alle opties
sid  ]
[ Bron:  ]

Pakket: libaac-tactics-ocaml (8.11.0-1 en anderen) [debports]

Verwijzigingen voor libaac-tactics-ocaml

Screenshot

Debian bronnen:

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Externe bronnen:

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

  • depends
  • recommends
  • suggests
  • enhances

libaac-tactics-ocaml downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 8.8.0+1.gbp069dc3b-1+b2 27,0 kB135,0 kB [overzicht]
hppa (unofficial port) 8.9.0-1+b1 26,7 kB130,0 kB [overzicht]
ia64 (unofficial port) 8.9.0-1+b1 26,7 kB130,0 kB [overzicht]
sh4 (unofficial port) 8.11.0-1+b2 25,3 kB115,0 kB [overzicht]
sparc64 (unofficial port) 8.8.0+1.gbp069dc3b-1+b2 26,7 kB131,0 kB [overzicht]
x32 (unofficial port) 8.9.0-1+b1 26,7 kB130,0 kB [overzicht]