Index of /ubuntu/pool/universe/a/aac-tactics/
Name
Last Modified
Size
Parent Directory
aac-tactics_0.4-2.debian.tar.xz
20-01-2014 11:09
4k
aac-tactics_0.4-2.dsc
20-01-2014 11:09
4k
aac-tactics_0.4-5build2.debian.tar.xz
05-11-2015 00:30
4k
aac-tactics_0.4-5build2.dsc
05-11-2015 00:30
4k
aac-tactics_0.4.orig.tar.gz
06-12-2013 17:23
76k
aac-tactics_8.11.0-1.debian.tar.xz
18-03-2020 18:28
4k
aac-tactics_8.11.0-1.dsc
18-03-2020 18:28
4k
aac-tactics_8.11.0.orig.tar.gz
18-03-2020 18:28
64k
aac-tactics_8.15.0-1.debian.tar.xz
06-02-2022 17:19
4k
aac-tactics_8.15.0-1.dsc
06-02-2022 17:19
4k
aac-tactics_8.15.0.orig.tar.gz
06-02-2022 17:19
68k
aac-tactics_8.17.0-1build2.debian.tar.xz
16-02-2023 10:06
4k
aac-tactics_8.17.0-1build2.dsc
16-02-2023 10:06
4k
aac-tactics_8.17.0-2build1.debian.tar.xz
24-07-2023 17:37
4k
aac-tactics_8.17.0-2build1.dsc
24-07-2023 17:37
4k
aac-tactics_8.17.0.orig.tar.gz
04-01-2023 23:34
76k
aac-tactics_8.18.0-1build3.debian.tar.xz
08-04-2024 07:57
4k
aac-tactics_8.18.0-1build3.dsc
08-04-2024 07:57
4k
aac-tactics_8.18.0.orig.tar.gz
21-12-2023 23:52
76k
aac-tactics_8.19.0-1.debian.tar.xz
03-05-2024 01:55
4k
aac-tactics_8.19.0-1.dsc
03-05-2024 01:55
4k
aac-tactics_8.19.0-1build1.debian.tar.xz
13-05-2024 18:39
4k
aac-tactics_8.19.0-1build1.dsc
13-05-2024 18:39
4k
aac-tactics_8.19.0.orig.tar.gz
03-05-2024 01:55
76k
aac-tactics_8.6.1-2.debian.tar.xz
01-11-2017 13:05
4k
aac-tactics_8.6.1-2.dsc
01-11-2017 13:05
4k
aac-tactics_8.6.1.orig.tar.gz
30-12-2016 17:13
76k
libaac-tactics-coq_0.4-2_all.deb
20-01-2014 11:33
208k
libaac-tactics-coq_0.4-5build2_all.deb
05-11-2015 00:33
208k
libaac-tactics-coq_8.11.0-1_all.deb
18-03-2020 19:48
240k
libaac-tactics-coq_8.15.0-1_all.deb
06-02-2022 19:04
284k
libaac-tactics-coq_8.6.1-2_all.deb
01-11-2017 13:05
216k
libaac-tactics-ocaml-dev_0.4-2_amd64.deb
20-01-2014 11:33
44k
libaac-tactics-ocaml-dev_0.4-2_i386.deb
20-01-2014 11:33
44k
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb
05-11-2015 00:33
44k
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb
05-11-2015 00:34
44k
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb
18-03-2020 19:48
40k
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb
06-02-2022 19:04
40k
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
01-11-2017 13:05
40k
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb
01-11-2017 13:05
40k
libaac-tactics-ocaml_0.4-2_amd64.deb
20-01-2014 11:33
128k
libaac-tactics-ocaml_0.4-2_i386.deb
20-01-2014 11:33
116k
libaac-tactics-ocaml_0.4-5build2_amd64.deb
05-11-2015 00:33
120k
libaac-tactics-ocaml_0.4-5build2_i386.deb
05-11-2015 00:34
112k
libaac-tactics-ocaml_8.11.0-1_amd64.deb
18-03-2020 19:48
108k
libaac-tactics-ocaml_8.15.0-1_amd64.deb
06-02-2022 19:04
128k
libaac-tactics-ocaml_8.6.1-2_amd64.deb
01-11-2017 13:05
120k
libaac-tactics-ocaml_8.6.1-2_i386.deb
01-11-2017 13:05
112k
libcoq-aac-tactics_8.17.0-1build2_amd64.deb
16-02-2023 12:57
416k
libcoq-aac-tactics_8.17.0-2build1_amd64.deb
24-07-2023 20:24
416k
libcoq-aac-tactics_8.18.0-1build3_amd64.deb
08-04-2024 07:57
412k
libcoq-aac-tactics_8.19.0-1_amd64.deb
03-05-2024 01:56
424k
libcoq-aac-tactics_8.19.0-1build1_amd64.deb
13-05-2024 18:40
424k
Alojado en Chile por Hostenode SpA -
https://hnd.cl