Index of /debian/buster/pool/main/a/acl2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]acl2-books-certs_8.0dfsg-1_all.deb2025-02-02 15:25 70M 
[   ]acl2-books-source_8.0dfsg-1_all.deb2025-02-02 15:25 12M 
[   ]acl2-books_8.0dfsg-1_amd64.deb2025-02-02 15:25 132M 
[   ]acl2-books_8.0dfsg-1_arm64.deb2025-02-02 15:25 135M 
[   ]acl2-books_8.0dfsg-1_i386.deb2025-02-02 15:25 111M 
[   ]acl2-doc_8.0dfsg-1_all.deb2025-02-02 15:25 392K 
[   ]acl2-emacs_8.0dfsg-1_all.deb2025-02-02 15:25 66K 
[   ]acl2-infix-source_8.0dfsg-1_all.deb2025-02-02 15:25 77K 
[   ]acl2-infix_8.0dfsg-1_amd64.deb2025-02-02 15:25 422K 
[   ]acl2-infix_8.0dfsg-1_arm64.deb2025-02-02 15:25 432K 
[   ]acl2-infix_8.0dfsg-1_i386.deb2025-02-02 15:25 390K 
[   ]acl2-source_8.0dfsg-1_all.deb2025-02-02 15:25 2.9M 
[   ]acl2_8.0dfsg-1.debian.tar.xz2025-02-02 15:25 200K 
[TXT]acl2_8.0dfsg-1.dsc2025-02-02 15:25 2.2K 
[   ]acl2_8.0dfsg-1_amd64.deb2025-02-02 15:25 19M 
[   ]acl2_8.0dfsg-1_arm64.deb2025-02-02 15:25 17M 
[   ]acl2_8.0dfsg-1_i386.deb2025-02-02 15:25 16M 
[   ]acl2_8.0dfsg.orig.tar.gz2025-02-02 15:25 74M