| Paketname | libaac-tactics-ocaml-dev |
| Beschreibung | Coq tactics for reasoning modulo AC (devt files) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 0.2.pl2-7 |
| Sektion | ocaml |
| Priorität | optional |
| Installierte Größe | 476 Byte |
| Hängt ab von | camlp5-8ixs9, libaac-tactics-ocaml-w4x07, libcoq-ocaml-dev-9fp12, ocaml-nox-3.12.1 |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | aac-tactics |
| Paketgröße | 136466 Byte |
| Prüfsumme MD5 | 0d8cd82b5898e3d20aa53d293a90ed46 |
| Prüfsumme SHA1 | 774b6560f14027994ffd7753de2b9a8c22bc2166 |
| Prüfsumme SHA256 | ed21d24a58cdfaa448b703cf87b6acd1d7870bf4d28feb370d8dbc2358984b90 |
| Link zum Herunterladen | libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb |
| Ausführliche Beschreibung | |