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

NameLast ModifiedSize
UpParent Directory
Fileacl2-books-certs_6.3-5_all.deb2013-10-24 16:36 11369k
Fileacl2-books-certs_7.1-1_all.deb2015-06-27 13:48 12882k
Fileacl2-books-certs_8.0dfsg-1_all.deb2018-01-14 03:08 71683k
Fileacl2-books-certs_8.2dfsg-3build1_all.deb2020-03-23 13:24 67364k
Fileacl2-books-certs_8.4dfsg-2_all.deb2021-12-19 01:10 226398k
Fileacl2-books-certs_8.5dfsg-5_all.deb2023-01-17 02:29 221385k
Fileacl2-books-certs_8.5dfsg-5build3_all.deb2024-04-02 08:03 220933k
Fileacl2-books-certs_8.5dfsg-6_all.deb2024-07-29 04:20 80537k
Fileacl2-books-source_6.3-5_all.deb2013-10-24 16:36 9346k
Fileacl2-books-source_7.1-1_all.deb2015-06-27 13:48 10091k
Fileacl2-books-source_8.0dfsg-1_all.deb2018-01-14 03:08 12174k
Fileacl2-books-source_8.2dfsg-3build1_all.deb2020-03-23 13:24 13956k
Fileacl2-books-source_8.4dfsg-2_all.deb2021-12-19 01:10 21618k
Fileacl2-books-source_8.5dfsg-5_all.deb2023-01-17 02:29 23452k
Fileacl2-books-source_8.5dfsg-5build3_all.deb2024-04-02 08:02 23244k
Fileacl2-books-source_8.5dfsg-6_all.deb2024-07-29 04:20 23258k
Fileacl2-books_6.3-5_amd64.deb2013-10-24 16:36 41082k
Fileacl2-books_6.3-5_i386.deb2013-10-24 16:36 36671k
Fileacl2-books_7.1-1_amd64.deb2015-06-27 13:48 19150k
Fileacl2-books_7.1-1_i386.deb2015-06-02 02:43 18167k
Fileacl2-books_8.0dfsg-1_amd64.deb2018-01-14 03:08 134848k
Fileacl2-books_8.0dfsg-1_i386.deb2018-01-14 04:49 116801k
Fileacl2-books_8.2dfsg-3build1_amd64.deb2020-03-23 13:24 167281k
Fileacl2-books_8.4dfsg-2_amd64.deb2021-12-19 01:09 345652k
Fileacl2-books_8.5dfsg-5_amd64.deb2023-01-17 02:29 337223k
Fileacl2-books_8.5dfsg-5build3_amd64.deb2024-04-02 08:03 338433k
Fileacl2-books_8.5dfsg-6_amd64.deb2024-07-29 04:20 174599k
Fileacl2-doc_6.3-5_all.deb2013-10-24 16:36 12431k
Fileacl2-doc_7.1-1_all.deb2015-06-27 13:48 354k
Fileacl2-doc_8.0dfsg-1_all.deb2018-01-14 03:08 386k
Fileacl2-doc_8.2dfsg-3build1_all.deb2020-03-23 13:24 419k
Fileacl2-doc_8.4dfsg-2_all.deb2021-12-19 01:09 442k
Fileacl2-doc_8.5dfsg-5_all.deb2023-01-17 02:29 474k
Fileacl2-doc_8.5dfsg-5build3_all.deb2024-04-02 08:02 474k
Fileacl2-doc_8.5dfsg-6_all.deb2024-07-29 04:20 474k
Fileacl2-emacs_6.3-5_all.deb2013-10-24 16:36 55k
Fileacl2-emacs_7.1-1_all.deb2015-06-27 13:48 56k
Fileacl2-emacs_8.0dfsg-1_all.deb2018-01-14 03:08 59k
Fileacl2-emacs_8.2dfsg-3build1_all.deb2020-03-23 13:24 60k
Fileacl2-infix-source_6.3-5_all.deb2013-10-24 16:36 86k
Fileacl2-infix-source_7.1-1_all.deb2015-06-27 13:48 71k
Fileacl2-infix-source_8.0dfsg-1_all.deb2018-01-14 03:08 71k
Fileacl2-infix-source_8.2dfsg-3build1_all.deb2020-03-23 13:24 71k
Fileacl2-infix-source_8.4dfsg-2_all.deb2021-12-19 01:10 72k
Fileacl2-infix-source_8.5dfsg-5_all.deb2023-01-17 02:29 72k
Fileacl2-infix-source_8.5dfsg-5build3_all.deb2024-04-02 08:02 73k
Fileacl2-infix-source_8.5dfsg-6_all.deb2024-07-29 04:20 73k
Fileacl2-infix_6.3-5_amd64.deb2013-10-24 16:36 201k
Fileacl2-infix_6.3-5_i386.deb2013-10-24 16:36 190k
Fileacl2-infix_7.1-1_amd64.deb2015-06-27 13:48 141k
Fileacl2-infix_7.1-1_i386.deb2015-06-02 02:43 143k
Fileacl2-infix_8.0dfsg-1_amd64.deb2018-01-14 03:08 415k
Fileacl2-infix_8.0dfsg-1_i386.deb2018-01-14 04:49 382k
Fileacl2-infix_8.2dfsg-3build1_amd64.deb2020-03-23 13:24 470k
Fileacl2-infix_8.4dfsg-2_amd64.deb2021-12-19 01:09 551k
Fileacl2-infix_8.5dfsg-5_amd64.deb2023-01-17 02:29 533k
Fileacl2-infix_8.5dfsg-5build3_amd64.deb2024-04-02 08:02 539k
Fileacl2-infix_8.5dfsg-6_amd64.deb2024-07-29 04:20 534k
Fileacl2-source_6.3-5_all.deb2013-10-24 16:36 3707k
Fileacl2-source_7.1-1_all.deb2015-06-27 13:48 2772k
Fileacl2-source_8.0dfsg-1_all.deb2018-01-14 03:08 3003k
Fileacl2-source_8.2dfsg-3build1_all.deb2020-03-23 13:24 3193k
Fileacl2-source_8.4dfsg-2_all.deb2021-12-19 01:10 3454k
Fileacl2-source_8.5dfsg-5_all.deb2023-01-17 02:29 3567k
Fileacl2-source_8.5dfsg-5build3_all.deb2024-04-02 08:02 3567k
Fileacl2-source_8.5dfsg-6_all.deb2024-07-29 04:20 3561k
[CMP]acl2_6.3-5.debian.tar.gz2013-10-21 13:09 158k
Fileacl2_6.3-5.dsc2013-10-21 13:09 2k
Fileacl2_6.3-5_amd64.deb2013-10-24 16:36 27225k
Fileacl2_6.3-5_i386.deb2013-10-24 16:36 23451k
[CMP]acl2_6.3.orig-books.tar.gz2013-10-21 13:09 13281k
[CMP]acl2_6.3.orig.tar.gz2013-10-21 13:09 6904k
Fileacl2_7.1-1.debian.tar.xz2015-06-01 23:24 126k
Fileacl2_7.1-1.dsc2015-06-01 23:24 3k
Fileacl2_7.1-1_amd64.deb2015-06-27 13:48 16873k
Fileacl2_7.1-1_i386.deb2015-06-02 02:43 16078k
[CMP]acl2_7.1.orig.tar.gz2015-06-01 23:24 61858k
Fileacl2_8.0dfsg-1.debian.tar.xz2018-01-13 23:08 200k
Fileacl2_8.0dfsg-1.dsc2018-01-13 23:08 3k
Fileacl2_8.0dfsg-1_amd64.deb2018-01-14 03:08 19243k
Fileacl2_8.0dfsg-1_i386.deb2018-01-14 04:49 16597k
[CMP]acl2_8.0dfsg.orig.tar.gz2018-01-13 23:08 75816k
Fileacl2_8.2dfsg-3build1.debian.tar.xz2020-03-23 07:00 202k
Fileacl2_8.2dfsg-3build1.dsc2020-03-23 07:00 3k
Fileacl2_8.2dfsg-3build1_amd64.deb2020-03-23 13:24 21419k
[CMP]acl2_8.2dfsg.orig.tar.gz2019-12-19 23:13 78763k
Fileacl2_8.4dfsg-2.debian.tar.xz2021-11-01 23:24 305k
Fileacl2_8.4dfsg-2.dsc2021-11-01 23:24 3k
Fileacl2_8.4dfsg-2_amd64.deb2021-12-19 01:10 25521k
[CMP]acl2_8.4dfsg.orig.tar.gz2021-10-28 23:18 198235k
Fileacl2_8.5dfsg-5.debian.tar.xz2023-01-16 17:44 306k
Fileacl2_8.5dfsg-5.dsc2023-01-16 17:44 3k
Fileacl2_8.5dfsg-5_amd64.deb2023-01-17 02:29 26320k
Fileacl2_8.5dfsg-5build3.debian.tar.xz2024-04-01 05:43 306k
Fileacl2_8.5dfsg-5build3.dsc2024-04-01 05:43 3k
Fileacl2_8.5dfsg-5build3_amd64.deb2024-04-02 08:03 26226k
Fileacl2_8.5dfsg-6.debian.tar.xz2024-07-28 23:59 306k
Fileacl2_8.5dfsg-6.dsc2024-07-28 23:59 3k
Fileacl2_8.5dfsg-6_amd64.deb2024-07-29 04:20 25862k
[CMP]acl2_8.5dfsg.orig.tar.gz2022-07-27 23:33 218308k
Fileelpa-acl2_8.4dfsg-2_all.deb2021-12-19 01:09 70k
Fileelpa-acl2_8.5dfsg-5_all.deb2023-01-17 02:29 71k
Fileelpa-acl2_8.5dfsg-5build3_all.deb2024-04-02 08:02 71k
Fileelpa-acl2_8.5dfsg-6_all.deb2024-07-29 04:20 71k
Pars.Host