| Paketname | libaac-tactics-ocaml |
| Beschreibung | Coq tactics for reasoning modulo AC (plugin) |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 0.2.pl2-7 |
| Sektion | universe/ocaml |
| Priorität | optional |
| Installierte Größe | 466 Byte |
| Hängt ab von | libcoq-ocaml-9fp12, ocaml-base-nox-3.12.1, libc6 (>= 2.1.3) |
| Empfohlene Pakete | libaac-tactics-coq |
| Paketbetreuer | Ubuntu Developers |
| Quelle | aac-tactics |
| Paketgröße | 124570 Byte |
| Prüfsumme MD5 | 60b95a42bc2133912e515fd85e61300b |
| Prüfsumme SHA1 | 9f6b86ad46f22065df949bd356d7251706312298 |
| Prüfsumme SHA256 | 27183f2f7c36d5740db46751bafc9f2a0571e8b377dd78563d35f84bc9e35fdd |
| Link zum Herunterladen | libaac-tactics-ocaml_0.2.pl2-7_i386.deb |
| Ausführliche Beschreibung | |