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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2-books-certs_4.2-1_all.deb2011-09-02 00:00 1.9M 
[ ]acl2-books-certs_6.3-5_all.deb2013-10-24 00:00 11M 
[ ]acl2-books-certs_7.1-1_all.deb2015-06-27 00:00 13M 
[ ]acl2-books-certs_8.0dfsg-1_all.deb2018-01-14 00:00 70M 
[ ]acl2-books-certs_8.2dfsg-3build1_all.deb2020-03-23 00:00 66M 
[ ]acl2-books-certs_8.3dfsg-1_all.deb2020-08-24 12:19 5.7K 
[ ]acl2-books-source_4.2-1_all.deb2011-09-02 00:00 4.9M 
[ ]acl2-books-source_6.3-5_all.deb2013-10-24 00:00 9.1M 
[ ]acl2-books-source_7.1-1_all.deb2015-06-27 00:00 9.9M 
[ ]acl2-books-source_8.0dfsg-1_all.deb2018-01-14 00:00 12M 
[ ]acl2-books-source_8.2dfsg-3build1_all.deb2020-03-23 00:00 14M 
[ ]acl2-books-source_8.3dfsg-1_all.deb2020-08-24 12:19 19M 
[ ]acl2-books_4.2-1_amd64.deb2011-09-02 00:00 39M 
[ ]acl2-books_4.2-1_i386.deb2011-09-02 00:00 34M 
[ ]acl2-books_6.3-5_amd64.deb2013-10-24 00:00 40M 
[ ]acl2-books_6.3-5_i386.deb2013-10-24 00:00 36M 
[ ]acl2-books_7.1-1_amd64.deb2015-06-27 00:00 19M 
[ ]acl2-books_7.1-1_i386.deb2015-06-02 00:00 18M 
[ ]acl2-books_8.0dfsg-1_amd64.deb2018-01-14 00:00 132M 
[ ]acl2-books_8.0dfsg-1_i386.deb2018-01-14 00:00 114M 
[ ]acl2-books_8.2dfsg-3build1_amd64.deb2020-03-23 00:00 163M 
[ ]acl2-books_8.3dfsg-1_amd64.deb2020-08-24 12:19 4.2K 
[ ]acl2-doc_4.2-1_all.deb2011-09-02 00:00 264K 
[ ]acl2-doc_6.3-5_all.deb2013-10-24 00:00 12M 
[ ]acl2-doc_7.1-1_all.deb2015-06-27 00:00 353K 
[ ]acl2-doc_8.0dfsg-1_all.deb2018-01-14 00:00 385K 
[ ]acl2-doc_8.2dfsg-3build1_all.deb2020-03-23 00:00 418K 
[ ]acl2-doc_8.3dfsg-1_all.deb2020-08-24 12:18 429K 
[ ]acl2-emacs_4.2-1_all.deb2011-09-02 00:00 52K 
[ ]acl2-emacs_6.3-5_all.deb2013-10-24 00:00 55K 
[ ]acl2-emacs_7.1-1_all.deb2015-06-27 00:00 55K 
[ ]acl2-emacs_8.0dfsg-1_all.deb2018-01-14 00:00 59K 
[ ]acl2-emacs_8.2dfsg-3build1_all.deb2020-03-23 00:00 59K 
[ ]acl2-emacs_8.3dfsg-1_all.deb2020-08-24 12:19 60K 
[ ]acl2-infix-source_4.2-1_all.deb2011-09-02 00:00 80K 
[ ]acl2-infix-source_6.3-5_all.deb2013-10-24 00:00 86K 
[ ]acl2-infix-source_7.1-1_all.deb2015-06-27 00:00 70K 
[ ]acl2-infix-source_8.0dfsg-1_all.deb2018-01-14 00:00 70K 
[ ]acl2-infix-source_8.2dfsg-3build1_all.deb2020-03-23 00:00 70K 
[ ]acl2-infix-source_8.3dfsg-1_all.deb2020-08-24 12:18 70K 
[ ]acl2-infix_4.2-1_amd64.deb2011-09-02 00:00 438K 
[ ]acl2-infix_4.2-1_i386.deb2011-09-02 00:00 400K 
[ ]acl2-infix_6.3-5_amd64.deb2013-10-24 00:00 200K 
[ ]acl2-infix_6.3-5_i386.deb2013-10-24 00:00 189K 
[ ]acl2-infix_7.1-1_amd64.deb2015-06-27 00:00 140K 
[ ]acl2-infix_7.1-1_i386.deb2015-06-02 00:00 142K 
[ ]acl2-infix_8.0dfsg-1_amd64.deb2018-01-14 00:00 414K 
[ ]acl2-infix_8.0dfsg-1_i386.deb2018-01-14 00:00 381K 
[ ]acl2-infix_8.2dfsg-3build1_amd64.deb2020-03-23 00:00 470K 
[ ]acl2-infix_8.3dfsg-1_amd64.deb2020-08-24 12:19 472K 
[ ]acl2-source_4.2-1_all.deb2011-09-02 00:00 3.0M 
[ ]acl2-source_6.3-5_all.deb2013-10-24 00:00 3.6M 
[ ]acl2-source_7.1-1_all.deb2015-06-27 00:00 2.7M 
[ ]acl2-source_8.0dfsg-1_all.deb2018-01-14 00:00 2.9M 
[ ]acl2-source_8.2dfsg-3build1_all.deb2020-03-23 00:00 3.1M 
[ ]acl2-source_8.3dfsg-1_all.deb2020-08-24 12:19 3.2M 
[ ]acl2_4.2-1.debian.tar.gz2011-05-15 00:00 17K 
[ ]acl2_4.2-1.dsc2011-05-15 00:00 1.2K 
[ ]acl2_4.2-1_amd64.deb2011-09-02 00:00 25M 
[ ]acl2_4.2-1_i386.deb2011-09-02 00:00 22M 
[ ]acl2_4.2.orig.tar.gz2011-05-15 00:00 11M 
[ ]acl2_6.3-5.debian.tar.gz2013-10-21 00:00 158K 
[ ]acl2_6.3-5.dsc2013-10-21 00:00 1.7K 
[ ]acl2_6.3-5_amd64.deb2013-10-24 00:00 27M 
[ ]acl2_6.3-5_i386.deb2013-10-24 00:00 23M 
[ ]acl2_6.3.orig-books.tar.gz2013-10-21 00:00 13M 
[ ]acl2_6.3.orig.tar.gz2013-10-21 00:00 6.7M 
[ ]acl2_7.1-1.debian.tar.xz2015-06-01 00:00 126K 
[ ]acl2_7.1-1.dsc2015-06-01 00:00 2.2K 
[ ]acl2_7.1-1_amd64.deb2015-06-27 00:00 16M 
[ ]acl2_7.1-1_i386.deb2015-06-02 00:00 16M 
[ ]acl2_7.1.orig.tar.gz2015-06-01 00:00 60M 
[ ]acl2_8.0dfsg-1.debian.tar.xz2018-01-13 00:00 200K 
[ ]acl2_8.0dfsg-1.dsc2018-01-13 00:00 2.2K 
[ ]acl2_8.0dfsg-1_amd64.deb2018-01-14 00:00 19M 
[ ]acl2_8.0dfsg-1_i386.deb2018-01-14 00:00 16M 
[ ]acl2_8.0dfsg.orig.tar.gz2018-01-13 00:00 74M 
[ ]acl2_8.2dfsg-3build1.debian.tar.xz2020-03-23 00:00 201K 
[ ]acl2_8.2dfsg-3build1.dsc2020-03-23 00:00 2.2K 
[ ]acl2_8.2dfsg-3build1_amd64.deb2020-03-23 00:00 21M 
[ ]acl2_8.2dfsg.orig.tar.gz2019-12-19 00:00 77M 
[ ]acl2_8.3dfsg-1.debian.tar.xz2020-08-24 11:13 201K 
[ ]acl2_8.3dfsg-1.dsc2020-08-24 11:13 2.2K 
[ ]acl2_8.3dfsg-1_amd64.deb2020-08-24 12:18 20M 
[ ]acl2_8.3dfsg.orig.tar.gz2020-08-24 11:13 112M 
Apache/2.4.29 (Ubuntu) Server at myapp1 Port 80