| Paketname | libaac-tactics-ocaml |
| Beschreibung | Coq tactics for reasoning modulo AC (plugin) |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 0.2.pl2-4build1 |
| Sektion | universe/ocaml |
| Priorität | optional |
| Installierte Größe | 465 Byte |
| Hängt ab von | libcoq-ocaml-ib824, ocaml-base-nox-3.12.1, libc6 (>= 2.1.3) |
| Empfohlene Pakete | libaac-tactics-coq |
| Paketbetreuer | Ubuntu Developers |
| Quelle | aac-tactics |
| Paketgröße | 124452 Byte |
| Prüfsumme MD5 | 95a350ec44af462f00ca86548d89d5a9 |
| Prüfsumme SHA1 | 7581f96f60ab469d1e5b6643b45535f7a93cec38 |
| Prüfsumme SHA256 | 66a873cc47b8c704232cbbf7c035090ce79761dd2f0e15725a5e803e0d3faf3d |
| Link zum Herunterladen | libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb |
| Ausführliche Beschreibung | |