| Paketname | libaac-tactics-coq |
| Beschreibung | Coq tactics for reasoning modulo AC (theories) |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 0.2.pl2-2build1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 1680 Byte |
| Hängt ab von | libaac-tactics-ocaml (>= 0.2.pl2-2build1), coq-8.3pl2+3.12.0 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | aac-tactics |
| Paketgröße | 304850 Byte |
| Prüfsumme MD5 | 9c351162b617b42b35e6bf6ea7ecc541 |
| Prüfsumme SHA1 | 497fa1b770c9e7caddfa63054c242df3a2faff10 |
| Prüfsumme SHA256 | 2c3e75dfec2c3707338d4a7ba47a9e8dfe233b4c99672b71f0fc8d156c553104 |
| Link zum Herunterladen | libaac-tactics-coq_0.2.pl2-2build1_all.deb |
| Ausführliche Beschreibung | |