Index of /ubuntu/pool/universe/a/acl2/

NameLast ModifiedSize
UpParent Directory
Fileacl2-books-certs_6.3-5_all.deb24-10-2013 16:36 11372k
Fileacl2-books-certs_7.1-1_all.deb27-06-2015 13:48 12884k
Fileacl2-books-certs_8.0dfsg-1_all.deb14-01-2018 03:08 71684k
Fileacl2-books-certs_8.2dfsg-3build1_all.deb23-03-2020 13:24 67364k
Fileacl2-books-certs_8.4dfsg-2_all.deb19-12-2021 01:10 226400k
Fileacl2-books-certs_8.5dfsg-5_all.deb17-01-2023 02:29 221388k
Fileacl2-books-certs_8.5dfsg-5build3_all.deb02-04-2024 08:03 220936k
Fileacl2-books-source_6.3-5_all.deb24-10-2013 16:36 9348k
Fileacl2-books-source_7.1-1_all.deb27-06-2015 13:48 10092k
Fileacl2-books-source_8.0dfsg-1_all.deb14-01-2018 03:08 12176k
Fileacl2-books-source_8.2dfsg-3build1_all.deb23-03-2020 13:24 13956k
Fileacl2-books-source_8.4dfsg-2_all.deb19-12-2021 01:10 21620k
Fileacl2-books-source_8.5dfsg-5_all.deb17-01-2023 02:29 23452k
Fileacl2-books-source_8.5dfsg-5build3_all.deb02-04-2024 08:02 23244k
Fileacl2-books_6.3-5_amd64.deb24-10-2013 16:36 41084k
Fileacl2-books_6.3-5_i386.deb24-10-2013 16:36 36672k
Fileacl2-books_7.1-1_amd64.deb27-06-2015 13:48 19152k
Fileacl2-books_7.1-1_i386.deb02-06-2015 02:43 18168k
Fileacl2-books_8.0dfsg-1_amd64.deb14-01-2018 03:08 134848k
Fileacl2-books_8.0dfsg-1_i386.deb14-01-2018 04:49 116804k
Fileacl2-books_8.2dfsg-3build1_amd64.deb23-03-2020 13:24 167284k
Fileacl2-books_8.4dfsg-2_amd64.deb19-12-2021 01:09 345652k
Fileacl2-books_8.5dfsg-5_amd64.deb17-01-2023 02:29 337224k
Fileacl2-books_8.5dfsg-5build3_amd64.deb02-04-2024 08:03 338436k
Fileacl2-doc_6.3-5_all.deb24-10-2013 16:36 12432k
Fileacl2-doc_7.1-1_all.deb27-06-2015 13:48 356k
Fileacl2-doc_8.0dfsg-1_all.deb14-01-2018 03:08 388k
Fileacl2-doc_8.2dfsg-3build1_all.deb23-03-2020 13:24 420k
Fileacl2-doc_8.4dfsg-2_all.deb19-12-2021 01:09 444k
Fileacl2-doc_8.5dfsg-5_all.deb17-01-2023 02:29 476k
Fileacl2-doc_8.5dfsg-5build3_all.deb02-04-2024 08:02 476k
Fileacl2-emacs_6.3-5_all.deb24-10-2013 16:36 56k
Fileacl2-emacs_7.1-1_all.deb27-06-2015 13:48 56k
Fileacl2-emacs_8.0dfsg-1_all.deb14-01-2018 03:08 60k
Fileacl2-emacs_8.2dfsg-3build1_all.deb23-03-2020 13:24 60k
Fileacl2-infix-source_6.3-5_all.deb24-10-2013 16:36 88k
Fileacl2-infix-source_7.1-1_all.deb27-06-2015 13:48 72k
Fileacl2-infix-source_8.0dfsg-1_all.deb14-01-2018 03:08 72k
Fileacl2-infix-source_8.2dfsg-3build1_all.deb23-03-2020 13:24 72k
Fileacl2-infix-source_8.4dfsg-2_all.deb19-12-2021 01:10 72k
Fileacl2-infix-source_8.5dfsg-5_all.deb17-01-2023 02:29 72k
Fileacl2-infix-source_8.5dfsg-5build3_all.deb02-04-2024 08:02 76k
Fileacl2-infix_6.3-5_amd64.deb24-10-2013 16:36 204k
Fileacl2-infix_6.3-5_i386.deb24-10-2013 16:36 192k
Fileacl2-infix_7.1-1_amd64.deb27-06-2015 13:48 144k
Fileacl2-infix_7.1-1_i386.deb02-06-2015 02:43 144k
Fileacl2-infix_8.0dfsg-1_amd64.deb14-01-2018 03:08 416k
Fileacl2-infix_8.0dfsg-1_i386.deb14-01-2018 04:49 384k
Fileacl2-infix_8.2dfsg-3build1_amd64.deb23-03-2020 13:24 472k
Fileacl2-infix_8.4dfsg-2_amd64.deb19-12-2021 01:09 552k
Fileacl2-infix_8.5dfsg-5_amd64.deb17-01-2023 02:29 536k
Fileacl2-infix_8.5dfsg-5build3_amd64.deb02-04-2024 08:02 540k
Fileacl2-source_6.3-5_all.deb24-10-2013 16:36 3708k
Fileacl2-source_7.1-1_all.deb27-06-2015 13:48 2772k
Fileacl2-source_8.0dfsg-1_all.deb14-01-2018 03:08 3004k
Fileacl2-source_8.2dfsg-3build1_all.deb23-03-2020 13:24 3196k
Fileacl2-source_8.4dfsg-2_all.deb19-12-2021 01:10 3456k
Fileacl2-source_8.5dfsg-5_all.deb17-01-2023 02:29 3568k
Fileacl2-source_8.5dfsg-5build3_all.deb02-04-2024 08:02 3568k
[CMP]acl2_6.3-5.debian.tar.gz21-10-2013 13:09 160k
Fileacl2_6.3-5.dsc21-10-2013 13:09 4k
Fileacl2_6.3-5_amd64.deb24-10-2013 16:36 27228k
Fileacl2_6.3-5_i386.deb24-10-2013 16:36 23452k
[CMP]acl2_6.3.orig-books.tar.gz21-10-2013 13:09 13284k
[CMP]acl2_6.3.orig.tar.gz21-10-2013 13:09 6904k
Fileacl2_7.1-1.debian.tar.xz01-06-2015 23:24 128k
Fileacl2_7.1-1.dsc01-06-2015 23:24 4k
Fileacl2_7.1-1_amd64.deb27-06-2015 13:48 16876k
Fileacl2_7.1-1_i386.deb02-06-2015 02:43 16080k
[CMP]acl2_7.1.orig.tar.gz01-06-2015 23:24 61860k
Fileacl2_8.0dfsg-1.debian.tar.xz13-01-2018 23:08 200k
Fileacl2_8.0dfsg-1.dsc13-01-2018 23:08 4k
Fileacl2_8.0dfsg-1_amd64.deb14-01-2018 03:08 19244k
Fileacl2_8.0dfsg-1_i386.deb14-01-2018 04:49 16600k
[CMP]acl2_8.0dfsg.orig.tar.gz13-01-2018 23:08 75816k
Fileacl2_8.2dfsg-3build1.debian.tar.xz23-03-2020 07:00 204k
Fileacl2_8.2dfsg-3build1.dsc23-03-2020 07:00 4k
Fileacl2_8.2dfsg-3build1_amd64.deb23-03-2020 13:24 21420k
[CMP]acl2_8.2dfsg.orig.tar.gz19-12-2019 23:13 78764k
Fileacl2_8.4dfsg-2.debian.tar.xz01-11-2021 23:24 308k
Fileacl2_8.4dfsg-2.dsc01-11-2021 23:24 4k
Fileacl2_8.4dfsg-2_amd64.deb19-12-2021 01:10 25524k
[CMP]acl2_8.4dfsg.orig.tar.gz28-10-2021 23:18 198236k
Fileacl2_8.5dfsg-5.debian.tar.xz16-01-2023 17:44 308k
Fileacl2_8.5dfsg-5.dsc16-01-2023 17:44 4k
Fileacl2_8.5dfsg-5_amd64.deb17-01-2023 02:29 26320k
Fileacl2_8.5dfsg-5build3.debian.tar.xz01-04-2024 05:43 308k
Fileacl2_8.5dfsg-5build3.dsc01-04-2024 05:43 4k
Fileacl2_8.5dfsg-5build3_amd64.deb02-04-2024 08:03 26228k
[CMP]acl2_8.5dfsg.orig.tar.gz27-07-2022 23:33 218308k
Fileelpa-acl2_8.4dfsg-2_all.deb19-12-2021 01:09 72k
Fileelpa-acl2_8.5dfsg-5_all.deb17-01-2023 02:29 72k
Fileelpa-acl2_8.5dfsg-5build3_all.deb02-04-2024 08:02 72k
Alojado en Chile por Hostenode SpA - https://hnd.cl