| Parent directory/ | - | - |
| aac-tactics_8.6.1-2.debian.tar.xz | 3248 | 09-Oct-2017 08:45 |
| aac-tactics_8.6.1-2.dsc | 2238 | 09-Oct-2017 08:45 |
| aac-tactics_8.6.1.orig.tar.gz | 73K | 30-Dec-2016 10:13 |
| libaac-tactics-coq_0.4-2_all.deb | 209K | 15-Sep-2017 22:39 |
| libaac-tactics-coq_0.4-5_all.deb | 209K | 16-Aug-2017 13:46 |
| libaac-tactics-coq_8.6.1-2_all.deb | 217K | 09-Oct-2017 08:45 |
| libaac-tactics-ocaml-dev_0.4-2_amd64.deb | 44K | 15-Sep-2017 22:39 |
| libaac-tactics-ocaml-dev_0.4-5+b1_amd64.deb | 44K | 16-Aug-2017 13:47 |
| libaac-tactics-ocaml-dev_0.4-5+b1_i386.deb | 44K | 02-Sep-2017 14:20 |
| libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb | 38K | 09-Oct-2017 08:45 |
| libaac-tactics-ocaml_0.4-2_amd64.deb | 126K | 15-Sep-2017 22:39 |
| libaac-tactics-ocaml_0.4-5+b1_amd64.deb | 119K | 16-Aug-2017 13:47 |
| libaac-tactics-ocaml_0.4-5+b1_i386.deb | 110K | 02-Sep-2017 14:19 |
| libaac-tactics-ocaml_8.6.1-2_amd64.deb | 120K | 09-Oct-2017 08:45 |