Index of /pool/main/a/acl2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2-books-certs_8.2dfsg-3build1_all.deb2025-09-12 12:48 66M 
[ ]acl2-books-certs_8.4dfsg-2_all.deb2025-09-12 16:26 221M 
[ ]acl2-books-certs_8.5dfsg-5build3_all.deb2025-09-12 18:55 216M 
[ ]acl2-books-source_8.2dfsg-3build1_all.deb2025-09-12 12:38 14M 
[ ]acl2-books-source_8.4dfsg-2_all.deb2025-09-12 16:56 21M 
[ ]acl2-books-source_8.5dfsg-5build3_all.deb2025-09-12 18:56 23M 
[ ]acl2-books_8.2dfsg-3build1_amd64.deb2025-09-12 12:53 163M 
[ ]acl2-books_8.4dfsg-2_amd64.deb2025-09-12 16:34 338M 
[ ]acl2-books_8.5dfsg-5build3_amd64.deb2025-09-12 18:26 331M 
[ ]acl2-doc_8.2dfsg-3build1_all.deb2025-09-12 12:52 418K 
[ ]acl2-doc_8.4dfsg-2_all.deb2025-09-12 16:50 441K 
[ ]acl2-doc_8.5dfsg-5build3_all.deb2025-09-12 18:37 474K 
[ ]acl2-emacs_8.2dfsg-3build1_all.deb2025-09-12 12:24 59K 
[ ]acl2-infix-source_8.2dfsg-3build1_all.deb2025-09-12 12:28 70K 
[ ]acl2-infix-source_8.4dfsg-2_all.deb2025-09-12 17:00 72K 
[ ]acl2-infix-source_8.5dfsg-5build3_all.deb2025-09-12 18:41 72K 
[ ]acl2-infix_8.2dfsg-3build1_amd64.deb2025-09-12 12:39 470K 
[ ]acl2-infix_8.4dfsg-2_amd64.deb2025-09-12 16:55 551K 
[ ]acl2-infix_8.5dfsg-5build3_amd64.deb2025-09-12 18:24 538K 
[ ]acl2-source_8.2dfsg-3build1_all.deb2025-09-12 12:46 3.1M 
[ ]acl2-source_8.4dfsg-2_all.deb2025-09-12 16:33 3.4M 
[ ]acl2-source_8.5dfsg-5build3_all.deb2025-09-12 18:34 3.5M 
[ ]acl2_8.2dfsg-3build1_amd64.deb2025-09-12 12:45 21M 
[ ]acl2_8.4dfsg-2_amd64.deb2025-09-12 16:59 25M 
[ ]acl2_8.5dfsg-5build3_amd64.deb2025-09-12 18:29 26M 
[ ]elpa-acl2_8.4dfsg-2_all.deb2025-09-12 16:27 69K 
[ ]elpa-acl2_8.5dfsg-5build3_all.deb2025-09-12 18:51 71K 
Apache/2.4.66 (Ubuntu) Server at repo.solswitch.ca Port 443