| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| aac-tactics_0.2.pl2-7.dsc | 2218 | 2012-Jun-09 09:02 |
| aac-tactics_0.2.pl2-7.debian.tar.gz | 2746 | 2012-Jun-09 09:02 |
| aac-tactics_0.2.pl2.orig.tar.gz | 77409 | 2011-Feb-28 07:02 |
| libaac-tactics-ocaml_0.2.pl2-7_i386.deb | 127260 | 2012-Jun-09 10:03 |
| libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb | 136466 | 2012-Jun-09 10:03 |
| libaac-tactics-coq_0.2.pl2-7_all.deb | 320756 | 2012-Jun-09 09:02 |