Index of /kylin/KYLIN-ALL/pool/universe/a/acl2/extra/1/

../
acl2-books-certs_8.5dfsg-ok1_all.deb               05-Dec-2025 13:28           178482172
acl2-books-source_8.5dfsg-ok1_all.deb              05-Dec-2025 12:03            24665844
acl2-books_8.5dfsg-ok1_amd64.deb                   05-Dec-2025 15:35           300786548
acl2-books_8.5dfsg-ok1_arm64.deb                   05-Dec-2025 14:23           303496514
acl2-doc_8.5dfsg-ok1_all.deb                       05-Dec-2025 13:50              482152
acl2-infix-source_8.5dfsg-ok1_all.deb              05-Dec-2025 13:18               73016
acl2-infix_8.5dfsg-ok1_amd64.deb                   05-Dec-2025 15:31              476392
acl2-infix_8.5dfsg-ok1_arm64.deb                   05-Dec-2025 14:19              473628
acl2-source_8.5dfsg-ok1_all.deb                    05-Dec-2025 12:23             3588990
acl2_8.5dfsg-ok1_amd64.deb                         05-Dec-2025 15:25            23355028
acl2_8.5dfsg-ok1_arm64.deb                         05-Dec-2025 14:14            23380828
elpa-acl2_8.5dfsg-ok1_all.deb                      05-Dec-2025 13:00               71216