Index of /ubuntu/pool/universe/a/aac-tactics
Name
Last modified
Size
Description
Parent Directory
-
libcoq-aac-tactics_8.20.0-1_amd64.deb
2024-11-20 22:31
421K
libcoq-aac-tactics_8.19.1-2build3_amd64.deb
2024-09-07 17:44
430K
libcoq-aac-tactics_8.19.1-2build2_amd64.deb
2024-09-07 01:05
430K
libcoq-aac-tactics_8.19.1-2build1_amd64.deb
2024-08-14 15:42
430K
libcoq-aac-tactics_8.19.1-2_amd64.deb
2024-08-04 02:14
426K
libcoq-aac-tactics_8.19.1-1build1_amd64.deb
2024-06-15 16:43
426K
libcoq-aac-tactics_8.19.1-1_amd64.deb
2024-06-11 19:54
428K
libcoq-aac-tactics_8.19.0-1build1_amd64.deb
2024-05-13 20:40
421K
libcoq-aac-tactics_8.19.0-1_amd64.deb
2024-05-03 03:56
421K
libcoq-aac-tactics_8.18.0-1build4_amd64.deb
2024-05-02 22:28
421K
libcoq-aac-tactics_8.18.0-1build3_amd64.deb
2024-04-08 09:57
412K
libcoq-aac-tactics_8.18.0-1build2_amd64.deb
2024-03-31 21:33
412K
libcoq-aac-tactics_8.18.0-1build1_amd64.deb
2024-03-24 01:53
412K
libcoq-aac-tactics_8.18.0-1_amd64.deb
2023-12-23 01:12
526K
libcoq-aac-tactics_8.17.0-3build1_amd64.deb
2023-11-23 01:05
415K
libcoq-aac-tactics_8.17.0-3_amd64.deb
2023-11-05 22:09
415K
libcoq-aac-tactics_8.17.0-2build1_amd64.deb
2023-07-24 22:24
415K
libcoq-aac-tactics_8.17.0-2_amd64.deb
2023-06-13 07:30
415K
libcoq-aac-tactics_8.17.0-1build2_amd64.deb
2023-02-16 13:57
415K
libcoq-aac-tactics_8.17.0-1build1_amd64.deb
2023-01-26 10:38
416K
libcoq-aac-tactics_8.17.0-1_amd64.deb
2023-01-05 00:34
416K
libcoq-aac-tactics_8.16.0-1build3_amd64.deb
2022-12-03 10:59
416K
libcoq-aac-tactics_8.16.0-1build2_amd64.deb
2022-11-25 19:41
417K
libcoq-aac-tactics_8.16.0-1build1_amd64.deb
2022-11-25 12:14
417K
libcoq-aac-tactics_8.16.0-1_amd64.deb
2022-11-06 08:55
417K
libcoq-aac-tactics_8.15.1-6_amd64.deb
2022-06-12 19:24
282K
libcoq-aac-tactics_8.15.1-5_amd64.deb
2022-06-01 19:34
282K
libcoq-aac-tactics_8.15.1-4build1_amd64.deb
2022-06-01 18:09
282K
libcoq-aac-tactics_8.15.1-4_amd64.deb
2022-05-23 01:35
282K
libcoq-aac-tactics_8.15.1-3build1_amd64.deb
2022-05-02 09:24
282K
libcoq-aac-tactics_8.15.1-3_amd64.deb
2022-04-30 04:25
287K
libaac-tactics-ocaml_8.15.1-6_amd64.deb
2022-06-12 19:24
123K
libaac-tactics-ocaml_8.15.1-5_amd64.deb
2022-06-01 19:34
123K
libaac-tactics-ocaml_8.15.1-4build1_amd64.deb
2022-06-01 18:09
123K
libaac-tactics-ocaml_8.15.1-4_amd64.deb
2022-05-23 01:35
123K
libaac-tactics-ocaml_8.15.1-3build1_amd64.deb
2022-05-02 09:24
123K
libaac-tactics-ocaml_8.15.1-3_amd64.deb
2022-04-30 04:25
128K
libaac-tactics-ocaml_8.15.0-1_amd64.deb
2022-02-06 20:04
128K
libaac-tactics-ocaml_8.11.0-1build3_amd64.deb
2020-08-23 13:33
105K
libaac-tactics-ocaml_8.11.0-1build2_amd64.deb
2020-08-11 10:33
104K
libaac-tactics-ocaml_8.11.0-1build1_amd64.deb
2020-05-13 15:33
104K
libaac-tactics-ocaml_8.11.0-1_amd64.deb
2020-03-18 20:48
104K
libaac-tactics-ocaml_8.9.0-1_amd64.deb
2020-02-24 19:13
116K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_i386.deb
2019-08-21 19:18
108K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4_amd64.deb
2019-08-21 19:18
118K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build3_amd64.deb
2019-08-05 15:03
118K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build2_amd64.deb
2019-07-29 16:13
118K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build1_amd64.deb
2019-07-26 23:38
118K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1_amd64.deb
2019-02-18 12:33
118K
libaac-tactics-ocaml_8.6.1-2_i386.deb
2017-11-01 14:05
108K
libaac-tactics-ocaml_8.6.1-2_amd64.deb
2017-11-01 14:05
117K
libaac-tactics-ocaml_8.6.1-1build5_amd64.deb
2017-10-28 19:03
117K
libaac-tactics-ocaml_8.6.1-1build4_amd64.deb
2017-08-31 03:24
118K
libaac-tactics-ocaml_8.6.1-1_amd64.deb
2016-12-30 18:23
107K
libaac-tactics-ocaml_0.4-5build2_i386.deb
2015-11-05 01:34
109K
libaac-tactics-ocaml_0.4-5build2_amd64.deb
2015-11-05 01:33
117K
libaac-tactics-ocaml_0.4-3_amd64.deb
2014-07-30 20:37
125K
libaac-tactics-ocaml_0.4-2_i386.deb
2014-01-20 12:33
114K
libaac-tactics-ocaml_0.4-2_amd64.deb
2014-01-20 12:33
125K
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb
2012-01-08 16:33
122K
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb
2012-01-08 16:33
139K
libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb
2022-06-12 19:24
39K
libaac-tactics-ocaml-dev_8.15.1-5_amd64.deb
2022-06-01 19:34
39K
libaac-tactics-ocaml-dev_8.15.1-4build1_amd64.deb
2022-06-01 18:09
39K
libaac-tactics-ocaml-dev_8.15.1-4_amd64.deb
2022-05-23 01:35
39K
libaac-tactics-ocaml-dev_8.15.1-3build1_amd64.deb
2022-05-02 09:24
39K
libaac-tactics-ocaml-dev_8.15.1-3_amd64.deb
2022-04-30 04:25
40K
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb
2022-02-06 20:04
40K
libaac-tactics-ocaml-dev_8.11.0-1build3_amd64.deb
2020-08-23 13:33
38K
libaac-tactics-ocaml-dev_8.11.0-1build2_amd64.deb
2020-08-11 10:33
38K
libaac-tactics-ocaml-dev_8.11.0-1build1_amd64.deb
2020-05-13 15:33
38K
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb
2020-03-18 20:48
38K
libaac-tactics-ocaml-dev_8.9.0-1_amd64.deb
2020-02-24 19:13
39K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_i386.deb
2019-08-21 19:18
37K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build4_amd64.deb
2019-08-21 19:18
37K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build3_amd64.deb
2019-08-05 15:03
37K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build2_amd64.deb
2019-07-29 16:13
37K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1build1_amd64.deb
2019-07-26 23:38
37K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1_amd64.deb
2019-02-18 12:33
37K
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb
2017-11-01 14:05
37K
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
2017-11-01 14:05
37K
libaac-tactics-ocaml-dev_8.6.1-1build5_amd64.deb
2017-10-28 19:03
37K
libaac-tactics-ocaml-dev_8.6.1-1build4_amd64.deb
2017-08-31 03:24
37K
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb
2016-12-30 18:23
37K
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb
2015-11-05 01:34
43K
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb
2015-11-05 01:33
43K
libaac-tactics-ocaml-dev_0.4-3_amd64.deb
2014-07-30 20:37
44K
libaac-tactics-ocaml-dev_0.4-2_i386.deb
2014-01-20 12:33
43K
libaac-tactics-ocaml-dev_0.4-2_amd64.deb
2014-01-20 12:33
43K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb
2012-01-08 16:33
127K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb
2012-01-08 16:33
133K
libaac-tactics-coq_8.15.0-1_all.deb
2022-02-06 20:04
282K
libaac-tactics-coq_8.11.0-1build3_all.deb
2020-08-23 13:33
238K
libaac-tactics-coq_8.11.0-1build2_all.deb
2020-08-11 10:33
238K
libaac-tactics-coq_8.11.0-1build1_all.deb
2020-05-13 15:33
238K
libaac-tactics-coq_8.11.0-1_all.deb
2020-03-18 20:48
238K
libaac-tactics-coq_8.9.0-1_all.deb
2020-02-24 19:13
243K
libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build4_all.deb
2019-08-21 19:18
214K
libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build3_all.deb
2019-08-05 15:03
214K
libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build2_all.deb
2019-07-29 16:13
214K
libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build1_all.deb
2019-07-26 23:38
214K
libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb
2019-02-18 12:33
214K
libaac-tactics-coq_8.6.1-2_all.deb
2017-11-01 14:05
216K
libaac-tactics-coq_8.6.1-1build5_all.deb
2017-10-28 19:03
216K
libaac-tactics-coq_8.6.1-1build4_all.deb
2017-08-31 03:24
216K
libaac-tactics-coq_8.6.1-1_all.deb
2016-12-30 18:23
215K
libaac-tactics-coq_0.4-5build2_all.deb
2015-11-05 01:33
208K
libaac-tactics-coq_0.4-3_all.deb
2014-07-30 19:45
208K
libaac-tactics-coq_0.4-2_all.deb
2014-01-20 12:33
208K
libaac-tactics-coq_0.2.pl2-4build1_all.deb
2012-01-08 16:33
309K
aac-tactics_8.20.0.orig.tar.gz
2024-11-20 19:47
76K
aac-tactics_8.20.0-1.dsc
2024-11-20 19:47
2.1K
aac-tactics_8.20.0-1.debian.tar.xz
2024-11-20 19:47
3.7K
aac-tactics_8.19.1.orig.tar.gz
2024-06-11 19:54
75K
aac-tactics_8.19.1-2build3.dsc
2024-09-07 17:43
2.1K
aac-tactics_8.19.1-2build3.debian.tar.xz
2024-09-07 17:43
3.8K
aac-tactics_8.19.1-2build2.dsc
2024-09-07 01:05
2.1K
aac-tactics_8.19.1-2build2.debian.tar.xz
2024-09-07 01:05
3.8K
aac-tactics_8.19.1-2build1.dsc
2024-08-09 15:49
2.1K
aac-tactics_8.19.1-2build1.debian.tar.xz
2024-08-09 15:49
3.8K
aac-tactics_8.19.1-2.dsc
2024-08-04 01:25
1.8K
aac-tactics_8.19.1-2.debian.tar.xz
2024-08-04 01:25
3.7K
aac-tactics_8.19.1-1build1.dsc
2024-06-15 16:43
2.1K
aac-tactics_8.19.1-1build1.debian.tar.xz
2024-06-15 16:43
3.7K
aac-tactics_8.19.1-1.dsc
2024-06-11 19:54
2.1K
aac-tactics_8.19.1-1.debian.tar.xz
2024-06-11 19:54
3.7K
aac-tactics_8.19.0.orig.tar.gz
2024-05-03 03:55
75K
aac-tactics_8.19.0-1build1.dsc
2024-05-13 20:39
2.1K
aac-tactics_8.19.0-1build1.debian.tar.xz
2024-05-13 20:39
3.7K
aac-tactics_8.19.0-1.dsc
2024-05-03 03:55
2.1K
aac-tactics_8.19.0-1.debian.tar.xz
2024-05-03 03:55
3.6K
aac-tactics_8.18.0.orig.tar.gz
2023-12-22 00:52
74K
aac-tactics_8.18.0-1build4.dsc
2024-05-02 22:28
2.1K
aac-tactics_8.18.0-1build4.debian.tar.xz
2024-05-02 22:28
3.8K
aac-tactics_8.18.0-1build3.dsc
2024-04-08 09:57
2.1K
aac-tactics_8.18.0-1build3.debian.tar.xz
2024-04-08 09:57
3.8K
aac-tactics_8.18.0-1build2.dsc
2024-03-31 19:45
2.2K
aac-tactics_8.18.0-1build2.debian.tar.xz
2024-03-31 19:45
3.8K
aac-tactics_8.18.0-1build1.dsc
2024-03-24 01:53
2.2K
aac-tactics_8.18.0-1build1.debian.tar.xz
2024-03-24 01:53
3.7K
aac-tactics_8.18.0-1.dsc
2023-12-22 00:52
2.1K
aac-tactics_8.18.0-1.debian.tar.xz
2023-12-22 00:52
3.6K
aac-tactics_8.17.0.orig.tar.gz
2023-01-05 00:34
74K
aac-tactics_8.17.0-3build1.dsc
2023-11-23 01:05
2.1K
aac-tactics_8.17.0-3build1.debian.tar.xz
2023-11-23 01:05
3.7K
aac-tactics_8.17.0-3.dsc
2023-10-26 17:43
1.8K
aac-tactics_8.17.0-3.debian.tar.xz
2023-10-26 17:43
3.6K
aac-tactics_8.17.0-2build1.dsc
2023-07-24 19:37
2.1K
aac-tactics_8.17.0-2build1.debian.tar.xz
2023-07-24 19:37
3.6K
aac-tactics_8.17.0-2.dsc
2023-06-13 07:30
2.1K
aac-tactics_8.17.0-2.debian.tar.xz
2023-06-13 07:30
3.6K
aac-tactics_8.17.0-1build2.dsc
2023-02-16 11:06
2.1K
aac-tactics_8.17.0-1build2.debian.tar.xz
2023-02-16 11:06
3.5K
aac-tactics_8.17.0-1build1.dsc
2023-01-26 09:54
2.1K
aac-tactics_8.17.0-1build1.debian.tar.xz
2023-01-26 09:54
3.5K
aac-tactics_8.17.0-1.dsc
2023-01-05 00:34
2.1K
aac-tactics_8.17.0-1.debian.tar.xz
2023-01-05 00:34
3.5K
aac-tactics_8.16.0.orig.tar.gz
2022-11-06 04:19
74K
aac-tactics_8.16.0-1build3.dsc
2022-12-03 10:59
2.1K
aac-tactics_8.16.0-1build3.debian.tar.xz
2022-12-03 10:59
3.5K
aac-tactics_8.16.0-1build2.dsc
2022-11-25 19:40
2.1K
aac-tactics_8.16.0-1build2.debian.tar.xz
2022-11-25 19:40
3.5K
aac-tactics_8.16.0-1build1.dsc
2022-11-25 12:14
2.1K
aac-tactics_8.16.0-1build1.debian.tar.xz
2022-11-25 12:14
3.5K
aac-tactics_8.16.0-1.dsc
2022-11-06 04:19
2.1K
aac-tactics_8.16.0-1.debian.tar.xz
2022-11-06 04:19
3.4K
aac-tactics_8.15.1.orig.tar.gz
2022-04-30 03:03
67K
aac-tactics_8.15.1-6.dsc
2022-06-12 19:24
2.2K
aac-tactics_8.15.1-6.debian.tar.xz
2022-06-12 19:24
3.7K
aac-tactics_8.15.1-5.dsc
2022-06-01 19:34
2.2K
aac-tactics_8.15.1-5.debian.tar.xz
2022-06-01 19:34
3.7K
aac-tactics_8.15.1-4build1.dsc
2022-06-01 18:08
2.2K
aac-tactics_8.15.1-4build1.debian.tar.xz
2022-06-01 18:08
3.7K
aac-tactics_8.15.1-4.dsc
2022-05-23 01:35
2.2K
aac-tactics_8.15.1-4.debian.tar.xz
2022-05-23 01:35
3.7K
aac-tactics_8.15.1-3build1.dsc
2022-05-02 09:05
2.2K
aac-tactics_8.15.1-3build1.debian.tar.xz
2022-05-02 09:05
3.7K
aac-tactics_8.15.1-3.dsc
2022-04-30 03:03
2.2K
aac-tactics_8.15.1-3.debian.tar.xz
2022-04-30 03:03
3.7K
aac-tactics_8.15.0.orig.tar.gz
2022-02-06 18:19
67K
aac-tactics_8.15.0-1.dsc
2022-02-06 18:19
2.2K
aac-tactics_8.15.0-1.debian.tar.xz
2022-02-06 18:19
3.5K
aac-tactics_8.11.0.orig.tar.gz
2020-03-18 19:28
64K
aac-tactics_8.11.0-1build4.dsc
2020-09-16 11:49
2.2K
aac-tactics_8.11.0-1build4.debian.tar.xz
2020-09-16 11:49
3.5K
aac-tactics_8.11.0-1build3.dsc
2020-08-23 13:28
2.2K
aac-tactics_8.11.0-1build3.debian.tar.xz
2020-08-23 13:28
3.5K
aac-tactics_8.11.0-1build2.dsc
2020-08-11 10:18
2.2K
aac-tactics_8.11.0-1build2.debian.tar.xz
2020-08-11 10:18
3.5K
aac-tactics_8.11.0-1build1.dsc
2020-05-13 13:55
2.2K
aac-tactics_8.11.0-1build1.debian.tar.xz
2020-05-13 13:55
3.5K
aac-tactics_8.11.0-1.dsc
2020-03-18 19:28
2.1K
aac-tactics_8.11.0-1.debian.tar.xz
2020-03-18 19:28
3.4K
aac-tactics_8.9.0.orig.tar.gz
2020-02-03 00:23
65K
aac-tactics_8.9.0-1build1.dsc
2020-03-12 15:08
2.1K
aac-tactics_8.9.0-1build1.debian.tar.xz
2020-03-12 15:08
3.4K
aac-tactics_8.9.0-1.dsc
2020-02-03 00:23
1.9K
aac-tactics_8.9.0-1.debian.tar.xz
2020-02-03 00:23
3.3K
aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
2019-02-18 12:08
64K
aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc
2019-08-21 19:08
2.2K
aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz
2019-08-21 19:08
3.5K
aac-tactics_8.8.0+1.gbp069dc3b-1build3.dsc
2019-08-05 14:53
2.2K
aac-tactics_8.8.0+1.gbp069dc3b-1build3.debian.tar.xz
2019-08-05 14:53
3.5K
aac-tactics_8.8.0+1.gbp069dc3b-1build2.dsc
2019-07-29 15:58
2.2K
aac-tactics_8.8.0+1.gbp069dc3b-1build2.debian.tar.xz
2019-07-29 15:58
3.5K
aac-tactics_8.8.0+1.gbp069dc3b-1build1.dsc
2019-07-26 22:58
2.2K
aac-tactics_8.8.0+1.gbp069dc3b-1build1.debian.tar.xz
2019-07-26 22:58
3.5K
aac-tactics_8.8.0+1.gbp069dc3b-1.dsc
2019-02-18 12:08
2.2K
aac-tactics_8.8.0+1.gbp069dc3b-1.debian.tar.xz
2019-02-18 12:08
3.4K
aac-tactics_8.6.1.orig.tar.gz
2016-12-30 18:13
73K
aac-tactics_8.6.1-2build1.dsc
2019-01-15 15:48
2.2K
aac-tactics_8.6.1-2build1.debian.tar.xz
2019-01-15 15:48
3.2K
aac-tactics_8.6.1-2.dsc
2017-11-01 14:05
2.2K
aac-tactics_8.6.1-2.debian.tar.xz
2017-11-01 14:05
3.2K
aac-tactics_8.6.1-1build5.dsc
2017-10-28 18:19
2.2K
aac-tactics_8.6.1-1build5.debian.tar.xz
2017-10-28 18:19
3.4K
aac-tactics_8.6.1-1build4.dsc
2017-08-31 03:24
1.9K
aac-tactics_8.6.1-1build4.debian.tar.xz
2017-08-31 03:24
3.4K
aac-tactics_8.6.1-1.dsc
2016-12-30 18:13
2.2K
aac-tactics_8.6.1-1.debian.tar.xz
2016-12-30 18:13
3.1K
aac-tactics_0.4.orig.tar.gz
2013-12-06 18:23
76K
aac-tactics_0.4-5build2.dsc
2015-11-05 01:30
1.9K
aac-tactics_0.4-5build2.debian.tar.xz
2015-11-05 01:30
3.0K
aac-tactics_0.4-3.dsc
2014-07-30 19:44
2.2K
aac-tactics_0.4-3.debian.tar.xz
2014-07-30 19:44
2.9K
aac-tactics_0.4-2.dsc
2014-01-20 12:09
2.1K
aac-tactics_0.4-2.debian.tar.xz
2014-01-20 12:09
2.8K
aac-tactics_0.2.pl2.orig.tar.gz
2011-05-04 16:11
76K
aac-tactics_0.2.pl2-4build1.dsc
2012-01-08 16:33
2.2K
aac-tactics_0.2.pl2-4build1.debian.tar.gz
2012-01-08 16:33
2.7K