Index of /debian-development/amd64/debian/pool/main/a/acl2

Icon  Name                                          Last modified      Size  
[PARENTDIR] Parent Directory                                                   -   
[   ] acl2-books-certs_8.5dfsg-5_all.deb            2026-06-17 13:25  170M  
[   ] acl2-books-source_8.5dfsg-5_all.deb           2026-06-17 13:25   24M  
[   ] acl2-books_8.5dfsg-5_amd64.deb                2026-06-17 13:26  287M  
[   ] acl2-doc_8.5dfsg-5_all.deb                    2026-06-17 13:26  470K  
[   ] acl2-infix-source_8.5dfsg-5_all.deb           2026-06-17 13:26   71K  
[   ] acl2-infix_8.5dfsg-5_amd64.deb                2026-06-17 13:26  464K  
[   ] acl2-source_8.5dfsg-5_all.deb                 2026-06-17 13:26  3.4M  
[   ] acl2_8.5dfsg-5_amd64.deb                      2026-06-17 13:26   22M  
[   ] elpa-acl2_8.5dfsg-5_all.deb                   2026-06-17 13:26   69K