| Paketname | libaac-tactics-coq |
| Beschreibung | Coq tactics for reasoning modulo AC (theories) |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 0.2.pl2-4build1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 2444 Byte |
| Hängt ab von | libaac-tactics-ocaml (>= 0.2.pl2-4build1), coq-8.3pl3+3.12.1 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | aac-tactics |
| Paketgröße | 315944 Byte |
| Prüfsumme MD5 | 8599b8c5ae100b5f209fbbe248b9f7d9 |
| Prüfsumme SHA1 | 173dce03e488a3765f3af519b1f8288f16fefdab |
| Prüfsumme SHA256 | a480abd302f96e407659d94a54c33aecd6508715c44356858b2e6949afea8237 |
| Link zum Herunterladen | libaac-tactics-coq_0.2.pl2-4build1_all.deb |
| Ausführliche Beschreibung | |