| Paketname | libaac-tactics-ocaml |
| Beschreibung | Coq tactics for reasoning modulo AC (plugin) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 0.2.pl2-7 |
| Sektion | ocaml |
| Priorität | optional |
| Installierte Größe | 470 Byte |
| Hängt ab von | libcoq-ocaml-9fp12, ocaml-base-nox-3.12.1, libc6 (>= 2.1.3) |
| Empfohlene Pakete | libaac-tactics-coq |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | aac-tactics |
| Paketgröße | 127260 Byte |
| Prüfsumme MD5 | 200b7ed1240cbaad8753aa9bdc0c9631 |
| Prüfsumme SHA1 | 8e3bee0ec42928b76b479bad04c9f6300b9599fe |
| Prüfsumme SHA256 | 1df1302f0c92755d92c2884518efbcc588b96dc228f3403a42aac8fe5fe4cae1 |
| Link zum Herunterladen | libaac-tactics-ocaml_0.2.pl2-7_i386.deb |
| Ausführliche Beschreibung | |