Index of /repos/scibian9/pool/main/a/acl2/

../
acl2-books-certs_7.2dfsg-3_all.deb                 25-Jan-2023 07:12     52M
acl2-books-source_7.2dfsg-3_all.deb                20-Dec-2022 15:12     10M
acl2-books_7.2dfsg-3_amd64.deb                     25-Jan-2023 07:12    103M
acl2-books_7.2dfsg-3_i386.deb                      12-Nov-2024 10:40     86M
acl2-doc_7.2dfsg-3_all.deb                         20-Dec-2022 15:13    372K
acl2-emacs_7.2dfsg-3_all.deb                       20-Dec-2022 15:13     63K
acl2-infix-source_7.2dfsg-3_all.deb                20-Dec-2022 15:13     77K
acl2-infix_7.2dfsg-3_amd64.deb                     20-Dec-2022 15:13    410K
acl2-infix_7.2dfsg-3_i386.deb                      12-Nov-2024 10:40    381K
acl2-source_7.2dfsg-3_all.deb                      20-Dec-2022 15:13      3M
acl2_7.2dfsg-3_amd64.deb                           25-Jan-2023 07:12     17M
acl2_7.2dfsg-3_i386.deb                            12-Nov-2024 10:40     15M