Index of /ubuntu/pool/universe/a/aac-tactics

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aac-tactics_0.2.pl2-2.debian.tar.gz2011-05-04 14:11 2.5K 
[ ]aac-tactics_0.2.pl2-2.dsc2011-05-04 14:11 2.0K 
[ ]aac-tactics_0.2.pl2-2build1.debian.tar.gz2011-08-25 11:03 2.5K 
[ ]aac-tactics_0.2.pl2-2build1.dsc2011-08-25 11:03 1.4K 
[ ]aac-tactics_0.2.pl2-3.debian.tar.gz2011-11-10 17:09 2.5K 
[ ]aac-tactics_0.2.pl2-3.dsc2011-11-10 17:09 2.2K 
[ ]aac-tactics_0.2.pl2-3build1.debian.tar.gz2011-11-12 01:03 2.6K 
[ ]aac-tactics_0.2.pl2-3build1.dsc2011-11-12 01:03 2.2K 
[ ]aac-tactics_0.2.pl2-3build2.debian.tar.gz2011-11-19 19:03 2.6K 
[ ]aac-tactics_0.2.pl2-3build2.dsc2011-11-19 19:03 2.2K 
[ ]aac-tactics_0.2.pl2-4.debian.tar.gz2012-01-08 02:34 2.6K 
[ ]aac-tactics_0.2.pl2-4.dsc2012-01-08 02:34 2.2K 
[ ]aac-tactics_0.2.pl2-4build1.debian.tar.gz2012-01-08 15:33 2.7K 
[ ]aac-tactics_0.2.pl2-4build1.dsc2012-01-08 15:33 2.2K 
[ ]aac-tactics_0.2.pl2-6.debian.tar.gz2012-04-30 23:48 2.7K 
[ ]aac-tactics_0.2.pl2-6.dsc2012-04-30 23:48 2.2K 
[ ]aac-tactics_0.2.pl2-7.debian.tar.gz2012-06-10 17:04 2.7K 
[ ]aac-tactics_0.2.pl2-7.dsc2012-06-10 17:04 2.2K 
[ ]aac-tactics_0.2.pl2-7build1.debian.tar.gz2013-05-09 14:38 2.8K 
[ ]aac-tactics_0.2.pl2-7build1.dsc2013-05-09 14:38 2.2K 
[ ]aac-tactics_0.2.pl2.orig.tar.gz2011-05-04 14:11 76K 
[ ]aac-tactics_0.3.pl1-1.debian.tar.gz2013-05-09 17:33 3.0K 
[ ]aac-tactics_0.3.pl1-1.dsc2013-05-09 17:33 2.2K 
[ ]aac-tactics_0.3.pl1.orig.tar.gz2013-05-09 17:33 72K 
[ ]aac-tactics_0.4-1.debian.tar.gz2013-12-06 17:23 3.0K 
[ ]aac-tactics_0.4-1.dsc2013-12-06 17:23 2.1K 
[ ]aac-tactics_0.4-1build1.debian.tar.gz2013-12-23 22:58 2.9K 
[ ]aac-tactics_0.4-1build1.dsc2013-12-23 22:58 1.5K 
[ ]aac-tactics_0.4-2.debian.tar.xz2014-01-20 11:09 2.8K 
[ ]aac-tactics_0.4-2.dsc2014-01-20 11:09 2.1K 
[ ]aac-tactics_0.4-3.debian.tar.xz2014-07-30 17:44 2.9K 
[ ]aac-tactics_0.4-3.dsc2014-07-30 17:44 2.2K 
[ ]aac-tactics_0.4-4.debian.tar.xz2015-08-10 23:23 2.9K 
[ ]aac-tactics_0.4-4.dsc2015-08-10 23:23 2.2K 
[ ]aac-tactics_0.4-5.debian.tar.xz2015-10-23 21:41 2.9K 
[ ]aac-tactics_0.4-5.dsc2015-10-23 21:41 2.2K 
[ ]aac-tactics_0.4-5build1.debian.tar.xz2015-10-29 00:09 3.0K 
[ ]aac-tactics_0.4-5build1.dsc2015-10-29 00:09 1.9K 
[ ]aac-tactics_0.4-5build2.debian.tar.xz2015-11-05 00:30 3.0K 
[ ]aac-tactics_0.4-5build2.dsc2015-11-05 00:30 1.9K 
[ ]aac-tactics_0.4-5build3.debian.tar.xz2016-02-12 12:24 3.1K 
[ ]aac-tactics_0.4-5build3.dsc2016-02-12 12:24 2.2K 
[ ]aac-tactics_0.4.orig.tar.gz2013-12-06 17:23 76K 
[ ]aac-tactics_8.5.1-1.debian.tar.xz2016-11-23 19:48 5.2K 
[ ]aac-tactics_8.5.1-1.dsc2016-11-23 19:48 2.2K 
[ ]aac-tactics_8.5.1.orig.tar.gz2016-11-23 19:48 73K 
[ ]aac-tactics_8.6.1-1.debian.tar.xz2016-12-30 17:13 3.1K 
[ ]aac-tactics_8.6.1-1.dsc2016-12-30 17:13 2.2K 
[ ]aac-tactics_8.6.1-1build1.debian.tar.xz2017-07-03 00:33 3.3K 
[ ]aac-tactics_8.6.1-1build1.dsc2017-07-03 00:33 1.9K 
[ ]aac-tactics_8.6.1-1build2.debian.tar.xz2017-07-16 22:03 3.3K 
[ ]aac-tactics_8.6.1-1build2.dsc2017-07-16 22:03 1.9K 
[ ]aac-tactics_8.6.1-1build3.debian.tar.xz2017-07-16 23:03 3.3K 
[ ]aac-tactics_8.6.1-1build3.dsc2017-07-16 23:03 1.9K 
[ ]aac-tactics_8.6.1-1build4.debian.tar.xz2017-08-31 01:24 3.4K 
[ ]aac-tactics_8.6.1-1build4.dsc2017-08-31 01:24 1.9K 
[ ]aac-tactics_8.6.1-1build5.debian.tar.xz2017-10-28 16:19 3.4K 
[ ]aac-tactics_8.6.1-1build5.dsc2017-10-28 16:19 2.2K 
[ ]aac-tactics_8.6.1-2.debian.tar.xz2017-11-01 13:05 3.2K 
[ ]aac-tactics_8.6.1-2.dsc2017-11-01 13:05 2.2K 
[ ]aac-tactics_8.6.1-2build1.debian.tar.xz2019-01-15 14:48 3.2K 
[ ]aac-tactics_8.6.1-2build1.dsc2019-01-15 14:48 2.2K 
[ ]aac-tactics_8.6.1.orig.tar.gz2016-12-30 17:13 73K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1.debian.tar.xz2019-02-18 11:08 3.4K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1.dsc2019-02-18 11:08 2.2K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build2.debian.tar.xz2019-07-29 13:58 3.5K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build2.dsc2019-07-29 13:58 2.2K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build3.debian.tar.xz2019-08-05 12:53 3.5K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build3.dsc2019-08-05 12:53 2.2K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz2019-08-21 17:08 3.5K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc2019-08-21 17:08 2.2K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz2019-02-18 11:08 64K 
[ ]aac-tactics_8.9.0-1.debian.tar.xz2020-02-02 23:23 3.3K 
[ ]aac-tactics_8.9.0-1.dsc2020-02-02 23:23 1.9K 
[ ]aac-tactics_8.9.0-1build1.debian.tar.xz2020-03-12 14:08 3.4K 
[ ]aac-tactics_8.9.0-1build1.dsc2020-03-12 14:08 2.1K 
[ ]aac-tactics_8.9.0.orig.tar.gz2020-02-02 23:23 65K 
[ ]aac-tactics_8.11.0-1.debian.tar.xz2020-03-18 18:28 3.4K 
[ ]aac-tactics_8.11.0-1.dsc2020-03-18 18:28 2.1K 
[ ]aac-tactics_8.11.0-1build1.debian.tar.xz2020-05-13 11:55 3.5K 
[ ]aac-tactics_8.11.0-1build1.dsc2020-05-13 11:55 2.2K 
[ ]aac-tactics_8.11.0-1build2.debian.tar.xz2020-08-11 08:18 3.5K 
[ ]aac-tactics_8.11.0-1build2.dsc2020-08-11 08:18 2.2K 
[ ]aac-tactics_8.11.0-1build3.debian.tar.xz2020-08-23 11:28 3.5K 
[ ]aac-tactics_8.11.0-1build3.dsc2020-08-23 11:28 2.2K 
[ ]aac-tactics_8.11.0-1build4.debian.tar.xz2020-09-16 09:49 3.5K 
[ ]aac-tactics_8.11.0-1build4.dsc2020-09-16 09:49 2.2K 
[ ]aac-tactics_8.11.0.orig.tar.gz2020-03-18 18:28 64K 
[ ]aac-tactics_8.15.0-1.debian.tar.xz2022-02-06 17:19 3.5K 
[ ]aac-tactics_8.15.0-1.dsc2022-02-06 17:19 2.2K 
[ ]aac-tactics_8.15.0.orig.tar.gz2022-02-06 17:19 67K 
[ ]aac-tactics_8.15.1-3.debian.tar.xz2022-04-30 01:03 3.7K 
[ ]aac-tactics_8.15.1-3.dsc2022-04-30 01:03 2.2K 
[ ]aac-tactics_8.15.1-3build1.debian.tar.xz2022-05-02 07:05 3.7K 
[ ]aac-tactics_8.15.1-3build1.dsc2022-05-02 07:05 2.2K 
[ ]aac-tactics_8.15.1-4.debian.tar.xz2022-05-22 23:35 3.7K 
[ ]aac-tactics_8.15.1-4.dsc2022-05-22 23:35 2.2K 
[ ]aac-tactics_8.15.1-4build1.debian.tar.xz2022-06-01 16:08 3.7K 
[ ]aac-tactics_8.15.1-4build1.dsc2022-06-01 16:08 2.2K 
[ ]aac-tactics_8.15.1-5.debian.tar.xz2022-06-01 17:34 3.7K 
[ ]aac-tactics_8.15.1-5.dsc2022-06-01 17:34 2.2K 
[ ]aac-tactics_8.15.1-6.debian.tar.xz2022-06-12 17:24 3.7K 
[ ]aac-tactics_8.15.1-6.dsc2022-06-12 17:24 2.2K 
[ ]aac-tactics_8.15.1.orig.tar.gz2022-04-30 01:03 67K 
[ ]aac-tactics_8.16.0-1.debian.tar.xz2022-11-06 03:19 3.4K 
[ ]aac-tactics_8.16.0-1.dsc2022-11-06 03:19 2.1K 
[ ]aac-tactics_8.16.0-1build2.debian.tar.xz2022-11-25 18:40 3.5K 
[ ]aac-tactics_8.16.0-1build2.dsc2022-11-25 18:40 2.1K 
[ ]aac-tactics_8.16.0-1build3.debian.tar.xz2022-12-03 09:59 3.5K 
[ ]aac-tactics_8.16.0-1build3.dsc2022-12-03 09:59 2.1K 
[ ]aac-tactics_8.16.0.orig.tar.gz2022-11-06 03:19 74K 
[ ]aac-tactics_8.17.0-1.debian.tar.xz2023-01-04 23:34 3.5K 
[ ]aac-tactics_8.17.0-1.dsc2023-01-04 23:34 2.1K 
[ ]aac-tactics_8.17.0-1build1.debian.tar.xz2023-01-26 08:54 3.5K 
[ ]aac-tactics_8.17.0-1build1.dsc2023-01-26 08:54 2.1K 
[ ]aac-tactics_8.17.0-1build2.debian.tar.xz2023-02-16 10:06 3.5K 
[ ]aac-tactics_8.17.0-1build2.dsc2023-02-16 10:06 2.1K 
[ ]aac-tactics_8.17.0-2.debian.tar.xz2023-06-13 05:30 3.6K 
[ ]aac-tactics_8.17.0-2.dsc2023-06-13 05:30 2.1K 
[ ]aac-tactics_8.17.0-2build1.debian.tar.xz2023-07-24 17:37 3.6K 
[ ]aac-tactics_8.17.0-2build1.dsc2023-07-24 17:37 2.1K 
[ ]aac-tactics_8.17.0-3.debian.tar.xz2023-10-26 15:43 3.6K 
[ ]aac-tactics_8.17.0-3.dsc2023-10-26 15:43 1.8K 
[ ]aac-tactics_8.17.0-3build1.debian.tar.xz2023-11-23 00:05 3.7K 
[ ]aac-tactics_8.17.0-3build1.dsc2023-11-23 00:05 2.1K 
[ ]aac-tactics_8.17.0.orig.tar.gz2023-01-04 23:34 74K 
[ ]aac-tactics_8.18.0-1.debian.tar.xz2023-12-21 23:52 3.6K 
[ ]aac-tactics_8.18.0-1.dsc2023-12-21 23:52 2.1K 
[ ]aac-tactics_8.18.0-1build3.debian.tar.xz2024-04-08 07:57 3.8K 
[ ]aac-tactics_8.18.0-1build3.dsc2024-04-08 07:57 2.1K 
[ ]aac-tactics_8.18.0-1build4.debian.tar.xz2024-05-02 20:28 3.8K 
[ ]aac-tactics_8.18.0-1build4.dsc2024-05-02 20:28 2.1K 
[ ]aac-tactics_8.18.0.orig.tar.gz2023-12-21 23:52 74K 
[ ]aac-tactics_8.19.0-1.debian.tar.xz2024-05-03 01:55 3.6K 
[ ]aac-tactics_8.19.0-1.dsc2024-05-03 01:55 2.1K 
[ ]aac-tactics_8.19.0-1build1.debian.tar.xz2024-05-13 18:39 3.7K 
[ ]aac-tactics_8.19.0-1build1.dsc2024-05-13 18:39 2.1K 
[ ]aac-tactics_8.19.0.orig.tar.gz2024-05-03 01:55 75K 
[ ]aac-tactics_8.19.1-1.debian.tar.xz2024-06-11 17:54 3.7K 
[ ]aac-tactics_8.19.1-1.dsc2024-06-11 17:54 2.1K 
[ ]aac-tactics_8.19.1-1build1.debian.tar.xz2024-06-15 14:43 3.7K 
[ ]aac-tactics_8.19.1-1build1.dsc2024-06-15 14:43 2.1K 
[ ]aac-tactics_8.19.1-2.debian.tar.xz2024-08-03 23:25 3.7K 
[ ]aac-tactics_8.19.1-2.dsc2024-08-03 23:25 1.8K 
[ ]aac-tactics_8.19.1-2build1.debian.tar.xz2024-08-09 13:49 3.8K 
[ ]aac-tactics_8.19.1-2build1.dsc2024-08-09 13:49 2.1K 
[ ]aac-tactics_8.19.1-2build2.debian.tar.xz2024-09-06 23:05 3.8K 
[ ]aac-tactics_8.19.1-2build2.dsc2024-09-06 23:05 2.1K 
[ ]aac-tactics_8.19.1-2build3.debian.tar.xz2024-09-07 15:43 3.8K 
[ ]aac-tactics_8.19.1-2build3.dsc2024-09-07 15:43 2.1K 
[ ]aac-tactics_8.19.1.orig.tar.gz2024-06-11 17:54 75K 
[ ]aac-tactics_8.20.0-1.debian.tar.xz2024-11-20 18:47 3.7K 
[ ]aac-tactics_8.20.0-1.dsc2024-11-20 18:47 2.1K 
[ ]aac-tactics_8.20.0-1build1.debian.tar.xz2025-01-30 21:56 3.8K 
[ ]aac-tactics_8.20.0-1build1.dsc2025-01-30 21:56 2.1K 
[ ]aac-tactics_8.20.0-1build2.debian.tar.xz2025-02-12 22:46 3.8K 
[ ]aac-tactics_8.20.0-1build2.dsc2025-02-12 22:46 2.1K 
[ ]aac-tactics_8.20.0-1build3.debian.tar.xz2025-02-18 21:25 3.9K 
[ ]aac-tactics_8.20.0-1build3.dsc2025-02-18 21:25 2.1K 
[ ]aac-tactics_8.20.0-1build4.debian.tar.xz2025-06-19 17:20 3.9K 
[ ]aac-tactics_8.20.0-1build4.dsc2025-06-19 17:20 2.1K 
[ ]aac-tactics_8.20.0.orig.tar.gz2024-11-20 18:47 76K 
[ ]libaac-tactics-coq_0.2.pl2-2_all.deb2011-05-20 18:05 298K 
[ ]libaac-tactics-coq_0.2.pl2-2build1_all.deb2011-08-25 11:03 298K 
[ ]libaac-tactics-coq_0.2.pl2-3_all.deb2011-11-10 17:10 298K 
[ ]libaac-tactics-coq_0.2.pl2-3build1_all.deb2011-11-12 01:03 298K 
[ ]libaac-tactics-coq_0.2.pl2-3build2_all.deb2011-11-19 19:04 298K 
[ ]libaac-tactics-coq_0.2.pl2-4_all.deb2012-01-08 02:34 311K 
[ ]libaac-tactics-coq_0.2.pl2-4build1_all.deb2012-01-08 15:33 309K 
[ ]libaac-tactics-coq_0.2.pl2-6_all.deb2012-04-30 23:58 311K 
[ ]libaac-tactics-coq_0.2.pl2-7_all.deb2012-06-10 17:34 312K 
[ ]libaac-tactics-coq_0.3.pl1-1_all.deb2013-05-09 17:33 287K 
[ ]libaac-tactics-coq_0.4-1_all.deb2013-12-06 17:23 207K 
[ ]libaac-tactics-coq_0.4-1build1_all.deb2013-12-23 22:58 208K 
[ ]libaac-tactics-coq_0.4-2_all.deb2014-01-20 11:33 208K 
[ ]libaac-tactics-coq_0.4-3_all.deb2014-07-30 17:45 208K 
[ ]libaac-tactics-coq_0.4-4_all.deb2015-08-10 23:24 208K 
[ ]libaac-tactics-coq_0.4-5_all.deb2015-10-23 21:41 208K 
[ ]libaac-tactics-coq_0.4-5build1_all.deb2015-10-29 00:09 208K 
[ ]libaac-tactics-coq_0.4-5build2_all.deb2015-11-05 00:33 208K 
[ ]libaac-tactics-coq_8.5.1-1_all.deb2016-11-23 20:03 212K 
[ ]libaac-tactics-coq_8.6.1-1_all.deb2016-12-30 17:23 215K 
[ ]libaac-tactics-coq_8.6.1-1build1_all.deb2017-07-03 00:48 215K 
[ ]libaac-tactics-coq_8.6.1-1build2_all.deb2017-07-16 22:03 216K 
[ ]libaac-tactics-coq_8.6.1-1build3_all.deb2017-07-16 23:03 215K 
[ ]libaac-tactics-coq_8.6.1-1build4_all.deb2017-08-31 01:24 216K 
[ ]libaac-tactics-coq_8.6.1-1build5_all.deb2017-10-28 17:03 216K 
[ ]libaac-tactics-coq_8.6.1-2_all.deb2017-11-01 13:05 216K 
[ ]libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb2019-02-18 11:33 214K 
[ ]libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build2_all.deb2019-07-29 14:13 214K 
[ ]libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build3_all.deb2019-08-05 13:03 214K 
[ ]libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build4_all.deb2019-08-21 17:18 214K 
[ ]libaac-tactics-coq_8.9.0-1_all.deb2020-02-24 18:13 243K 
[ ]libaac-tactics-coq_8.11.0-1_all.deb2020-03-18 19:48 238K 
[ ]libaac-tactics-coq_8.11.0-1build1_all.deb2020-05-13 13:33 238K 
[ ]libaac-tactics-coq_8.11.0-1build2_all.deb2020-08-11 08:33 238K 
[ ]libaac-tactics-coq_8.11.0-1build3_all.deb2020-08-23 11:33 238K 
[ ]libaac-tactics-coq_8.15.0-1_all.deb2022-02-06 19:04 282K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-2_amd64.deb2011-05-20 18:05 129K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-2_i386.deb2011-05-20 18:05 127K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb2011-08-25 11:03 133K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb2011-08-25 11:04 127K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-3_amd64.deb2011-11-10 18:13 129K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-3_i386.deb2011-11-10 17:10 127K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-3build1_amd64.deb2011-11-12 01:03 129K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-3build1_i386.deb2011-11-12 01:04 127K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-3build2_amd64.deb2011-11-19 19:04 133K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-3build2_i386.deb2011-11-19 19:04 127K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-4_amd64.deb2012-01-08 02:34 133K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-4_i386.deb2012-01-08 02:35 130K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb2012-01-08 15:33 133K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb2012-01-08 15:33 127K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-6_amd64.deb2012-04-30 23:58 133K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-6_i386.deb2012-05-01 00:09 132K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb2012-06-10 17:34 133K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb2012-06-10 17:35 130K 
[ ]libaac-tactics-ocaml-dev_0.3.pl1-1_amd64.deb2013-05-09 17:33 61K 
[ ]libaac-tactics-ocaml-dev_0.3.pl1-1_arm64.deb2013-10-29 03:08 63K 
[ ]libaac-tactics-ocaml-dev_0.3.pl1-1_i386.deb2013-05-09 17:34 62K 
[ ]libaac-tactics-ocaml-dev_0.4-1_amd64.deb2013-12-06 17:23 42K 
[ ]libaac-tactics-ocaml-dev_0.4-1_i386.deb2013-12-06 17:23 42K 
[ ]libaac-tactics-ocaml-dev_0.4-1build1_amd64.deb2013-12-23 22:58 43K 
[ ]libaac-tactics-ocaml-dev_0.4-1build1_i386.deb2013-12-23 22:58 43K 
[ ]libaac-tactics-ocaml-dev_0.4-2_amd64.deb2014-01-20 11:33 43K 
[ ]libaac-tactics-ocaml-dev_0.4-2_i386.deb2014-01-20 11:33 43K 
[ ]libaac-tactics-ocaml-dev_0.4-3_amd64.deb2014-07-30 18:37 44K 
[ ]libaac-tactics-ocaml-dev_0.4-3_i386.deb2014-07-30 17:45 43K 
[ ]libaac-tactics-ocaml-dev_0.4-4_amd64.deb2015-08-10 23:24 43K 
[ ]libaac-tactics-ocaml-dev_0.4-4_i386.deb2015-08-10 23:24 43K 
[ ]libaac-tactics-ocaml-dev_0.4-5_amd64.deb2015-10-23 21:41 43K 
[ ]libaac-tactics-ocaml-dev_0.4-5_i386.deb2015-10-23 21:44 44K 
[ ]libaac-tactics-ocaml-dev_0.4-5build1_amd64.deb2015-10-29 00:09 44K 
[ ]libaac-tactics-ocaml-dev_0.4-5build1_i386.deb2015-10-29 00:10 43K 
[ ]libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb2015-11-05 00:33 43K 
[ ]libaac-tactics-ocaml-dev_0.4-5build2_i386.deb2015-11-05 00:34 43K 
[ ]libaac-tactics-ocaml-dev_8.5.1-1_amd64.deb2016-11-23 20:03 37K 
[ ]libaac-tactics-ocaml-dev_8.5.1-1_i386.deb2016-11-23 20:03 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb2016-12-30 17:23 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_i386.deb2016-12-30 17:24 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1build1_amd64.deb2017-07-03 00:48 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1build1_i386.deb2017-07-03 00:48 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1build2_amd64.deb2017-07-16 22:03 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1build2_i386.deb2017-07-16 22:03 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1build3_amd64.deb2017-07-16 23:03 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1build3_i386.deb2017-07-16 23:03 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1build4_amd64.deb2017-08-31 01:24 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1build4_i386.deb2017-08-31 01:24 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1build5_amd64.deb2017-10-28 17:03 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1build5_i386.deb2017-10-28 17:03 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb2017-11-01 13:05 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-2_i386.deb2017-11-01 13:05 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb2019-02-18 11:33 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_i386.deb2019-02-18 11:33 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build2_amd64.deb2019-07-29 14:13 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build2_i386.deb2019-07-29 14:13 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build3_amd64.deb2019-08-05 13:03 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build3_i386.deb2019-08-05 13:04 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_amd64.deb2019-08-21 17:18 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_i386.deb2019-08-21 17:18 37K 
[ ]libaac-tactics-ocaml-dev_8.9.0-1_amd64.deb2020-02-24 18:13 39K 
[ ]libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb2020-03-18 19:48 38K 
[ ]libaac-tactics-ocaml-dev_8.11.0-1build1_amd64.deb2020-05-13 13:33 38K 
[ ]libaac-tactics-ocaml-dev_8.11.0-1build2_amd64.deb2020-08-11 08:33 38K 
[ ]libaac-tactics-ocaml-dev_8.11.0-1build3_amd64.deb2020-08-23 11:33 38K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb2022-02-06 19:04 40K 
[ ]libaac-tactics-ocaml-dev_8.15.1-3_amd64.deb2022-04-30 02:25 40K 
[ ]libaac-tactics-ocaml-dev_8.15.1-3build1_amd64.deb2022-05-02 07:24 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-4_amd64.deb2022-05-22 23:35 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-4build1_amd64.deb2022-06-01 16:09 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-5_amd64.deb2022-06-01 17:34 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb2022-06-12 17:24 39K 
[ ]libaac-tactics-ocaml_0.2.pl2-2_amd64.deb2011-05-20 18:05 139K 
[ ]libaac-tactics-ocaml_0.2.pl2-2_i386.deb2011-05-20 18:05 121K 
[ ]libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb2011-08-25 11:03 140K 
[ ]libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb2011-08-25 11:04 122K 
[ ]libaac-tactics-ocaml_0.2.pl2-3_amd64.deb2011-11-10 18:13 139K 
[ ]libaac-tactics-ocaml_0.2.pl2-3_i386.deb2011-11-10 17:10 122K 
[ ]libaac-tactics-ocaml_0.2.pl2-3build1_amd64.deb2011-11-12 01:03 140K 
[ ]libaac-tactics-ocaml_0.2.pl2-3build1_i386.deb2011-11-12 01:04 122K 
[ ]libaac-tactics-ocaml_0.2.pl2-3build2_amd64.deb2011-11-19 19:04 139K 
[ ]libaac-tactics-ocaml_0.2.pl2-3build2_i386.deb2011-11-19 19:04 121K 
[ ]libaac-tactics-ocaml_0.2.pl2-4_amd64.deb2012-01-08 02:34 139K 
[ ]libaac-tactics-ocaml_0.2.pl2-4_i386.deb2012-01-08 02:35 122K 
[ ]libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb2012-01-08 15:33 139K 
[ ]libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb2012-01-08 15:33 122K 
[ ]libaac-tactics-ocaml_0.2.pl2-6_amd64.deb2012-04-30 23:58 139K 
[ ]libaac-tactics-ocaml_0.2.pl2-6_i386.deb2012-05-01 00:09 122K 
[ ]libaac-tactics-ocaml_0.2.pl2-7_amd64.deb2012-06-10 17:34 139K 
[ ]libaac-tactics-ocaml_0.2.pl2-7_i386.deb2012-06-10 17:35 122K 
[ ]libaac-tactics-ocaml_0.3.pl1-1_amd64.deb2013-05-09 17:33 139K 
[ ]libaac-tactics-ocaml_0.3.pl1-1_arm64.deb2013-10-29 03:08 32K 
[ ]libaac-tactics-ocaml_0.3.pl1-1_i386.deb2013-05-09 17:34 121K 
[ ]libaac-tactics-ocaml_0.4-1_amd64.deb2013-12-06 17:23 106K 
[ ]libaac-tactics-ocaml_0.4-1_i386.deb2013-12-06 17:23 97K 
[ ]libaac-tactics-ocaml_0.4-1build1_amd64.deb2013-12-23 22:58 125K 
[ ]libaac-tactics-ocaml_0.4-1build1_i386.deb2013-12-23 22:58 114K 
[ ]libaac-tactics-ocaml_0.4-2_amd64.deb2014-01-20 11:33 125K 
[ ]libaac-tactics-ocaml_0.4-2_i386.deb2014-01-20 11:33 114K 
[ ]libaac-tactics-ocaml_0.4-3_amd64.deb2014-07-30 18:37 125K 
[ ]libaac-tactics-ocaml_0.4-3_i386.deb2014-07-30 17:45 114K 
[ ]libaac-tactics-ocaml_0.4-4_amd64.deb2015-08-10 23:24 125K 
[ ]libaac-tactics-ocaml_0.4-4_i386.deb2015-08-10 23:24 114K 
[ ]libaac-tactics-ocaml_0.4-5_amd64.deb2015-10-23 21:41 125K 
[ ]libaac-tactics-ocaml_0.4-5_i386.deb2015-10-23 21:44 114K 
[ ]libaac-tactics-ocaml_0.4-5build1_amd64.deb2015-10-29 00:09 125K 
[ ]libaac-tactics-ocaml_0.4-5build1_i386.deb2015-10-29 00:10 114K 
[ ]libaac-tactics-ocaml_0.4-5build2_amd64.deb2015-11-05 00:33 117K 
[ ]libaac-tactics-ocaml_0.4-5build2_i386.deb2015-11-05 00:34 109K 
[ ]libaac-tactics-ocaml_8.5.1-1_amd64.deb2016-11-23 20:03 111K 
[ ]libaac-tactics-ocaml_8.5.1-1_i386.deb2016-11-23 20:03 104K 
[ ]libaac-tactics-ocaml_8.6.1-1_amd64.deb2016-12-30 17:23 107K 
[ ]libaac-tactics-ocaml_8.6.1-1_i386.deb2016-12-30 17:24 101K 
[ ]libaac-tactics-ocaml_8.6.1-1build1_amd64.deb2017-07-03 00:48 118K 
[ ]libaac-tactics-ocaml_8.6.1-1build1_i386.deb2017-07-03 00:48 107K 
[ ]libaac-tactics-ocaml_8.6.1-1build2_amd64.deb2017-07-16 22:03 118K 
[ ]libaac-tactics-ocaml_8.6.1-1build2_i386.deb2017-07-16 22:03 107K 
[ ]libaac-tactics-ocaml_8.6.1-1build3_amd64.deb2017-07-16 23:03 118K 
[ ]libaac-tactics-ocaml_8.6.1-1build3_i386.deb2017-07-16 23:03 107K 
[ ]libaac-tactics-ocaml_8.6.1-1build4_amd64.deb2017-08-31 01:24 118K 
[ ]libaac-tactics-ocaml_8.6.1-1build4_i386.deb2017-08-31 01:24 107K 
[ ]libaac-tactics-ocaml_8.6.1-1build5_amd64.deb2017-10-28 17:03 117K 
[ ]libaac-tactics-ocaml_8.6.1-1build5_i386.deb2017-10-28 17:03 108K 
[ ]libaac-tactics-ocaml_8.6.1-2_amd64.deb2017-11-01 13:05 117K 
[ ]libaac-tactics-ocaml_8.6.1-2_i386.deb2017-11-01 13:05 108K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb2019-02-18 11:33 118K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_i386.deb2019-02-18 11:33 108K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build2_amd64.deb2019-07-29 14:13 118K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build2_i386.deb2019-07-29 14:13 108K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build3_amd64.deb2019-08-05 13:03 118K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build3_i386.deb2019-08-05 13:04 108K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_amd64.deb2019-08-21 17:18 118K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_i386.deb2019-08-21 17:18 108K 
[ ]libaac-tactics-ocaml_8.9.0-1_amd64.deb2020-02-24 18:13 116K 
[ ]libaac-tactics-ocaml_8.11.0-1_amd64.deb2020-03-18 19:48 104K 
[ ]libaac-tactics-ocaml_8.11.0-1build1_amd64.deb2020-05-13 13:33 104K 
[ ]libaac-tactics-ocaml_8.11.0-1build2_amd64.deb2020-08-11 08:33 104K 
[ ]libaac-tactics-ocaml_8.11.0-1build3_amd64.deb2020-08-23 11:33 105K 
[ ]libaac-tactics-ocaml_8.15.0-1_amd64.deb2022-02-06 19:04 128K 
[ ]libaac-tactics-ocaml_8.15.1-3_amd64.deb2022-04-30 02:25 128K 
[ ]libaac-tactics-ocaml_8.15.1-3build1_amd64.deb2022-05-02 07:24 123K 
[ ]libaac-tactics-ocaml_8.15.1-4_amd64.deb2022-05-22 23:35 123K 
[ ]libaac-tactics-ocaml_8.15.1-4build1_amd64.deb2022-06-01 16:09 123K 
[ ]libaac-tactics-ocaml_8.15.1-5_amd64.deb2022-06-01 17:34 123K 
[ ]libaac-tactics-ocaml_8.15.1-6_amd64.deb2022-06-12 17:24 123K 
[ ]libcoq-aac-tactics_8.15.1-3_amd64.deb2022-04-30 02:25 287K 
[ ]libcoq-aac-tactics_8.15.1-3build1_amd64.deb2022-05-02 07:24 282K 
[ ]libcoq-aac-tactics_8.15.1-4_amd64.deb2022-05-22 23:35 282K 
[ ]libcoq-aac-tactics_8.15.1-4build1_amd64.deb2022-06-01 16:09 282K 
[ ]libcoq-aac-tactics_8.15.1-5_amd64.deb2022-06-01 17:34 282K 
[ ]libcoq-aac-tactics_8.15.1-6_amd64.deb2022-06-12 17:24 282K 
[ ]libcoq-aac-tactics_8.16.0-1_amd64.deb2022-11-06 07:55 417K 
[ ]libcoq-aac-tactics_8.16.0-1build2_amd64.deb2022-11-25 18:41 417K 
[ ]libcoq-aac-tactics_8.16.0-1build3_amd64.deb2022-12-03 09:59 416K 
[ ]libcoq-aac-tactics_8.17.0-1_amd64.deb2023-01-04 23:34 416K 
[ ]libcoq-aac-tactics_8.17.0-1build1_amd64.deb2023-01-26 09:38 416K 
[ ]libcoq-aac-tactics_8.17.0-1build2_amd64.deb2023-02-16 12:57 415K 
[ ]libcoq-aac-tactics_8.17.0-2_amd64.deb2023-06-13 05:30 415K 
[ ]libcoq-aac-tactics_8.17.0-2build1_amd64.deb2023-07-24 20:24 415K 
[ ]libcoq-aac-tactics_8.17.0-3_amd64.deb2023-11-05 21:09 415K 
[ ]libcoq-aac-tactics_8.17.0-3build1_amd64.deb2023-11-23 00:05 415K 
[ ]libcoq-aac-tactics_8.18.0-1_amd64.deb2023-12-23 00:12 526K 
[ ]libcoq-aac-tactics_8.18.0-1build3_amd64.deb2024-04-08 07:57 412K 
[ ]libcoq-aac-tactics_8.18.0-1build4_amd64.deb2024-05-02 20:28 421K 
[ ]libcoq-aac-tactics_8.19.0-1_amd64.deb2024-05-03 01:56 421K 
[ ]libcoq-aac-tactics_8.19.0-1build1_amd64.deb2024-05-13 18:40 421K 
[ ]libcoq-aac-tactics_8.19.1-1_amd64.deb2024-06-11 17:54 428K 
[ ]libcoq-aac-tactics_8.19.1-1build1_amd64.deb2024-06-15 14:43 426K 
[ ]libcoq-aac-tactics_8.19.1-2_amd64.deb2024-08-04 00:14 426K 
[ ]libcoq-aac-tactics_8.19.1-2build1_amd64.deb2024-08-14 13:42 430K 
[ ]libcoq-aac-tactics_8.19.1-2build2_amd64.deb2024-09-06 23:05 430K 
[ ]libcoq-aac-tactics_8.19.1-2build3_amd64.deb2024-09-07 15:44 430K 
[ ]libcoq-aac-tactics_8.20.0-1_amd64.deb2024-11-20 21:31 421K 
[ ]libcoq-aac-tactics_8.20.0-1build1_amd64.deb2025-02-01 17:02 421K 
[ ]libcoq-aac-tactics_8.20.0-1build2_amd64.deb2025-02-13 02:08 421K 
[ ]libcoq-aac-tactics_8.20.0-1build3_amd64.deb2025-02-18 21:25 421K 
[ ]libcoq-aac-tactics_8.20.0-1build4_amd64.deb2025-06-20 04:01 420K 
Apache/2.4.12 (Ubuntu) Server at 212.25.29.199 Port 8080