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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]acl2-infix-source_8.4dfsg-2_all.deb2021-12-19 02:10 72K 
[   ]acl2-books-source_8.4dfsg-2_all.deb2021-12-19 02:10 21M 
[   ]acl2_8.4dfsg-2_amd64.deb2021-12-19 02:10 25M 
[   ]acl2-books-certs_8.4dfsg-2_all.deb2021-12-19 02:10 221M 
[   ]acl2-source_8.4dfsg-2_all.deb2021-12-19 02:10 3.4M 
[   ]acl2-doc_8.4dfsg-2_all.deb2021-12-19 02:09 441K 
[   ]acl2-books_8.4dfsg-2_amd64.deb2021-12-19 02:09 338M 
[   ]elpa-acl2_8.4dfsg-2_all.deb2021-12-19 02:09 69K 
[   ]acl2-infix_8.4dfsg-2_amd64.deb2021-12-19 02:09 551K 
[   ]acl2_8.4dfsg-2.debian.tar.xz2021-11-02 00:24 304K 
[   ]acl2_8.4dfsg-2.dsc2021-11-02 00:24 2.2K 
[   ]acl2_8.4dfsg.orig.tar.gz2021-10-29 01:18 194M 
[   ]acl2-source_8.3dfsg-2_all.deb2021-01-28 08:19 3.2M 
[   ]acl2-infix_8.3dfsg-2_amd64.deb2021-01-28 08:19 471K 
[   ]acl2-infix-source_8.3dfsg-2_all.deb2021-01-28 08:19 70K 
[   ]acl2-emacs_8.3dfsg-2_all.deb2021-01-28 08:19 60K 
[   ]acl2-doc_8.3dfsg-2_all.deb2021-01-28 08:19 429K 
[   ]acl2_8.3dfsg-2_amd64.deb2021-01-28 08:19 21M 
[   ]acl2-books-certs_8.3dfsg-2_all.deb2021-01-28 08:19 139M 
[   ]acl2-books_8.3dfsg-2_amd64.deb2021-01-28 08:19 241M 
[   ]acl2-books-source_8.3dfsg-2_all.deb2021-01-28 08:19 19M 
[   ]acl2_8.3dfsg-2.dsc2021-01-28 00:19 2.2K 
[   ]acl2_8.3dfsg-2.debian.tar.xz2021-01-28 00:19 223K 
[   ]acl2_8.3dfsg.orig.tar.gz2020-08-24 13:13 112M 

Apache/2.4.38 (Debian) Server at mirror.zrh.ifog.ch Port 443