Installlion.com
How To Install libaac-tactics-coq On Debian 7
To install libaac-tactics-coq just follow these instructions.
Are you having problems? You can always remove libaac-tactics-coq again by following the instructions at this link.
Install libaac-tactics-coq
http://installion.co.uk/debian/wheezy/main/l/libaac-tactics-coq/install/index.htmlCoq tactics for reasoning modulo AC (theories)Debian 7.0math0.2.pl2-7sudo apt-get install libaac-tactics-coq
Which will install libaac-tactics-coq and any other packages on which it depends.
Package Data
| Package | libaac-tactics-coq |
| Version | 0.2.pl2-7 |
| Maintainer | Debian OCaml Maintainers <[email protected]> |
| Home page | http://sardes.inrialpes.fr/~braibant/aac_tactics/ |
| Description | Coq tactics for reasoning modulo AC (theories) |
| Distro | debian |
| Release | wheezy |
| Repo | main |
| Section | math |