uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

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

Show dotfiles
Name
Last modified
Size
../
-
-
aac-tactics_0.4-2.debian.tar.xz
20-Jan-2014 11:09
2.82 KB
aac-tactics_0.4-2.dsc
20-Jan-2014 11:09
2.14 KB
aac-tactics_0.4-5build2.debian.tar.xz
05-Nov-2015 00:30
3 KB
aac-tactics_0.4-5build2.dsc
05-Nov-2015 00:30
1.87 KB
aac-tactics_0.4.orig.tar.gz
06-Dec-2013 17:23
75.52 KB
aac-tactics_8.11.0-1.debian.tar.xz
18-Mar-2020 18:28
3.44 KB
aac-tactics_8.11.0-1.dsc
18-Mar-2020 18:28
2.13 KB
aac-tactics_8.11.0.orig.tar.gz
18-Mar-2020 18:28
63.83 KB
aac-tactics_8.15.0-1.debian.tar.xz
06-Feb-2022 17:19
3.52 KB
aac-tactics_8.15.0-1.dsc
06-Feb-2022 17:19
2.16 KB
aac-tactics_8.15.0.orig.tar.gz
06-Feb-2022 17:19
66.51 KB
aac-tactics_8.18.0-1build3.debian.tar.xz
08-Apr-2024 07:57
3.81 KB
aac-tactics_8.18.0-1build3.dsc
08-Apr-2024 07:57
2.13 KB
aac-tactics_8.18.0.orig.tar.gz
21-Dec-2023 23:52
73.83 KB
aac-tactics_8.20.0-1build3.debian.tar.xz
18-Feb-2025 21:25
3.85 KB
aac-tactics_8.20.0-1build3.dsc
18-Feb-2025 21:25
2.05 KB
aac-tactics_8.20.0-1build4.debian.tar.xz
19-Jun-2025 17:20
3.88 KB
aac-tactics_8.20.0-1build4.dsc
19-Jun-2025 17:20
2.05 KB
aac-tactics_8.20.0-1build5.debian.tar.xz
03-Jan-2026 19:11
3.89 KB
aac-tactics_8.20.0-1build5.dsc
03-Jan-2026 19:11
2.05 KB
aac-tactics_8.20.0-1build8.debian.tar.xz
04-Mar-2026 08:35
3.98 KB
aac-tactics_8.20.0-1build8.dsc
04-Mar-2026 08:35
2.05 KB
aac-tactics_8.20.0.orig.tar.gz
20-Nov-2024 18:47
75.85 KB
aac-tactics_8.6.1-2.debian.tar.xz
01-Nov-2017 13:05
3.17 KB
aac-tactics_8.6.1-2.dsc
01-Nov-2017 13:05
2.19 KB
aac-tactics_8.6.1.orig.tar.gz
30-Dec-2016 17:13
73.31 KB
libaac-tactics-coq_0.4-2_all.deb
20-Jan-2014 11:33
207.55 KB
libaac-tactics-coq_0.4-5build2_all.deb
05-Nov-2015 00:33
207.73 KB
libaac-tactics-coq_8.11.0-1_all.deb
18-Mar-2020 19:48
237.75 KB
libaac-tactics-coq_8.15.0-1_all.deb
06-Feb-2022 19:04
282.32 KB
libaac-tactics-coq_8.6.1-2_all.deb
01-Nov-2017 13:05
215.62 KB
libaac-tactics-ocaml-dev_0.4-2_amd64.deb
20-Jan-2014 11:33
42.89 KB
libaac-tactics-ocaml-dev_0.4-2_i386.deb
20-Jan-2014 11:33
43.33 KB
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb
05-Nov-2015 00:33
43 KB
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb
05-Nov-2015 00:34
43 KB
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb
18-Mar-2020 19:48
37.72 KB
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb
06-Feb-2022 19:04
39.82 KB
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
01-Nov-2017 13:05
36.8 KB
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb
01-Nov-2017 13:05
36.8 KB
libaac-tactics-ocaml_0.4-2_amd64.deb
20-Jan-2014 11:33
125.11 KB
libaac-tactics-ocaml_0.4-2_i386.deb
20-Jan-2014 11:33
114.22 KB
libaac-tactics-ocaml_0.4-5build2_amd64.deb
05-Nov-2015 00:33
117.17 KB
libaac-tactics-ocaml_0.4-5build2_i386.deb
05-Nov-2015 00:34
109.33 KB
libaac-tactics-ocaml_8.11.0-1_amd64.deb
18-Mar-2020 19:48
104.39 KB
libaac-tactics-ocaml_8.15.0-1_amd64.deb
06-Feb-2022 19:04
127.72 KB
libaac-tactics-ocaml_8.6.1-2_amd64.deb
01-Nov-2017 13:05
117.48 KB
libaac-tactics-ocaml_8.6.1-2_i386.deb
01-Nov-2017 13:05
108.2 KB
libcoq-aac-tactics_8.18.0-1build3_amd64.deb
08-Apr-2024 07:57
411.79 KB
libcoq-aac-tactics_8.20.0-1build3_amd64.deb
18-Feb-2025 21:25
420.82 KB
libcoq-aac-tactics_8.20.0-1build4_amd64.deb
20-Jun-2025 04:01
419.61 KB
libcoq-aac-tactics_8.20.0-1build5_amd64.deb
04-Jan-2026 23:06
419.39 KB
libcoq-aac-tactics_8.20.0-1build5_amd64v3.deb
04-Jan-2026 23:06
419.41 KB
libcoq-aac-tactics_8.20.0-1build8_amd64.deb
04-Mar-2026 08:35
419.49 KB
libcoq-aac-tactics_8.20.0-1build8_amd64v3.deb
04-Mar-2026 08:35
419.54 KB