| Paketname | libaac-tactics-coq |
| Beschreibung | Coq tactics for reasoning modulo AC (theories) |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 0.2.pl2-7 |
| Sektion | universe/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 | Ubuntu Developers |
| Quelle | aac-tactics |
| Paketgröße | 319622 Byte |
| Prüfsumme MD5 | a3f8856dfd860db06abc657d0247d8e3 |
| Prüfsumme SHA1 | f0a9927a181af57fc382925dcc4b0d0cfa06ee1d |
| Prüfsumme SHA256 | b56b90275ea0c1382a6b31dcfb7fe00cdbdbe6890147ca3bc0330da73c5d6db1 |
| Link zum Herunterladen | libaac-tactics-coq_0.2.pl2-7_all.deb |
| Ausführliche Beschreibung | |