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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libcoq-aac-tactics_8.18.0-1build3_amd64.deb2024-04-08 09:57 412K 
[ ]libcoq-aac-tactics_8.18.0-1build2_amd64.deb2024-03-31 21:33 412K 
[ ]libcoq-aac-tactics_8.18.0-1build1_amd64.deb2024-03-24 01:53 412K 
[ ]libcoq-aac-tactics_8.18.0-1_amd64.deb2023-12-23 01:12 526K 
[ ]libcoq-aac-tactics_8.17.0-3build1_amd64.deb2023-11-23 01:05 415K 
[ ]libcoq-aac-tactics_8.17.0-3_amd64.deb2023-11-05 22:09 415K 
[ ]libcoq-aac-tactics_8.17.0-2build1_amd64.deb2023-07-24 22:24 415K 
[ ]libcoq-aac-tactics_8.17.0-2_amd64.deb2023-06-13 07:30 415K 
[ ]libcoq-aac-tactics_8.17.0-1build2_amd64.deb2023-02-16 13:57 415K 
[ ]libcoq-aac-tactics_8.17.0-1build1_amd64.deb2023-01-26 10:38 416K 
[ ]libcoq-aac-tactics_8.17.0-1_amd64.deb2023-01-05 00:34 416K 
[ ]libcoq-aac-tactics_8.16.0-1build3_amd64.deb2022-12-03 10:59 416K 
[ ]libcoq-aac-tactics_8.16.0-1build2_amd64.deb2022-11-25 19:41 417K 
[ ]libcoq-aac-tactics_8.16.0-1build1_amd64.deb2022-11-25 12:14 417K 
[ ]libcoq-aac-tactics_8.16.0-1_amd64.deb2022-11-06 08:55 417K 
[ ]libcoq-aac-tactics_8.15.1-6_amd64.deb2022-06-12 19:24 282K 
[ ]libcoq-aac-tactics_8.15.1-5_amd64.deb2022-06-01 19:34 282K 
[ ]libcoq-aac-tactics_8.15.1-4build1_amd64.deb2022-06-01 18:09 282K 
[ ]libcoq-aac-tactics_8.15.1-4_amd64.deb2022-05-23 01:35 282K 
[ ]libcoq-aac-tactics_8.15.1-3build1_amd64.deb2022-05-02 09:24 282K 
[ ]libcoq-aac-tactics_8.15.1-3_amd64.deb2022-04-30 04:25 287K 
[ ]libaac-tactics-ocaml_8.15.1-6_amd64.deb2022-06-12 19:24 123K 
[ ]libaac-tactics-ocaml_8.15.1-5_amd64.deb2022-06-01 19:34 123K 
[ ]libaac-tactics-ocaml_8.15.1-4build1_amd64.deb2022-06-01 18:09 123K 
[ ]libaac-tactics-ocaml_8.15.1-4_amd64.deb2022-05-23 01:35 123K 
[ ]libaac-tactics-ocaml_8.15.1-3build1_amd64.deb2022-05-02 09:24 123K 
[ ]libaac-tactics-ocaml_8.15.1-3_amd64.deb2022-04-30 04:25 128K 
[ ]libaac-tactics-ocaml_8.15.0-1_amd64.deb2022-02-06 20:04 128K 
[ ]libaac-tactics-ocaml_8.11.0-1build3_amd64.deb2020-08-23 13:33 105K 
[ ]libaac-tactics-ocaml_8.11.0-1build2_amd64.deb2020-08-11 10:33 104K 
[ ]libaac-tactics-ocaml_8.11.0-1build1_amd64.deb2020-05-13 15:33 104K 
[ ]libaac-tactics-ocaml_8.11.0-1_amd64.deb2020-03-18 20:48 104K 
[ ]libaac-tactics-ocaml_8.9.0-1_amd64.deb2020-02-24 19:13 116K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_i386.deb2019-08-21 19:18 108K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_amd64.deb2019-08-21 19:18 118K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build3_amd64.deb2019-08-05 15:03 118K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build2_amd64.deb2019-07-29 16:13 118K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build1_amd64.deb2019-07-26 23:38 118K 
[ ]libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb2019-02-18 12:33 118K 
[ ]libaac-tactics-ocaml_8.6.1-2_i386.deb2017-11-01 14:05 108K 
[ ]libaac-tactics-ocaml_8.6.1-2_amd64.deb2017-11-01 14:05 117K 
[ ]libaac-tactics-ocaml_8.6.1-1build5_amd64.deb2017-10-28 19:03 117K 
[ ]libaac-tactics-ocaml_8.6.1-1build4_amd64.deb2017-08-31 03:24 118K 
[ ]libaac-tactics-ocaml_8.6.1-1_amd64.deb2016-12-30 18:23 107K 
[ ]libaac-tactics-ocaml_0.4-5build2_i386.deb2015-11-05 01:34 109K 
[ ]libaac-tactics-ocaml_0.4-5build2_amd64.deb2015-11-05 01:33 117K 
[ ]libaac-tactics-ocaml_0.4-3_amd64.deb2014-07-30 20:37 125K 
[ ]libaac-tactics-ocaml_0.4-2_i386.deb2014-01-20 12:33 114K 
[ ]libaac-tactics-ocaml_0.4-2_amd64.deb2014-01-20 12:33 125K 
[ ]libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb2012-01-08 16:33 122K 
[ ]libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb2012-01-08 16:33 139K 
[ ]libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb2022-06-12 19:24 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-5_amd64.deb2022-06-01 19:34 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-4build1_amd64.deb2022-06-01 18:09 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-4_amd64.deb2022-05-23 01:35 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-3build1_amd64.deb2022-05-02 09:24 39K 
[ ]libaac-tactics-ocaml-dev_8.15.1-3_amd64.deb2022-04-30 04:25 40K 
[ ]libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb2022-02-06 20:04 40K 
[ ]libaac-tactics-ocaml-dev_8.11.0-1build3_amd64.deb2020-08-23 13:33 38K 
[ ]libaac-tactics-ocaml-dev_8.11.0-1build2_amd64.deb2020-08-11 10:33 38K 
[ ]libaac-tactics-ocaml-dev_8.11.0-1build1_amd64.deb2020-05-13 15:33 38K 
[ ]libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb2020-03-18 20:48 38K 
[ ]libaac-tactics-ocaml-dev_8.9.0-1_amd64.deb2020-02-24 19:13 39K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_i386.deb2019-08-21 19:18 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_amd64.deb2019-08-21 19:18 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build3_amd64.deb2019-08-05 15:03 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build2_amd64.deb2019-07-29 16:13 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build1_amd64.deb2019-07-26 23:38 37K 
[ ]libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb2019-02-18 12:33 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-2_i386.deb2017-11-01 14:05 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb2017-11-01 14:05 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1build5_amd64.deb2017-10-28 19:03 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1build4_amd64.deb2017-08-31 03:24 37K 
[ ]libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb2016-12-30 18:23 37K 
[ ]libaac-tactics-ocaml-dev_0.4-5build2_i386.deb2015-11-05 01:34 43K 
[ ]libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb2015-11-05 01:33 43K 
[ ]libaac-tactics-ocaml-dev_0.4-3_amd64.deb2014-07-30 20:37 44K 
[ ]libaac-tactics-ocaml-dev_0.4-2_i386.deb2014-01-20 12:33 43K 
[ ]libaac-tactics-ocaml-dev_0.4-2_amd64.deb2014-01-20 12:33 43K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb2012-01-08 16:33 127K 
[ ]libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb2012-01-08 16:33 133K 
[ ]libaac-tactics-coq_8.15.0-1_all.deb2022-02-06 20:04 282K 
[ ]libaac-tactics-coq_8.11.0-1build3_all.deb2020-08-23 13:33 238K 
[ ]libaac-tactics-coq_8.11.0-1build2_all.deb2020-08-11 10:33 238K 
[ ]libaac-tactics-coq_8.11.0-1build1_all.deb2020-05-13 15:33 238K 
[ ]libaac-tactics-coq_8.11.0-1_all.deb2020-03-18 20:48 238K 
[ ]libaac-tactics-coq_8.9.0-1_all.deb2020-02-24 19:13 243K 
[ ]libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build4_all.deb2019-08-21 19:18 214K 
[ ]libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build3_all.deb2019-08-05 15:03 214K 
[ ]libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build2_all.deb2019-07-29 16:13 214K 
[ ]libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build1_all.deb2019-07-26 23:38 214K 
[ ]libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb2019-02-18 12:33 214K 
[ ]libaac-tactics-coq_8.6.1-2_all.deb2017-11-01 14:05 216K 
[ ]libaac-tactics-coq_8.6.1-1build5_all.deb2017-10-28 19:03 216K 
[ ]libaac-tactics-coq_8.6.1-1build4_all.deb2017-08-31 03:24 216K 
[ ]libaac-tactics-coq_8.6.1-1_all.deb2016-12-30 18:23 215K 
[ ]libaac-tactics-coq_0.4-5build2_all.deb2015-11-05 01:33 208K 
[ ]libaac-tactics-coq_0.4-3_all.deb2014-07-30 19:45 208K 
[ ]libaac-tactics-coq_0.4-2_all.deb2014-01-20 12:33 208K 
[ ]libaac-tactics-coq_0.2.pl2-4build1_all.deb2012-01-08 16:33 309K 
[ ]aac-tactics_8.18.0.orig.tar.gz2023-12-22 00:52 74K 
[ ]aac-tactics_8.18.0-1build3.dsc2024-04-08 09:57 2.1K 
[ ]aac-tactics_8.18.0-1build3.debian.tar.xz2024-04-08 09:57 3.8K 
[ ]aac-tactics_8.18.0-1build2.dsc2024-03-31 19:45 2.2K 
[ ]aac-tactics_8.18.0-1build2.debian.tar.xz2024-03-31 19:45 3.8K 
[ ]aac-tactics_8.18.0-1build1.dsc2024-03-24 01:53 2.2K 
[ ]aac-tactics_8.18.0-1build1.debian.tar.xz2024-03-24 01:53 3.7K 
[ ]aac-tactics_8.18.0-1.dsc2023-12-22 00:52 2.1K 
[ ]aac-tactics_8.18.0-1.debian.tar.xz2023-12-22 00:52 3.6K 
[ ]aac-tactics_8.17.0.orig.tar.gz2023-01-05 00:34 74K 
[ ]aac-tactics_8.17.0-3build1.dsc2023-11-23 01:05 2.1K 
[ ]aac-tactics_8.17.0-3build1.debian.tar.xz2023-11-23 01:05 3.7K 
[ ]aac-tactics_8.17.0-3.dsc2023-10-26 17:43 1.8K 
[ ]aac-tactics_8.17.0-3.debian.tar.xz2023-10-26 17:43 3.6K 
[ ]aac-tactics_8.17.0-2build1.dsc2023-07-24 19:37 2.1K 
[ ]aac-tactics_8.17.0-2build1.debian.tar.xz2023-07-24 19:37 3.6K 
[ ]aac-tactics_8.17.0-2.dsc2023-06-13 07:30 2.1K 
[ ]aac-tactics_8.17.0-2.debian.tar.xz2023-06-13 07:30 3.6K 
[ ]aac-tactics_8.17.0-1build2.dsc2023-02-16 11:06 2.1K 
[ ]aac-tactics_8.17.0-1build2.debian.tar.xz2023-02-16 11:06 3.5K 
[ ]aac-tactics_8.17.0-1build1.dsc2023-01-26 09:54 2.1K 
[ ]aac-tactics_8.17.0-1build1.debian.tar.xz2023-01-26 09:54 3.5K 
[ ]aac-tactics_8.17.0-1.dsc2023-01-05 00:34 2.1K 
[ ]aac-tactics_8.17.0-1.debian.tar.xz2023-01-05 00:34 3.5K 
[ ]aac-tactics_8.16.0.orig.tar.gz2022-11-06 04:19 74K 
[ ]aac-tactics_8.16.0-1build3.dsc2022-12-03 10:59 2.1K 
[ ]aac-tactics_8.16.0-1build3.debian.tar.xz2022-12-03 10:59 3.5K 
[ ]aac-tactics_8.16.0-1build2.dsc2022-11-25 19:40 2.1K 
[ ]aac-tactics_8.16.0-1build2.debian.tar.xz2022-11-25 19:40 3.5K 
[ ]aac-tactics_8.16.0-1build1.dsc2022-11-25 12:14 2.1K 
[ ]aac-tactics_8.16.0-1build1.debian.tar.xz2022-11-25 12:14 3.5K 
[ ]aac-tactics_8.16.0-1.dsc2022-11-06 04:19 2.1K 
[ ]aac-tactics_8.16.0-1.debian.tar.xz2022-11-06 04:19 3.4K 
[ ]aac-tactics_8.15.1.orig.tar.gz2022-04-30 03:03 67K 
[ ]aac-tactics_8.15.1-6.dsc2022-06-12 19:24 2.2K 
[ ]aac-tactics_8.15.1-6.debian.tar.xz2022-06-12 19:24 3.7K 
[ ]aac-tactics_8.15.1-5.dsc2022-06-01 19:34 2.2K 
[ ]aac-tactics_8.15.1-5.debian.tar.xz2022-06-01 19:34 3.7K 
[ ]aac-tactics_8.15.1-4build1.dsc2022-06-01 18:08 2.2K 
[ ]aac-tactics_8.15.1-4build1.debian.tar.xz2022-06-01 18:08 3.7K 
[ ]aac-tactics_8.15.1-4.dsc2022-05-23 01:35 2.2K 
[ ]aac-tactics_8.15.1-4.debian.tar.xz2022-05-23 01:35 3.7K 
[ ]aac-tactics_8.15.1-3build1.dsc2022-05-02 09:05 2.2K 
[ ]aac-tactics_8.15.1-3build1.debian.tar.xz2022-05-02 09:05 3.7K 
[ ]aac-tactics_8.15.1-3.dsc2022-04-30 03:03 2.2K 
[ ]aac-tactics_8.15.1-3.debian.tar.xz2022-04-30 03:03 3.7K 
[ ]aac-tactics_8.15.0.orig.tar.gz2022-02-06 18:19 67K 
[ ]aac-tactics_8.15.0-1.dsc2022-02-06 18:19 2.2K 
[ ]aac-tactics_8.15.0-1.debian.tar.xz2022-02-06 18:19 3.5K 
[ ]aac-tactics_8.11.0.orig.tar.gz2020-03-18 19:28 64K 
[ ]aac-tactics_8.11.0-1build4.dsc2020-09-16 11:49 2.2K 
[ ]aac-tactics_8.11.0-1build4.debian.tar.xz2020-09-16 11:49 3.5K 
[ ]aac-tactics_8.11.0-1build3.dsc2020-08-23 13:28 2.2K 
[ ]aac-tactics_8.11.0-1build3.debian.tar.xz2020-08-23 13:28 3.5K 
[ ]aac-tactics_8.11.0-1build2.dsc2020-08-11 10:18 2.2K 
[ ]aac-tactics_8.11.0-1build2.debian.tar.xz2020-08-11 10:18 3.5K 
[ ]aac-tactics_8.11.0-1build1.dsc2020-05-13 13:55 2.2K 
[ ]aac-tactics_8.11.0-1build1.debian.tar.xz2020-05-13 13:55 3.5K 
[ ]aac-tactics_8.11.0-1.dsc2020-03-18 19:28 2.1K 
[ ]aac-tactics_8.11.0-1.debian.tar.xz2020-03-18 19:28 3.4K 
[ ]aac-tactics_8.9.0.orig.tar.gz2020-02-03 00:23 65K 
[ ]aac-tactics_8.9.0-1build1.dsc2020-03-12 15:08 2.1K 
[ ]aac-tactics_8.9.0-1build1.debian.tar.xz2020-03-12 15:08 3.4K 
[ ]aac-tactics_8.9.0-1.dsc2020-02-03 00:23 1.9K 
[ ]aac-tactics_8.9.0-1.debian.tar.xz2020-02-03 00:23 3.3K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz2019-02-18 12:08 64K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc2019-08-21 19:08 2.2K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz2019-08-21 19:08 3.5K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build3.dsc2019-08-05 14:53 2.2K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build3.debian.tar.xz2019-08-05 14:53 3.5K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build2.dsc2019-07-29 15:58 2.2K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build2.debian.tar.xz2019-07-29 15:58 3.5K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build1.dsc2019-07-26 22:58 2.2K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1build1.debian.tar.xz2019-07-26 22:58 3.5K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1.dsc2019-02-18 12:08 2.2K 
[ ]aac-tactics_8.8.0+1.gbp069dc3b-1.debian.tar.xz2019-02-18 12:08 3.4K 
[ ]aac-tactics_8.6.1.orig.tar.gz2016-12-30 18:13 73K 
[ ]aac-tactics_8.6.1-2build1.dsc2019-01-15 15:48 2.2K 
[ ]aac-tactics_8.6.1-2build1.debian.tar.xz2019-01-15 15:48 3.2K 
[ ]aac-tactics_8.6.1-2.dsc2017-11-01 14:05 2.2K 
[ ]aac-tactics_8.6.1-2.debian.tar.xz2017-11-01 14:05 3.2K 
[ ]aac-tactics_8.6.1-1build5.dsc2017-10-28 18:19 2.2K 
[ ]aac-tactics_8.6.1-1build5.debian.tar.xz2017-10-28 18:19 3.4K 
[ ]aac-tactics_8.6.1-1build4.dsc2017-08-31 03:24 1.9K 
[ ]aac-tactics_8.6.1-1build4.debian.tar.xz2017-08-31 03:24 3.4K 
[ ]aac-tactics_8.6.1-1.dsc2016-12-30 18:13 2.2K 
[ ]aac-tactics_8.6.1-1.debian.tar.xz2016-12-30 18:13 3.1K 
[ ]aac-tactics_0.4.orig.tar.gz2013-12-06 18:23 76K 
[ ]aac-tactics_0.4-5build2.dsc2015-11-05 01:30 1.9K 
[ ]aac-tactics_0.4-5build2.debian.tar.xz2015-11-05 01:30 3.0K 
[ ]aac-tactics_0.4-3.dsc2014-07-30 19:44 2.2K 
[ ]aac-tactics_0.4-3.debian.tar.xz2014-07-30 19:44 2.9K 
[ ]aac-tactics_0.4-2.dsc2014-01-20 12:09 2.1K 
[ ]aac-tactics_0.4-2.debian.tar.xz2014-01-20 12:09 2.8K 
[ ]aac-tactics_0.2.pl2.orig.tar.gz2011-05-04 16:11 76K 
[ ]aac-tactics_0.2.pl2-4build1.dsc2012-01-08 16:33 2.2K 
[ ]aac-tactics_0.2.pl2-4build1.debian.tar.gz2012-01-08 16:33 2.7K