| Parent directory/ | - | - |
| aac-tactics_0.4-3.debian.tar.xz | 2.9 KiB | 2014-Jul-30 09:11 |
| aac-tactics_0.4-3.dsc | 2.2 KiB | 2014-Jul-30 09:11 |
| aac-tactics_0.4.orig.tar.gz | 75.5 KiB | 2013-Dec-06 07:54 |
| aac-tactics_8.16.0-1.debian.tar.xz | 3.4 KiB | 2022-Sep-06 09:04 |
| aac-tactics_8.16.0-1.dsc | 2.1 KiB | 2022-Sep-06 09:04 |
| aac-tactics_8.16.0.orig.tar.gz | 73.8 KiB | 2022-Sep-06 09:04 |
| aac-tactics_8.17.0-1.debian.tar.xz | 3.5 KiB | 2023-Jan-04 19:04 |
| aac-tactics_8.17.0-1.dsc | 2.1 KiB | 2023-Jan-04 19:04 |
| aac-tactics_8.17.0.orig.tar.gz | 73.9 KiB | 2023-Jan-04 19:04 |
| aac-tactics_8.6.1-1.debian.tar.xz | 3.1 KiB | 2016-Dec-30 10:13 |
| aac-tactics_8.6.1-1.dsc | 2.2 KiB | 2016-Dec-30 10:13 |
| aac-tactics_8.6.1.orig.tar.gz | 73.3 KiB | 2016-Dec-30 10:13 |
| libaac-tactics-coq_0.4-3_all.deb | 208.8 KiB | 2014-Jul-30 09:11 |
| libaac-tactics-coq_8.6.1-1_all.deb | 217.1 KiB | 2016-Dec-30 10:13 |
| libaac-tactics-ocaml-dev_0.4-3_amd64.deb | 44.3 KiB | 2014-Jul-30 09:11 |
| libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb | 38.1 KiB | 2016-Dec-30 10:13 |
| libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb | 38.1 KiB | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml-dev_8.6.1-1_mips64el.deb | 38.0 KiB | 2017-Jan-04 11:43 |
| libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb | 38.0 KiB | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml_0.4-3_amd64.deb | 125.3 KiB | 2014-Jul-30 09:11 |
| libaac-tactics-ocaml_8.6.1-1_amd64.deb | 107.7 KiB | 2016-Dec-30 10:13 |
| libaac-tactics-ocaml_8.6.1-1_arm64.deb | 105.4 KiB | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml_8.6.1-1_mips64el.deb | 26.5 KiB | 2017-Jan-04 11:43 |
| libaac-tactics-ocaml_8.6.1-1_ppc64el.deb | 26.5 KiB | 2016-Dec-30 10:43 |
| libcoq-aac-tactics_8.16.0-1+b1_amd64.deb | 381.3 KiB | 2022-Nov-29 13:44 |
| libcoq-aac-tactics_8.16.0-1+b1_arm64.deb | 388.9 KiB | 2022-Nov-29 13:28 |
| libcoq-aac-tactics_8.16.0-1+b1_ppc64el.deb | 383.9 KiB | 2022-Nov-29 14:29 |
| libcoq-aac-tactics_8.17.0-1_amd64.deb | 380.5 KiB | 2023-Jan-04 21:28 |
| libcoq-aac-tactics_8.17.0-1_arm64.deb | 388.5 KiB | 2023-Jan-04 22:13 |
| libcoq-aac-tactics_8.17.0-1_ppc64el.deb | 383.5 KiB | 2023-Jan-06 15:56 |