| Paketname | libaac-tactics-ocaml-dev |
| Beschreibung | Coq tactics for reasoning modulo AC (devt files) |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 0.2.pl2-4build1 |
| Sektion | universe/ocaml |
| Priorität | optional |
| Installierte Größe | 474 Byte |
| Hängt ab von | camlp5-bjli0, libaac-tactics-ocaml-2m678, libcoq-ocaml-dev-ib824, ocaml-nox-3.12.1 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | aac-tactics |
| Paketgröße | 129942 Byte |
| Prüfsumme MD5 | eed3ca6560427dd6d7bfa24d0b388039 |
| Prüfsumme SHA1 | c44379f75231ca6c9e2e1fbc683f93b3d306f133 |
| Prüfsumme SHA256 | 097cb91204633be2d65e6884a61a7383877d4bf07178b25d5d756d48f6ee8d66 |
| Link zum Herunterladen | libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb |
| Ausführliche Beschreibung | |