File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2_8.0dfsg.orig.tar.gz74.0 MiB2024-Jun-21 23:32
acl2_8.0dfsg-1_i386.deb16.2 MiB2024-Jun-21 23:32
acl2_8.0dfsg-1_amd64.deb18.9 MiB2024-Jun-21 23:32
acl2_8.0dfsg-1.dsc2.2 KiB2024-Jun-21 23:32
acl2_8.0dfsg-1.debian.tar.xz200.0 KiB2024-Jun-21 23:32
acl2-source_8.0dfsg-1_all.deb2.9 MiB2024-Jun-21 23:32
acl2-infix_8.0dfsg-1_i386.deb390.0 KiB2024-Jun-21 23:32
acl2-infix_8.0dfsg-1_amd64.deb421.9 KiB2024-Jun-21 23:32
acl2-infix-source_8.0dfsg-1_all.deb77.3 KiB2024-Jun-21 23:32
acl2-emacs_8.0dfsg-1_all.deb66.0 KiB2024-Jun-21 23:32
acl2-doc_8.0dfsg-1_all.deb392.1 KiB2024-Jun-21 23:32
acl2-books_8.0dfsg-1_i386.deb110.6 MiB2024-Jun-21 23:32
acl2-books_8.0dfsg-1_amd64.deb131.6 MiB2024-Jun-21 23:32
acl2-books-source_8.0dfsg-1_all.deb11.9 MiB2024-Jun-21 23:32
acl2-books-certs_8.0dfsg-1_all.deb69.9 MiB2024-Jun-21 23:32