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 
[ ]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