| Parent directory/ | - | - |
| aac-tactics_0.4.orig.tar.gz | 77336 | 2013-Dec-06 07:54 |
| libaac-tactics-ocaml_0.4-3_amd64.deb | 128308 | 2014-Jul-30 09:11 |
| aac-tactics_0.4-3.debian.tar.xz | 2960 | 2014-Jul-30 09:11 |
| aac-tactics_0.4-3.dsc | 2231 | 2014-Jul-30 09:11 |
| libaac-tactics-coq_0.4-3_all.deb | 213832 | 2014-Jul-30 09:11 |
| libaac-tactics-ocaml-dev_0.4-3_amd64.deb | 45314 | 2014-Jul-30 09:11 |
| libaac-tactics-ocaml_0.4-3_i386.deb | 117692 | 2014-Jul-30 09:41 |
| libaac-tactics-ocaml-dev_0.4-3_i386.deb | 44996 | 2014-Jul-30 09:41 |
| libaac-tactics-ocaml_0.4-3_armhf.deb | 124870 | 2014-Jul-30 09:56 |
| libaac-tactics-ocaml-dev_0.4-3_armhf.deb | 45314 | 2014-Jul-30 09:56 |
| libaac-tactics-ocaml_0.4-3_armel.deb | 123134 | 2014-Jul-30 09:56 |
| libaac-tactics-ocaml-dev_0.4-3_armel.deb | 45258 | 2014-Jul-30 09:56 |
| aac-tactics_8.6.1-1.debian.tar.xz | 3220 | 2016-Dec-30 10:13 |
| aac-tactics_8.6.1-1.dsc | 2217 | 2016-Dec-30 10:13 |
| aac-tactics_8.6.1.orig.tar.gz | 75073 | 2016-Dec-30 10:13 |
| libaac-tactics-coq_8.6.1-1_all.deb | 222342 | 2016-Dec-30 10:13 |
| libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb | 38972 | 2016-Dec-30 10:13 |
| libaac-tactics-ocaml_8.6.1-1_amd64.deb | 110242 | 2016-Dec-30 10:13 |
| libaac-tactics-ocaml-dev_8.6.1-1_mipsel.deb | 38952 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml_8.6.1-1_mipsel.deb | 27164 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb | 38970 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb | 38972 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml-dev_8.6.1-1_armel.deb | 38970 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml_8.6.1-1_arm64.deb | 107916 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml_8.6.1-1_armel.deb | 115020 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml_8.6.1-1_armhf.deb | 117532 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml-dev_8.6.1-1_mips.deb | 38950 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml_8.6.1-1_mips.deb | 27162 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml-dev_8.6.1-1_s390x.deb | 38950 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml-dev_8.6.1-1_i386.deb | 38970 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb | 38952 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml_8.6.1-1_i386.deb | 103722 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml_8.6.1-1_ppc64el.deb | 27162 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml_8.6.1-1_s390x.deb | 27164 | 2016-Dec-30 10:43 |
| libaac-tactics-ocaml-dev_8.6.1-1_mips64el.deb | 38954 | 2017-Jan-04 11:43 |
| libaac-tactics-ocaml_8.6.1-1_mips64el.deb | 27164 | 2017-Jan-04 11:43 |
| aac-tactics_8.15.1.orig.tar.gz | 68294 | 2022-Apr-03 20:10 |
| aac-tactics_8.15.1-6.dsc | 2262 | 2022-Jun-12 12:00 |
| aac-tactics_8.15.1-6.debian.tar.xz | 3824 | 2022-Jun-12 12:00 |
| libcoq-aac-tactics_8.15.1-6_i386.deb | 267152 | 2022-Jun-12 12:15 |
| libaac-tactics-ocaml-dev_8.15.1-6_i386.deb | 39560 | 2022-Jun-12 12:15 |
| libaac-tactics-ocaml_8.15.1-6_i386.deb | 106212 | 2022-Jun-12 12:15 |
| libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb | 39556 | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml_8.15.1-6_armhf.deb | 112788 | 2022-Jun-12 12:25 |
| libcoq-aac-tactics_8.15.1-6_armhf.deb | 267304 | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb | 39556 | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml_8.15.1-6_amd64.deb | 114296 | 2022-Jun-12 12:25 |
| libcoq-aac-tactics_8.15.1-6_amd64.deb | 267364 | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml_8.15.1-6_arm64.deb | 121668 | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml-dev_8.15.1-6_arm64.deb | 39556 | 2022-Jun-12 12:25 |
| libcoq-aac-tactics_8.15.1-6_arm64.deb | 267308 | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml_8.15.1-6_ppc64el.deb | 116972 | 2022-Jun-12 12:25 |
| libcoq-aac-tactics_8.15.1-6_ppc64el.deb | 267348 | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml-dev_8.15.1-6_ppc64el.deb | 39560 | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml-dev_8.15.1-6_s390x.deb | 39556 | 2022-Jun-12 14:11 |
| libaac-tactics-ocaml_8.15.1-6_s390x.deb | 115152 | 2022-Jun-12 14:11 |
| libcoq-aac-tactics_8.15.1-6_s390x.deb | 267316 | 2022-Jun-12 14:11 |