Index of /debian/pool/main/a/aac-tactics

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aac-tactics_0.4-3.debian.tar.xz2014-07-30 05:11 2.9K 
[TXT]aac-tactics_0.4-3.dsc2014-07-30 05:11 2.2K 
[ ]aac-tactics_0.4.orig.tar.gz2013-12-06 02:54 76K 
[ ]aac-tactics_8.6.1-1.debian.tar.xz2016-12-30 05:13 3.1K 
[TXT]aac-tactics_8.6.1-1.dsc2016-12-30 05:13 2.2K 
[ ]aac-tactics_8.6.1.orig.tar.gz2016-12-30 05:13 73K 
[ ]aac-tactics_8.15.0-1.debian.tar.xz2022-02-06 08:09 3.5K 
[TXT]aac-tactics_8.15.0-1.dsc2022-02-06 08:09 2.2K 
[ ]aac-tactics_8.15.0.orig.tar.gz2022-02-06 08:09 67K 
[ ]aac-tactics_8.15.1-1.debian.tar.xz2022-04-03 16:10 3.6K 
[TXT]aac-tactics_8.15.1-1.dsc2022-04-03 16:10 2.2K 
[ ]aac-tactics_8.15.1-2.debian.tar.xz2022-04-13 03:15 3.6K 
[TXT]aac-tactics_8.15.1-2.dsc2022-04-13 03:15 2.2K 
[ ]aac-tactics_8.15.1-3.debian.tar.xz2022-04-17 08:08 3.7K 
[TXT]aac-tactics_8.15.1-3.dsc2022-04-17 08:08 2.2K 
[ ]aac-tactics_8.15.1-4.debian.tar.xz2022-05-22 13:33 3.7K 
[TXT]aac-tactics_8.15.1-4.dsc2022-05-22 13:33 2.2K 
[ ]aac-tactics_8.15.1-5.debian.tar.xz2022-06-01 09:16 3.7K 
[TXT]aac-tactics_8.15.1-5.dsc2022-06-01 09:16 2.2K 
[ ]aac-tactics_8.15.1-6.debian.tar.xz2022-06-12 08:00 3.7K 
[TXT]aac-tactics_8.15.1-6.dsc2022-06-12 08:00 2.2K 
[ ]aac-tactics_8.15.1.orig.tar.gz2022-04-03 16:10 67K 
[ ]aac-tactics_8.16.0-1.debian.tar.xz2022-09-06 05:04 3.4K 
[TXT]aac-tactics_8.16.0-1.dsc2022-09-06 05:04 2.1K 
[ ]aac-tactics_8.16.0.orig.tar.gz2022-09-06 05:04 74K 
[ ]aac-tactics_8.17.0-1.debian.tar.xz2023-01-04 14:04 3.5K 
[TXT]aac-tactics_8.17.0-1.dsc2023-01-04 14:04 2.1K 
[ ]aac-tactics_8.17.0-2.debian.tar.xz2023-06-12 16:29 3.6K 
[TXT]aac-tactics_8.17.0-2.dsc2023-06-12 16:29 2.1K 
[ ]aac-tactics_8.17.0-3.debian.tar.xz2023-09-12 02:19 3.6K 
[TXT]aac-tactics_8.17.0-3.dsc2023-09-12 02:19 1.8K 
[ ]aac-tactics_8.17.0.orig.tar.gz2023-01-04 14:04 74K 
[ ]aac-tactics_8.18.0-1.debian.tar.xz2023-12-21 09:34 3.6K 
[TXT]aac-tactics_8.18.0-1.dsc2023-12-21 09:34 2.1K 
[ ]aac-tactics_8.18.0.orig.tar.gz2023-12-21 09:34 74K 
[ ]aac-tactics_8.19.0-1.debian.tar.xz2024-04-26 09:46 3.6K 
[TXT]aac-tactics_8.19.0-1.dsc2024-04-26 09:46 2.1K 
[ ]aac-tactics_8.19.0.orig.tar.gz2024-04-26 09:46 75K 
[ ]aac-tactics_8.19.1-1.debian.tar.xz2024-06-11 01:19 3.7K 
[TXT]aac-tactics_8.19.1-1.dsc2024-06-11 01:19 2.1K 
[ ]aac-tactics_8.19.1-2.debian.tar.xz2024-08-03 11:44 3.7K 
[TXT]aac-tactics_8.19.1-2.dsc2024-08-03 11:44 1.8K 
[ ]aac-tactics_8.19.1.orig.tar.gz2024-06-11 01:19 75K 
[ ]aac-tactics_8.20.0-1.debian.tar.xz2024-11-20 04:52 3.7K 
[TXT]aac-tactics_8.20.0-1.dsc2024-11-20 04:52 2.1K 
[ ]aac-tactics_8.20.0.orig.tar.gz2024-11-20 04:52 76K 
[ ]libaac-tactics-coq_0.4-3_all.deb2014-07-30 05:11 209K 
[ ]libaac-tactics-coq_8.6.1-1_all.deb2016-12-30 05:13 217K 
[ ]libaac-tactics-coq_8.15.0-1_all.deb2022-02-06 08:44 256K 
[ ]libaac-tactics-ocaml-dev_0.4-3_amd64.deb2014-07-30 05:11 44K 
[ ]libaac-tactics-ocaml-dev_0.4-3_armel.deb2014-07-30 05:56 44K 
[ ]libaac-tactics-ocaml-dev_0.4-3_armhf.deb2014-07-30 05:56 44K 
[ ]libaac-tactics-ocaml-dev_0.4-3_i386.deb2014-07-30 05:41 44K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb2016-12-30 05:13 38K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb2016-12-30 05:43 38K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_armel.deb2016-12-30 05:43 38K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb2016-12-30 05:43 38K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_i386.deb2016-12-30 05:43 38K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_mips.deb2016-12-30 05:43 38K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_mips64el.deb2017-01-04 06:43 38K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_mipsel.deb2016-12-30 05:43 38K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb2016-12-30 05:43 38K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_s390x.deb2016-12-30 05:43 38K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1+b1_amd64.deb2022-03-23 08:26 39K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1+b1_arm64.deb2022-03-23 08:11 39K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1+b1_armhf.deb2022-03-23 08:11 39K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1+b1_i386.deb2022-03-23 08:00 39K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1+b1_ppc64el.deb2022-03-23 08:11 39K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1+b1_s390x.deb2022-03-23 11:12 39K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb2022-02-06 08:44 38K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb2022-02-06 08:44 38K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb2022-02-06 08:44 38K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1_i386.deb2022-02-06 08:29 38K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1_ppc64el.deb2022-02-06 08:44 38K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1_s390x.deb2022-02-06 08:29 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-1_amd64.deb2022-04-03 16:10 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-1_arm64.deb2022-04-04 14:28 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-1_armhf.deb2022-04-04 14:28 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-1_i386.deb2022-04-04 14:28 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-1_ppc64el.deb2022-04-04 14:28 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-1_s390x.deb2022-04-04 14:13 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-2_amd64.deb2022-04-13 03:40 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-2_arm64.deb2022-04-13 03:40 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-2_armhf.deb2022-04-13 03:40 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-2_i386.deb2022-04-13 03:35 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-2_ppc64el.deb2022-04-13 03:40 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-2_s390x.deb2022-04-13 03:40 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-3_amd64.deb2022-04-17 08:43 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-3_arm64.deb2022-04-17 08:43 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-3_armhf.deb2022-04-17 08:43 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-3_i386.deb2022-04-17 08:43 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-3_ppc64el.deb2022-04-17 08:43 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-3_s390x.deb2022-04-17 08:59 38K 
[ ]libaac-tactics-ocaml-dev_8.15.1-4_amd64.deb2022-05-22 14:13 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-4_arm64.deb2022-05-22 14:13 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-4_armhf.deb2022-05-22 14:13 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-4_i386.deb2022-05-22 14:03 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-4_ppc64el.deb2022-05-22 14:13 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-4_s390x.deb2022-05-22 14:13 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-5_amd64.deb2022-06-01 09:31 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-5_arm64.deb2022-06-01 09:42 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-5_armhf.deb2022-06-01 09:42 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-5_i386.deb2022-06-01 09:31 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-5_ppc64el.deb2022-06-01 09:42 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-5_s390x.deb2022-06-01 09:42 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb2022-06-12 08:25 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-6_arm64.deb2022-06-12 08:25 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb2022-06-12 08:25 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-6_i386.deb2022-06-12 08:15 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-6_ppc64el.deb2022-06-12 08:25 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-6_s390x.deb2022-06-12 10:11 39K 
[ ]libaac-tactics-ocaml_0.4-3_amd64.deb2014-07-30 05:11 125K 
[ ]libaac-tactics-ocaml_0.4-3_armel.deb2014-07-30 05:56 120K 
[ ]libaac-tactics-ocaml_0.4-3_armhf.deb2014-07-30 05:56 122K 
[ ]libaac-tactics-ocaml_0.4-3_i386.deb2014-07-30 05:41 115K 
[ ]libaac-tactics-ocaml_8.6.1-1_amd64.deb2016-12-30 05:13 108K 
[ ]libaac-tactics-ocaml_8.6.1-1_arm64.deb2016-12-30 05:43 105K 
[ ]libaac-tactics-ocaml_8.6.1-1_armel.deb2016-12-30 05:43 112K 
[ ]libaac-tactics-ocaml_8.6.1-1_armhf.deb2016-12-30 05:43 115K 
[ ]libaac-tactics-ocaml_8.6.1-1_i386.deb2016-12-30 05:43 101K 
[ ]libaac-tactics-ocaml_8.6.1-1_mips.deb2016-12-30 05:43 27K 
[ ]libaac-tactics-ocaml_8.6.1-1_mips64el.deb2017-01-04 06:43 27K 
[ ]libaac-tactics-ocaml_8.6.1-1_mipsel.deb2016-12-30 05:43 27K 
[ ]libaac-tactics-ocaml_8.6.1-1_ppc64el.deb2016-12-30 05:43 27K 
[ ]libaac-tactics-ocaml_8.6.1-1_s390x.deb2016-12-30 05:43 27K 
[ ]libaac-tactics-ocaml_8.15.0-1+b1_amd64.deb2022-03-23 08:26 111K 
[ ]libaac-tactics-ocaml_8.15.0-1+b1_arm64.deb2022-03-23 08:11 119K 
[ ]libaac-tactics-ocaml_8.15.0-1+b1_armhf.deb2022-03-23 08:11 110K 
[ ]libaac-tactics-ocaml_8.15.0-1+b1_i386.deb2022-03-23 08:00 104K 
[ ]libaac-tactics-ocaml_8.15.0-1+b1_ppc64el.deb2022-03-23 08:11 114K 
[ ]libaac-tactics-ocaml_8.15.0-1+b1_s390x.deb2022-03-23 11:12 113K 
[ ]libaac-tactics-ocaml_8.15.0-1_amd64.deb2022-02-06 08:44 111K 
[ ]libaac-tactics-ocaml_8.15.0-1_arm64.deb2022-02-06 08:44 119K 
[ ]libaac-tactics-ocaml_8.15.0-1_armhf.deb2022-02-06 08:44 110K 
[ ]libaac-tactics-ocaml_8.15.0-1_i386.deb2022-02-06 08:29 103K 
[ ]libaac-tactics-ocaml_8.15.0-1_ppc64el.deb2022-02-06 08:44 114K 
[ ]libaac-tactics-ocaml_8.15.0-1_s390x.deb2022-02-06 08:29 112K 
[ ]libaac-tactics-ocaml_8.15.1-1_amd64.deb2022-04-03 16:10 111K 
[ ]libaac-tactics-ocaml_8.15.1-1_arm64.deb2022-04-04 14:28 119K 
[ ]libaac-tactics-ocaml_8.15.1-1_armhf.deb2022-04-04 14:28 110K 
[ ]libaac-tactics-ocaml_8.15.1-1_i386.deb2022-04-04 14:28 103K 
[ ]libaac-tactics-ocaml_8.15.1-1_ppc64el.deb2022-04-04 14:28 114K 
[ ]libaac-tactics-ocaml_8.15.1-1_s390x.deb2022-04-04 14:13 112K 
[ ]libaac-tactics-ocaml_8.15.1-2_amd64.deb2022-04-13 03:40 111K 
[ ]libaac-tactics-ocaml_8.15.1-2_arm64.deb2022-04-13 03:40 119K 
[ ]libaac-tactics-ocaml_8.15.1-2_armhf.deb2022-04-13 03:40 110K 
[ ]libaac-tactics-ocaml_8.15.1-2_i386.deb2022-04-13 03:35 104K 
[ ]libaac-tactics-ocaml_8.15.1-2_ppc64el.deb2022-04-13 03:40 114K 
[ ]libaac-tactics-ocaml_8.15.1-2_s390x.deb2022-04-13 03:40 113K 
[ ]libaac-tactics-ocaml_8.15.1-3_amd64.deb2022-04-17 08:43 111K 
[ ]libaac-tactics-ocaml_8.15.1-3_arm64.deb2022-04-17 08:43 119K 
[ ]libaac-tactics-ocaml_8.15.1-3_armhf.deb2022-04-17 08:43 110K 
[ ]libaac-tactics-ocaml_8.15.1-3_i386.deb2022-04-17 08:43 104K 
[ ]libaac-tactics-ocaml_8.15.1-3_ppc64el.deb2022-04-17 08:43 114K 
[ ]libaac-tactics-ocaml_8.15.1-3_s390x.deb2022-04-17 08:59 112K 
[ ]libaac-tactics-ocaml_8.15.1-4_amd64.deb2022-05-22 14:13 111K 
[ ]libaac-tactics-ocaml_8.15.1-4_arm64.deb2022-05-22 14:13 119K 
[ ]libaac-tactics-ocaml_8.15.1-4_armhf.deb2022-05-22 14:13 110K 
[ ]libaac-tactics-ocaml_8.15.1-4_i386.deb2022-05-22 14:03 104K 
[ ]libaac-tactics-ocaml_8.15.1-4_ppc64el.deb2022-05-22 14:13 114K 
[ ]libaac-tactics-ocaml_8.15.1-4_s390x.deb2022-05-22 14:13 112K 
[ ]libaac-tactics-ocaml_8.15.1-5_amd64.deb2022-06-01 09:31 112K 
[ ]libaac-tactics-ocaml_8.15.1-5_arm64.deb2022-06-01 09:42 119K 
[ ]libaac-tactics-ocaml_8.15.1-5_armhf.deb2022-06-01 09:42 110K 
[ ]libaac-tactics-ocaml_8.15.1-5_i386.deb2022-06-01 09:31 104K 
[ ]libaac-tactics-ocaml_8.15.1-5_ppc64el.deb2022-06-01 09:42 114K 
[ ]libaac-tactics-ocaml_8.15.1-5_s390x.deb2022-06-01 09:42 113K 
[ ]libaac-tactics-ocaml_8.15.1-6_amd64.deb2022-06-12 08:25 112K 
[ ]libaac-tactics-ocaml_8.15.1-6_arm64.deb2022-06-12 08:25 119K 
[ ]libaac-tactics-ocaml_8.15.1-6_armhf.deb2022-06-12 08:25 110K 
[ ]libaac-tactics-ocaml_8.15.1-6_i386.deb2022-06-12 08:15 104K 
[ ]libaac-tactics-ocaml_8.15.1-6_ppc64el.deb2022-06-12 08:25 114K 
[ ]libaac-tactics-ocaml_8.15.1-6_s390x.deb2022-06-12 10:11 112K 
[ ]libcoq-aac-tactics_8.15.1-1_all.deb2022-04-03 16:10 261K 
[ ]libcoq-aac-tactics_8.15.1-2_all.deb2022-04-13 03:40 261K 
[ ]libcoq-aac-tactics_8.15.1-3_amd64.deb2022-04-17 08:43 261K 
[ ]libcoq-aac-tactics_8.15.1-3_arm64.deb2022-04-17 08:43 261K 
[ ]libcoq-aac-tactics_8.15.1-3_armhf.deb2022-04-17 08:43 261K 
[ ]libcoq-aac-tactics_8.15.1-3_i386.deb2022-04-17 08:43 261K 
[ ]libcoq-aac-tactics_8.15.1-3_ppc64el.deb2022-04-17 08:43 261K 
[ ]libcoq-aac-tactics_8.15.1-3_s390x.deb2022-04-17 08:59 261K 
[ ]libcoq-aac-tactics_8.15.1-4_amd64.deb2022-05-22 14:13 261K 
[ ]libcoq-aac-tactics_8.15.1-4_arm64.deb2022-05-22 14:13 261K 
[ ]libcoq-aac-tactics_8.15.1-4_armhf.deb2022-05-22 14:13 261K 
[ ]libcoq-aac-tactics_8.15.1-4_i386.deb2022-05-22 14:03 261K 
[ ]libcoq-aac-tactics_8.15.1-4_ppc64el.deb2022-05-22 14:13 261K 
[ ]libcoq-aac-tactics_8.15.1-4_s390x.deb2022-05-22 14:13 261K 
[ ]libcoq-aac-tactics_8.15.1-5_amd64.deb2022-06-01 09:31 261K 
[ ]libcoq-aac-tactics_8.15.1-5_arm64.deb2022-06-01 09:42 261K 
[ ]libcoq-aac-tactics_8.15.1-5_armhf.deb2022-06-01 09:42 261K 
[ ]libcoq-aac-tactics_8.15.1-5_i386.deb2022-06-01 09:31 261K 
[ ]libcoq-aac-tactics_8.15.1-5_ppc64el.deb2022-06-01 09:42 261K 
[ ]libcoq-aac-tactics_8.15.1-5_s390x.deb2022-06-01 09:42 261K 
[ ]libcoq-aac-tactics_8.15.1-6_amd64.deb2022-06-12 08:25 261K 
[ ]libcoq-aac-tactics_8.15.1-6_arm64.deb2022-06-12 08:25 261K 
[ ]libcoq-aac-tactics_8.15.1-6_armhf.deb2022-06-12 08:25 261K 
[ ]libcoq-aac-tactics_8.15.1-6_i386.deb2022-06-12 08:15 261K 
[ ]libcoq-aac-tactics_8.15.1-6_ppc64el.deb2022-06-12 08:25 261K 
[ ]libcoq-aac-tactics_8.15.1-6_s390x.deb2022-06-12 10:11 261K 
[ ]libcoq-aac-tactics_8.16.0-1+b1_amd64.deb2022-11-29 08:44 381K 
[ ]libcoq-aac-tactics_8.16.0-1+b1_arm64.deb2022-11-29 08:28 389K 
[ ]libcoq-aac-tactics_8.16.0-1+b1_armhf.deb2022-11-29 08:28 380K 
[ ]libcoq-aac-tactics_8.16.0-1+b1_i386.deb2022-11-29 08:43 373K 
[ ]libcoq-aac-tactics_8.16.0-1+b1_ppc64el.deb2022-11-29 09:29 384K 
[ ]libcoq-aac-tactics_8.16.0-1+b1_s390x.deb2022-11-30 10:47 383K 
[ ]libcoq-aac-tactics_8.16.0-1_amd64.deb2022-09-06 08:11 382K 
[ ]libcoq-aac-tactics_8.16.0-1_arm64.deb2022-09-06 08:11 390K 
[ ]libcoq-aac-tactics_8.16.0-1_armhf.deb2022-09-06 07:40 381K 
[ ]libcoq-aac-tactics_8.16.0-1_i386.deb2022-09-06 08:56 373K 
[ ]libcoq-aac-tactics_8.16.0-1_ppc64el.deb2022-09-06 09:42 385K 
[ ]libcoq-aac-tactics_8.16.0-1_s390x.deb2022-09-06 14:56 383K 
[ ]libcoq-aac-tactics_8.17.0-1+b1_amd64.deb2023-01-23 20:15 381K 
[ ]libcoq-aac-tactics_8.17.0-1+b1_arm64.deb2023-01-23 20:25 389K 
[ ]libcoq-aac-tactics_8.17.0-1+b1_armhf.deb2023-01-23 20:15 380K 
[ ]libcoq-aac-tactics_8.17.0-1+b1_i386.deb2023-01-23 20:15 373K 
[ ]libcoq-aac-tactics_8.17.0-1+b1_ppc64el.deb2023-01-23 23:43 384K 
[ ]libcoq-aac-tactics_8.17.0-1+b1_s390x.deb2023-01-23 19:54 382K 
[ ]libcoq-aac-tactics_8.17.0-1+b2_amd64.deb2023-02-13 00:11 381K 
[ ]libcoq-aac-tactics_8.17.0-1+b2_arm64.deb2023-02-13 00:11 389K 
[ ]libcoq-aac-tactics_8.17.0-1+b2_armhf.deb2023-02-13 00:11 379K 
[ ]libcoq-aac-tactics_8.17.0-1+b2_i386.deb2023-02-13 00:06 373K 
[ ]libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb2023-02-13 00:11 384K 
[ ]libcoq-aac-tactics_8.17.0-1+b2_s390x.deb2023-02-13 00:06 382K 
[ ]libcoq-aac-tactics_8.17.0-1_amd64.deb2023-01-04 16:28 380K 
[ ]libcoq-aac-tactics_8.17.0-1_arm64.deb2023-01-04 17:13 388K 
[ ]libcoq-aac-tactics_8.17.0-1_armhf.deb2023-01-04 17:12 379K 
[ ]libcoq-aac-tactics_8.17.0-1_i386.deb2023-01-04 16:42 372K 
[ ]libcoq-aac-tactics_8.17.0-1_ppc64el.deb2023-01-06 10:56 383K 
[ ]libcoq-aac-tactics_8.17.0-1_s390x.deb2023-01-07 09:40 382K 
[ ]libcoq-aac-tactics_8.17.0-2+b1_amd64.deb2023-07-23 00:57 380K 
[ ]libcoq-aac-tactics_8.17.0-2+b1_arm64.deb2023-07-23 00:57 388K 
[ ]libcoq-aac-tactics_8.17.0-2+b1_armhf.deb2023-07-23 00:57 379K 
[ ]libcoq-aac-tactics_8.17.0-2+b1_i386.deb2023-07-23 00:57 372K 
[ ]libcoq-aac-tactics_8.17.0-2+b1_ppc64el.deb2023-07-23 00:57 382K 
[ ]libcoq-aac-tactics_8.17.0-2+b1_s390x.deb2023-07-23 00:57 381K 
[ ]libcoq-aac-tactics_8.17.0-2_amd64.deb2023-06-12 18:43 379K 
[ ]libcoq-aac-tactics_8.17.0-2_arm64.deb2023-06-13 04:13 387K 
[ ]libcoq-aac-tactics_8.17.0-2_armhf.deb2023-06-12 23:13 378K 
[ ]libcoq-aac-tactics_8.17.0-2_i386.deb2023-06-12 20:00 371K 
[ ]libcoq-aac-tactics_8.17.0-2_ppc64el.deb2023-06-18 09:55 382K 
[ ]libcoq-aac-tactics_8.17.0-2_riscv64.deb2023-08-30 08:22 377K 
[ ]libcoq-aac-tactics_8.17.0-2_s390x.deb2023-06-13 00:24 381K 
[ ]libcoq-aac-tactics_8.17.0-3+b1_amd64.deb2023-09-22 03:26 380K 
[ ]libcoq-aac-tactics_8.17.0-3+b1_arm64.deb2023-09-22 05:14 388K 
[ ]libcoq-aac-tactics_8.17.0-3+b1_armhf.deb2023-09-22 03:42 378K 
[ ]libcoq-aac-tactics_8.17.0-3+b1_i386.deb2023-09-22 03:21 372K 
[ ]libcoq-aac-tactics_8.17.0-3+b1_ppc64el.deb2023-09-22 03:57 382K 
[ ]libcoq-aac-tactics_8.17.0-3+b1_riscv64.deb2023-09-23 15:13 382K 
[ ]libcoq-aac-tactics_8.17.0-3+b1_s390x.deb2023-09-22 03:11 381K 
[ ]libcoq-aac-tactics_8.17.0-3_amd64.deb2023-09-12 02:59 379K 
[ ]libcoq-aac-tactics_8.17.0-3_arm64.deb2023-09-12 03:00 387K 
[ ]libcoq-aac-tactics_8.17.0-3_armhf.deb2023-09-12 03:00 378K 
[ ]libcoq-aac-tactics_8.17.0-3_i386.deb2023-09-12 02:44 371K 
[ ]libcoq-aac-tactics_8.17.0-3_ppc64el.deb2023-09-12 03:00 382K 
[ ]libcoq-aac-tactics_8.17.0-3_riscv64.deb2023-09-12 04:36 377K 
[ ]libcoq-aac-tactics_8.17.0-3_s390x.deb2023-09-12 02:44 381K 
[ ]libcoq-aac-tactics_8.18.0-1+b1_amd64.deb2024-03-19 14:40 375K 
[ ]libcoq-aac-tactics_8.18.0-1+b1_arm64.deb2024-03-19 14:40 383K 
[ ]libcoq-aac-tactics_8.18.0-1+b1_armhf.deb2024-03-26 11:17 373K 
[ ]libcoq-aac-tactics_8.18.0-1+b1_i386.deb2024-03-19 14:35 367K 
[ ]libcoq-aac-tactics_8.18.0-1+b1_ppc64el.deb2024-03-19 14:35 378K 
[ ]libcoq-aac-tactics_8.18.0-1+b1_riscv64.deb2024-04-10 21:43 378K 
[ ]libcoq-aac-tactics_8.18.0-1+b1_s390x.deb2024-03-19 17:19 376K 
[ ]libcoq-aac-tactics_8.18.0-1+b2_amd64.deb2024-04-27 03:26 384K 
[ ]libcoq-aac-tactics_8.18.0-1+b2_arm64.deb2024-04-27 03:26 391K 
[ ]libcoq-aac-tactics_8.18.0-1+b2_armhf.deb2024-04-27 03:32 382K 
[ ]libcoq-aac-tactics_8.18.0-1+b2_i386.deb2024-04-27 03:26 376K 
[ ]libcoq-aac-tactics_8.18.0-1+b2_ppc64el.deb2024-04-27 03:26 386K 
[ ]libcoq-aac-tactics_8.18.0-1+b2_riscv64.deb2024-04-27 03:31 386K 
[ ]libcoq-aac-tactics_8.18.0-1+b2_s390x.deb2024-04-27 03:26 385K 
[ ]libcoq-aac-tactics_8.18.0-1_amd64.deb2023-12-21 12:31 375K 
[ ]libcoq-aac-tactics_8.18.0-1_arm64.deb2023-12-31 03:40 383K 
[ ]libcoq-aac-tactics_8.18.0-1_armhf.deb2023-12-31 03:40 373K 
[ ]libcoq-aac-tactics_8.18.0-1_i386.deb2023-12-31 03:40 367K 
[ ]libcoq-aac-tactics_8.18.0-1_ppc64el.deb2023-12-26 03:41 377K 
[ ]libcoq-aac-tactics_8.18.0-1_riscv64.deb2023-12-26 10:46 378K 
[ ]libcoq-aac-tactics_8.18.0-1_s390x.deb2023-12-26 12:07 376K 
[ ]libcoq-aac-tactics_8.19.0-1_amd64.deb2024-04-27 18:03 383K 
[ ]libcoq-aac-tactics_8.19.0-1_arm64.deb2024-04-27 18:03 391K 
[ ]libcoq-aac-tactics_8.19.0-1_armhf.deb2024-04-27 18:08 381K 
[ ]libcoq-aac-tactics_8.19.0-1_i386.deb2024-04-27 13:39 375K 
[ ]libcoq-aac-tactics_8.19.0-1_ppc64el.deb2024-04-27 13:02 386K 
[ ]libcoq-aac-tactics_8.19.0-1_riscv64.deb2024-04-27 13:23 386K 
[ ]libcoq-aac-tactics_8.19.0-1_s390x.deb2024-04-27 18:36 384K 
[ ]libcoq-aac-tactics_8.19.1-1+b1_amd64.deb2024-06-15 06:49 389K 
[ ]libcoq-aac-tactics_8.19.1-1+b1_arm64.deb2024-06-15 06:49 397K 
[ ]libcoq-aac-tactics_8.19.1-1+b1_armhf.deb2024-06-15 06:59 388K 
[ ]libcoq-aac-tactics_8.19.1-1+b1_i386.deb2024-06-15 06:49 382K 
[ ]libcoq-aac-tactics_8.19.1-1+b1_ppc64el.deb2024-06-15 06:49 392K 
[ ]libcoq-aac-tactics_8.19.1-1+b1_riscv64.deb2024-06-15 06:59 391K 
[ ]libcoq-aac-tactics_8.19.1-1+b1_s390x.deb2024-06-15 17:01 389K 
[ ]libcoq-aac-tactics_8.19.1-1_amd64.deb2024-06-11 01:49 391K 
[ ]libcoq-aac-tactics_8.19.1-1_arm64.deb2024-06-11 01:49 399K 
[ ]libcoq-aac-tactics_8.19.1-1_armhf.deb2024-06-11 01:49 389K 
[ ]libcoq-aac-tactics_8.19.1-1_i386.deb2024-06-11 01:44 383K 
[ ]libcoq-aac-tactics_8.19.1-1_ppc64el.deb2024-06-11 01:49 393K 
[ ]libcoq-aac-tactics_8.19.1-1_riscv64.deb2024-06-11 01:59 393K 
[ ]libcoq-aac-tactics_8.19.1-1_s390x.deb2024-06-11 01:49 392K 
[ ]libcoq-aac-tactics_8.19.1-2+b1_amd64.deb2024-08-08 14:24 394K 
[ ]libcoq-aac-tactics_8.19.1-2+b1_arm64.deb2024-08-08 14:29 400K 
[ ]libcoq-aac-tactics_8.19.1-2+b1_ppc64el.deb2024-08-08 13:48 394K 
[ ]libcoq-aac-tactics_8.19.1-2+b1_riscv64.deb2024-08-08 18:17 398K 
[ ]libcoq-aac-tactics_8.19.1-2+b1_s390x.deb2024-08-03 23:23 389K 
[ ]libcoq-aac-tactics_8.19.1-2+b2_amd64.deb2024-08-20 23:48 393K 
[ ]libcoq-aac-tactics_8.19.1-2+b2_arm64.deb2024-08-20 23:48 400K 
[ ]libcoq-aac-tactics_8.19.1-2+b2_ppc64el.deb2024-08-20 23:48 394K 
[ ]libcoq-aac-tactics_8.19.1-2+b2_riscv64.deb2024-08-21 00:45 397K 
[ ]libcoq-aac-tactics_8.19.1-2+b2_s390x.deb2024-08-10 23:32 395K 
[ ]libcoq-aac-tactics_8.19.1-2+b3_ppc64el.deb2024-08-30 11:00 395K 
[ ]libcoq-aac-tactics_8.19.1-2+b3_s390x.deb2024-08-20 23:54 395K 
[ ]libcoq-aac-tactics_8.19.1-2_amd64.deb2024-08-03 12:14 388K 
[ ]libcoq-aac-tactics_8.19.1-2_arm64.deb2024-08-03 12:09 396K 
[ ]libcoq-aac-tactics_8.19.1-2_armhf.deb2024-08-03 12:15 387K 
[ ]libcoq-aac-tactics_8.19.1-2_i386.deb2024-08-03 12:09 382K 
[ ]libcoq-aac-tactics_8.19.1-2_ppc64el.deb2024-08-03 12:09 392K 
[ ]libcoq-aac-tactics_8.19.1-2_riscv64.deb2024-08-03 12:25 391K 
[ ]libcoq-aac-tactics_8.19.1-2_s390x.deb2024-08-03 13:41 389K 
[ ]libcoq-aac-tactics_8.20.0-1+b1_amd64.deb2025-01-28 12:31 385K 
[ ]libcoq-aac-tactics_8.20.0-1+b1_arm64.deb2025-01-28 16:38 391K 
[ ]libcoq-aac-tactics_8.20.0-1+b1_ppc64el.deb2025-01-28 11:29 386K 
[ ]libcoq-aac-tactics_8.20.0-1+b1_riscv64.deb2025-01-29 03:28 389K 
[ ]libcoq-aac-tactics_8.20.0-1+b1_s390x.deb2025-01-30 01:51 387K 
[ ]libcoq-aac-tactics_8.20.0-1+b2_amd64.deb2025-02-12 23:01 385K 
[ ]libcoq-aac-tactics_8.20.0-1+b2_arm64.deb2025-02-12 23:06 391K 
[ ]libcoq-aac-tactics_8.20.0-1+b2_ppc64el.deb2025-02-12 23:01 386K 
[ ]libcoq-aac-tactics_8.20.0-1+b2_riscv64.deb2025-02-13 00:33 389K 
[ ]libcoq-aac-tactics_8.20.0-1+b2_s390x.deb2025-02-13 05:49 386K 
[ ]libcoq-aac-tactics_8.20.0-1+b3_amd64.deb2025-02-17 19:15 385K 
[ ]libcoq-aac-tactics_8.20.0-1+b3_arm64.deb2025-02-17 19:20 391K 
[ ]libcoq-aac-tactics_8.20.0-1+b3_ppc64el.deb2025-02-17 19:15 386K 
[ ]libcoq-aac-tactics_8.20.0-1+b3_riscv64.deb2025-02-17 19:56 388K 
[ ]libcoq-aac-tactics_8.20.0-1+b3_s390x.deb2025-02-18 10:50 387K 
[ ]libcoq-aac-tactics_8.20.0-1+b4_amd64.deb2025-06-14 21:48 385K 
[ ]libcoq-aac-tactics_8.20.0-1+b4_arm64.deb2025-06-15 01:33 391K 
[ ]libcoq-aac-tactics_8.20.0-1+b4_ppc64el.deb2025-06-15 02:13 385K 
[ ]libcoq-aac-tactics_8.20.0-1+b4_riscv64.deb2025-06-15 01:48 388K 
[ ]libcoq-aac-tactics_8.20.0-1+b4_s390x.deb2025-06-16 15:19 386K 
[ ]libcoq-aac-tactics_8.20.0-1_amd64.deb2024-11-20 09:16 385K 
[ ]libcoq-aac-tactics_8.20.0-1_arm64.deb2024-11-20 09:57 391K 
[ ]libcoq-aac-tactics_8.20.0-1_ppc64el.deb2024-11-20 09:52 386K 
[ ]libcoq-aac-tactics_8.20.0-1_riscv64.deb2024-11-20 09:37 388K 
[ ]libcoq-aac-tactics_8.20.0-1_s390x.deb2024-11-20 21:40 386K