| Paketname | libaac-tactics-coq |
| Beschreibung | Coq tactics for reasoning modulo AC (theories) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 0.2.pl2-7 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 2445 Byte |
| Hängt ab von | libaac-tactics-ocaml (>= 0.2.pl2-7), coq-8.3pl4+3.12.1 |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | aac-tactics |
| Paketgröße | 320756 Byte |
| Prüfsumme MD5 | 6f21314fa0b532ff876ee735bfac8827 |
| Prüfsumme SHA1 | ab3587301015e7df69abecbda02eedafda232bec |
| Prüfsumme SHA256 | a08e22c0b660f3102b51dea9b6ae7b1d90a3b31528247a2493681b55e00b5db0 |
| Link zum Herunterladen | libaac-tactics-coq_0.2.pl2-7_all.deb |
| Ausführliche Beschreibung | |