| Parent directory/ | - | - |
| libcoq-aac-tactics_8.18.0-1_i386.deb | 366.8 KiB | 2023-Dec-31 08:40 |
| libcoq-aac-tactics_8.18.0-1_armhf.deb | 373.0 KiB | 2023-Dec-31 08:40 |
| libcoq-aac-tactics_8.18.0-1_arm64.deb | 382.8 KiB | 2023-Dec-31 08:40 |
| libcoq-aac-tactics_8.18.0-1_amd64.deb | 375.0 KiB | 2023-Dec-21 17:31 |
| libcoq-aac-tactics_8.17.0-3+b1_i386.deb | 371.7 KiB | 2023-Sep-22 07:21 |
| libcoq-aac-tactics_8.17.0-3+b1_armhf.deb | 377.9 KiB | 2023-Sep-22 07:42 |
| libcoq-aac-tactics_8.17.0-3+b1_arm64.deb | 388.0 KiB | 2023-Sep-22 09:14 |
| libcoq-aac-tactics_8.17.0-3+b1_amd64.deb | 379.5 KiB | 2023-Sep-22 07:26 |
| libcoq-aac-tactics_8.17.0-2_i386.deb | 371.1 KiB | 2023-Jun-13 00:00 |
| libcoq-aac-tactics_8.17.0-2_armhf.deb | 378.4 KiB | 2023-Jun-13 03:13 |
| libcoq-aac-tactics_8.17.0-2_arm64.deb | 387.4 KiB | 2023-Jun-13 08:13 |
| libcoq-aac-tactics_8.17.0-2_amd64.deb | 379.4 KiB | 2023-Jun-12 22:43 |
| libcoq-aac-tactics_8.17.0-1+b2_i386.deb | 372.7 KiB | 2023-Feb-13 05:06 |
| libcoq-aac-tactics_8.17.0-1+b2_armhf.deb | 379.5 KiB | 2023-Feb-13 05:11 |
| libcoq-aac-tactics_8.17.0-1+b2_arm64.deb | 388.5 KiB | 2023-Feb-13 05:11 |
| libcoq-aac-tactics_8.17.0-1+b2_amd64.deb | 380.8 KiB | 2023-Feb-13 05:11 |
| libcoq-aac-tactics_8.16.0-1_i386.deb | 373.3 KiB | 2022-Sep-06 12:56 |
| libcoq-aac-tactics_8.16.0-1_armhf.deb | 380.6 KiB | 2022-Sep-06 11:40 |
| libcoq-aac-tactics_8.16.0-1_arm64.deb | 389.8 KiB | 2022-Sep-06 12:11 |
| libcoq-aac-tactics_8.16.0-1_amd64.deb | 381.6 KiB | 2022-Sep-06 12:11 |
| libcoq-aac-tactics_8.15.1-6_i386.deb | 260.9 KiB | 2022-Jun-12 12:15 |
| libcoq-aac-tactics_8.15.1-6_armhf.deb | 261.0 KiB | 2022-Jun-12 12:25 |
| libcoq-aac-tactics_8.15.1-6_arm64.deb | 261.0 KiB | 2022-Jun-12 12:25 |
| libcoq-aac-tactics_8.15.1-6_amd64.deb | 261.1 KiB | 2022-Jun-12 12:25 |
| libcoq-aac-tactics_8.15.1-3_i386.deb | 260.7 KiB | 2022-Apr-17 12:43 |
| libcoq-aac-tactics_8.15.1-3_armhf.deb | 260.6 KiB | 2022-Apr-17 12:43 |
| libcoq-aac-tactics_8.15.1-3_arm64.deb | 260.9 KiB | 2022-Apr-17 12:43 |
| libcoq-aac-tactics_8.15.1-3_amd64.deb | 260.8 KiB | 2022-Apr-17 12:43 |
| libaac-tactics-ocaml_8.6.1-2_i386.deb | 109.4 KiB | 2017-Oct-09 09:55 |
| libaac-tactics-ocaml_8.6.1-2_armhf.deb | 116.8 KiB | 2017-Oct-09 09:55 |
| libaac-tactics-ocaml_8.6.1-2_armel.deb | 26.7 KiB | 2017-Oct-09 09:55 |
| libaac-tactics-ocaml_8.6.1-2_arm64.deb | 131.2 KiB | 2017-Oct-09 09:40 |
| libaac-tactics-ocaml_8.6.1-2_amd64.deb | 119.6 KiB | 2017-Oct-09 08:45 |
| libaac-tactics-ocaml_8.6.1-1+b1_i386.deb | 101.6 KiB | 2017-Jul-22 07:11 |
| libaac-tactics-ocaml_8.6.1-1+b1_armhf.deb | 114.8 KiB | 2017-Jul-24 21:12 |
| libaac-tactics-ocaml_8.6.1-1+b1_armel.deb | 112.1 KiB | 2017-Jul-23 02:14 |
| libaac-tactics-ocaml_8.6.1-1+b1_arm64.deb | 106.3 KiB | 2017-Jul-22 06:00 |
| libaac-tactics-ocaml_8.6.1-1+b1_amd64.deb | 107.8 KiB | 2017-Jul-22 08:12 |
| libaac-tactics-ocaml_8.15.1-6_i386.deb | 103.7 KiB | 2022-Jun-12 12:15 |
| libaac-tactics-ocaml_8.15.1-6_armhf.deb | 110.1 KiB | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml_8.15.1-6_arm64.deb | 118.8 KiB | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml_8.15.1-6_amd64.deb | 111.6 KiB | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml_8.15.1-3_i386.deb | 103.6 KiB | 2022-Apr-17 12:43 |
| libaac-tactics-ocaml_8.15.1-3_armhf.deb | 110.3 KiB | 2022-Apr-17 12:43 |
| libaac-tactics-ocaml_8.15.1-3_arm64.deb | 118.8 KiB | 2022-Apr-17 12:43 |
| libaac-tactics-ocaml_8.15.1-3_amd64.deb | 111.2 KiB | 2022-Apr-17 12:43 |
| libaac-tactics-ocaml_8.11.0-1+b1_arm64.deb | 116.8 KiB | 2020-Apr-10 11:11 |
| libaac-tactics-ocaml_8.11.0-1+b1_amd64.deb | 106.7 KiB | 2020-Apr-10 13:03 |
| libaac-tactics-ocaml_0.4-3_i386.deb | 114.9 KiB | 2014-Jul-30 09:41 |
| libaac-tactics-ocaml_0.4-3_armhf.deb | 121.9 KiB | 2014-Jul-30 09:56 |
| libaac-tactics-ocaml_0.4-3_armel.deb | 120.2 KiB | 2014-Jul-30 09:56 |
| libaac-tactics-ocaml_0.4-3_amd64.deb | 125.3 KiB | 2014-Jul-30 09:11 |
| libaac-tactics-ocaml_0.2.pl2-7_i386.deb | 124.3 KiB | 2012-Jun-09 10:03 |
| libaac-tactics-ocaml_0.2.pl2-7_armhf.deb | 32.9 KiB | 2012-Jun-09 10:03 |
| libaac-tactics-ocaml_0.2.pl2-7_armel.deb | 32.9 KiB | 2012-Jun-09 10:03 |
| libaac-tactics-ocaml_0.2.pl2-7_amd64.deb | 141.9 KiB | 2012-Jun-09 09:02 |
| libaac-tactics-ocaml-dev_8.6.1-2_i386.deb | 37.7 KiB | 2017-Oct-09 09:55 |
| libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb | 37.7 KiB | 2017-Oct-09 09:55 |
| libaac-tactics-ocaml-dev_8.6.1-2_armel.deb | 37.7 KiB | 2017-Oct-09 09:55 |
| libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb | 37.7 KiB | 2017-Oct-09 09:40 |
| libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb | 37.7 KiB | 2017-Oct-09 08:45 |
| libaac-tactics-ocaml-dev_8.6.1-1+b1_i386.deb | 38.3 KiB | 2017-Jul-22 07:11 |
| libaac-tactics-ocaml-dev_8.6.1-1+b1_armhf.deb | 38.4 KiB | 2017-Jul-24 21:12 |
| libaac-tactics-ocaml-dev_8.6.1-1+b1_armel.deb | 38.3 KiB | 2017-Jul-23 02:14 |
| libaac-tactics-ocaml-dev_8.6.1-1+b1_arm64.deb | 38.3 KiB | 2017-Jul-22 06:00 |
| libaac-tactics-ocaml-dev_8.6.1-1+b1_amd64.deb | 38.3 KiB | 2017-Jul-22 08:12 |
| libaac-tactics-ocaml-dev_8.15.1-6_i386.deb | 38.6 KiB | 2022-Jun-12 12:15 |
| libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb | 38.6 KiB | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml-dev_8.15.1-6_arm64.deb | 38.6 KiB | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb | 38.6 KiB | 2022-Jun-12 12:25 |
| libaac-tactics-ocaml-dev_8.15.1-3_i386.deb | 38.5 KiB | 2022-Apr-17 12:43 |
| libaac-tactics-ocaml-dev_8.15.1-3_armhf.deb | 38.5 KiB | 2022-Apr-17 12:43 |
| libaac-tactics-ocaml-dev_8.15.1-3_arm64.deb | 38.5 KiB | 2022-Apr-17 12:43 |
| libaac-tactics-ocaml-dev_8.15.1-3_amd64.deb | 38.5 KiB | 2022-Apr-17 12:43 |
| libaac-tactics-ocaml-dev_8.11.0-1+b1_arm64.deb | 38.4 KiB | 2020-Apr-10 11:11 |
| libaac-tactics-ocaml-dev_8.11.0-1+b1_amd64.deb | 38.4 KiB | 2020-Apr-10 13:03 |
| libaac-tactics-ocaml-dev_0.4-3_i386.deb | 43.9 KiB | 2014-Jul-30 09:41 |
| libaac-tactics-ocaml-dev_0.4-3_armhf.deb | 44.3 KiB | 2014-Jul-30 09:56 |
| libaac-tactics-ocaml-dev_0.4-3_armel.deb | 44.2 KiB | 2014-Jul-30 09:56 |
| libaac-tactics-ocaml-dev_0.4-3_amd64.deb | 44.3 KiB | 2014-Jul-30 09:11 |
| libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb | 133.3 KiB | 2012-Jun-09 10:03 |
| libaac-tactics-ocaml-dev_0.2.pl2-7_armhf.deb | 19.9 KiB | 2012-Jun-09 10:03 |
| libaac-tactics-ocaml-dev_0.2.pl2-7_armel.deb | 140.8 KiB | 2012-Jun-09 10:03 |
| libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb | 129.9 KiB | 2012-Jun-09 09:02 |
| libaac-tactics-coq_8.6.1-2_all.deb | 217.3 KiB | 2017-Oct-09 08:45 |
| libaac-tactics-coq_8.6.1-1_all.deb | 217.1 KiB | 2016-Dec-30 10:13 |
| libaac-tactics-coq_8.11.0-1_all.deb | 239.2 KiB | 2020-Mar-17 16:36 |
| libaac-tactics-coq_0.4-3_all.deb | 208.8 KiB | 2014-Jul-30 09:11 |
| libaac-tactics-coq_0.2.pl2-7_all.deb | 313.2 KiB | 2012-Jun-09 09:02 |
| aac-tactics_8.6.1.orig.tar.gz | 73.3 KiB | 2016-Dec-30 10:13 |
| aac-tactics_8.6.1-2.dsc | 2.2 KiB | 2017-Oct-09 08:45 |
| aac-tactics_8.6.1-2.debian.tar.xz | 3.2 KiB | 2017-Oct-09 08:45 |
| aac-tactics_8.6.1-1.dsc | 2.2 KiB | 2016-Dec-30 10:13 |
| aac-tactics_8.6.1-1.debian.tar.xz | 3.1 KiB | 2016-Dec-30 10:13 |
| aac-tactics_8.18.0.orig.tar.gz | 73.8 KiB | 2023-Dec-21 14:34 |
| aac-tactics_8.18.0-1.dsc | 2.1 KiB | 2023-Dec-21 14:34 |
| aac-tactics_8.18.0-1.debian.tar.xz | 3.6 KiB | 2023-Dec-21 14:34 |
| aac-tactics_8.17.0.orig.tar.gz | 73.9 KiB | 2023-Jan-04 19:04 |
| aac-tactics_8.17.0-3.dsc | 1.8 KiB | 2023-Sep-12 06:19 |
| aac-tactics_8.17.0-3.debian.tar.xz | 3.6 KiB | 2023-Sep-12 06:19 |
| aac-tactics_8.17.0-2.dsc | 2.1 KiB | 2023-Jun-12 20:29 |
| aac-tactics_8.17.0-2.debian.tar.xz | 3.6 KiB | 2023-Jun-12 20:29 |
| aac-tactics_8.17.0-1.dsc | 2.1 KiB | 2023-Jan-04 19:04 |
| aac-tactics_8.17.0-1.debian.tar.xz | 3.5 KiB | 2023-Jan-04 19:04 |
| aac-tactics_8.16.0.orig.tar.gz | 73.8 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-1.debian.tar.xz | 3.4 KiB | 2022-Sep-06 09:04 |
| aac-tactics_8.15.1.orig.tar.gz | 66.7 KiB | 2022-Apr-03 20:10 |
| aac-tactics_8.15.1-6.dsc | 2.2 KiB | 2022-Jun-12 12:00 |
| aac-tactics_8.15.1-6.debian.tar.xz | 3.7 KiB | 2022-Jun-12 12:00 |
| aac-tactics_8.15.1-3.dsc | 2.2 KiB | 2022-Apr-17 12:08 |
| aac-tactics_8.15.1-3.debian.tar.xz | 3.7 KiB | 2022-Apr-17 12:08 |
| aac-tactics_8.11.0.orig.tar.gz | 63.8 KiB | 2020-Mar-17 16:16 |
| aac-tactics_8.11.0-1.dsc | 2.1 KiB | 2020-Mar-17 16:16 |
| aac-tactics_8.11.0-1.debian.tar.xz | 3.4 KiB | 2020-Mar-17 16:16 |
| aac-tactics_0.4.orig.tar.gz | 75.5 KiB | 2013-Dec-06 07:54 |
| aac-tactics_0.4-3.dsc | 2.2 KiB | 2014-Jul-30 09:11 |
| aac-tactics_0.4-3.debian.tar.xz | 2.9 KiB | 2014-Jul-30 09:11 |
| aac-tactics_0.2.pl2.orig.tar.gz | 75.6 KiB | 2011-Feb-28 07:02 |
| aac-tactics_0.2.pl2-7.dsc | 2.2 KiB | 2012-Jun-09 09:02 |
| aac-tactics_0.2.pl2-7.debian.tar.gz | 2.7 KiB | 2012-Jun-09 09:02 |