| Paketname | libaac-tactics-ocaml |
| Beschreibung | Coq tactics for reasoning modulo AC (plugin) |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 0.2.pl2-2build1 |
| Sektion | universe/ocaml |
| Priorität | optional |
| Installierte Größe | 480 Byte |
| Hängt ab von | libcoq-ocaml-10g22, ocaml-base-nox-3.12.0, libc6 (>= 2.1.3) |
| Empfohlene Pakete | libaac-tactics-coq |
| Paketbetreuer | Ubuntu Developers |
| Quelle | aac-tactics |
| Paketgröße | 124576 Byte |
| Prüfsumme MD5 | 48e7ce419443f2d13ee30db691caa75f |
| Prüfsumme SHA1 | de1fb72361a817c6e9add9962b1713defb121917 |
| Prüfsumme SHA256 | b582b11d8d38efa935bf1559955a4421966795a74379911b6068c8efd32489af |
| Link zum Herunterladen | libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb |
| Ausführliche Beschreibung | |