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

NameLast ModifiedSize
UpParent Directory
Fileaac-tactics_0.4-2.debian.tar.xz20-01-2014 11:09 4k
Fileaac-tactics_0.4-2.dsc20-01-2014 11:09 4k
Fileaac-tactics_0.4-5build2.debian.tar.xz05-11-2015 00:30 4k
Fileaac-tactics_0.4-5build2.dsc05-11-2015 00:30 4k
[CMP]aac-tactics_0.4.orig.tar.gz06-12-2013 17:23 76k
Fileaac-tactics_8.11.0-1.debian.tar.xz18-03-2020 18:28 4k
Fileaac-tactics_8.11.0-1.dsc18-03-2020 18:28 4k
[CMP]aac-tactics_8.11.0.orig.tar.gz18-03-2020 18:28 64k
Fileaac-tactics_8.15.0-1.debian.tar.xz06-02-2022 17:19 4k
Fileaac-tactics_8.15.0-1.dsc06-02-2022 17:19 4k
[CMP]aac-tactics_8.15.0.orig.tar.gz06-02-2022 17:19 68k
Fileaac-tactics_8.17.0-1build2.debian.tar.xz16-02-2023 10:06 4k
Fileaac-tactics_8.17.0-1build2.dsc16-02-2023 10:06 4k
Fileaac-tactics_8.17.0-2build1.debian.tar.xz24-07-2023 17:37 4k
Fileaac-tactics_8.17.0-2build1.dsc24-07-2023 17:37 4k
[CMP]aac-tactics_8.17.0.orig.tar.gz04-01-2023 23:34 76k
Fileaac-tactics_8.18.0-1build3.debian.tar.xz08-04-2024 07:57 4k
Fileaac-tactics_8.18.0-1build3.dsc08-04-2024 07:57 4k
[CMP]aac-tactics_8.18.0.orig.tar.gz21-12-2023 23:52 76k
Fileaac-tactics_8.19.0-1.debian.tar.xz03-05-2024 01:55 4k
Fileaac-tactics_8.19.0-1.dsc03-05-2024 01:55 4k
Fileaac-tactics_8.19.0-1build1.debian.tar.xz13-05-2024 18:39 4k
Fileaac-tactics_8.19.0-1build1.dsc13-05-2024 18:39 4k
[CMP]aac-tactics_8.19.0.orig.tar.gz03-05-2024 01:55 76k
Fileaac-tactics_8.6.1-2.debian.tar.xz01-11-2017 13:05 4k
Fileaac-tactics_8.6.1-2.dsc01-11-2017 13:05 4k
[CMP]aac-tactics_8.6.1.orig.tar.gz30-12-2016 17:13 76k
Filelibaac-tactics-coq_0.4-2_all.deb20-01-2014 11:33 208k
Filelibaac-tactics-coq_0.4-5build2_all.deb05-11-2015 00:33 208k
Filelibaac-tactics-coq_8.11.0-1_all.deb18-03-2020 19:48 240k
Filelibaac-tactics-coq_8.15.0-1_all.deb06-02-2022 19:04 284k
Filelibaac-tactics-coq_8.6.1-2_all.deb01-11-2017 13:05 216k
Filelibaac-tactics-ocaml-dev_0.4-2_amd64.deb20-01-2014 11:33 44k
Filelibaac-tactics-ocaml-dev_0.4-2_i386.deb20-01-2014 11:33 44k
Filelibaac-tactics-ocaml-dev_0.4-5build2_amd64.deb05-11-2015 00:33 44k
Filelibaac-tactics-ocaml-dev_0.4-5build2_i386.deb05-11-2015 00:34 44k
Filelibaac-tactics-ocaml-dev_8.11.0-1_amd64.deb18-03-2020 19:48 40k
Filelibaac-tactics-ocaml-dev_8.15.0-1_amd64.deb06-02-2022 19:04 40k
Filelibaac-tactics-ocaml-dev_8.6.1-2_amd64.deb01-11-2017 13:05 40k
Filelibaac-tactics-ocaml-dev_8.6.1-2_i386.deb01-11-2017 13:05 40k
Filelibaac-tactics-ocaml_0.4-2_amd64.deb20-01-2014 11:33 128k
Filelibaac-tactics-ocaml_0.4-2_i386.deb20-01-2014 11:33 116k
Filelibaac-tactics-ocaml_0.4-5build2_amd64.deb05-11-2015 00:33 120k
Filelibaac-tactics-ocaml_0.4-5build2_i386.deb05-11-2015 00:34 112k
Filelibaac-tactics-ocaml_8.11.0-1_amd64.deb18-03-2020 19:48 108k
Filelibaac-tactics-ocaml_8.15.0-1_amd64.deb06-02-2022 19:04 128k
Filelibaac-tactics-ocaml_8.6.1-2_amd64.deb01-11-2017 13:05 120k
Filelibaac-tactics-ocaml_8.6.1-2_i386.deb01-11-2017 13:05 112k
Filelibcoq-aac-tactics_8.17.0-1build2_amd64.deb16-02-2023 12:57 416k
Filelibcoq-aac-tactics_8.17.0-2build1_amd64.deb24-07-2023 20:24 416k
Filelibcoq-aac-tactics_8.18.0-1build3_amd64.deb08-04-2024 07:57 412k
Filelibcoq-aac-tactics_8.19.0-1_amd64.deb03-05-2024 01:56 424k
Filelibcoq-aac-tactics_8.19.0-1build1_amd64.deb13-05-2024 18:40 424k
Alojado en Chile por Hostenode SpA - https://hnd.cl