| Paketname | libaac-tactics-ocaml-dev |
| Beschreibung | Coq tactics for reasoning modulo AC (devt files) |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 0.2.pl2-7 |
| Sektion | universe/ocaml |
| Priorität | optional |
| Installierte Größe | 475 Byte |
| Hängt ab von | camlp5-8ixs9, libaac-tactics-ocaml-w4x07, libcoq-ocaml-dev-9fp12, ocaml-nox-3.12.1 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | aac-tactics |
| Paketgröße | 133534 Byte |
| Prüfsumme MD5 | 880d00d5d04ceb23337384106c7495b8 |
| Prüfsumme SHA1 | 9c5865ed29f67bd85f0ec39febde2f71a140ad77 |
| Prüfsumme SHA256 | 1b9d042e932b51a479c2b16fa55d0281b3e93f33b62f72c3f87e4aea5384b9af |
| Link zum Herunterladen | libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb |
| Ausführliche Beschreibung | |