| Paketname | libaac-tactics-ocaml-dev |
| Beschreibung | Coq tactics for reasoning modulo AC (devt files) |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 0.2.pl2-2build1 |
| Sektion | universe/ocaml |
| Priorität | optional |
| Installierte Größe | 544 Byte |
| Hängt ab von | camlp5-qsqb3, libaac-tactics-ocaml-738b0, libcoq-ocaml-dev-10g22, ocaml-nox-3.12.0 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | aac-tactics |
| Paketgröße | 130058 Byte |
| Prüfsumme MD5 | fcfa96784376937971bcfbb5e7027622 |
| Prüfsumme SHA1 | f4642e379e6e2d6a21af65d5732238fdadebf3ab |
| Prüfsumme SHA256 | 1a9564d96fdc9c0a21b20d0b43e77c50278126ffce2929cf2831958c5fb97b85 |
| Link zum Herunterladen | libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb |
| Ausführliche Beschreibung | |