Index of /kylin/KYLIN-ALL/pool/main/a/acl2/

../
acl2-books-certs_8.5dfsg-ok1_all.deb               29-Sep-2024 09:02           178482092
acl2-books-source_8.5dfsg-ok1_all.deb              29-Sep-2024 07:36            24665764
acl2-books_8.5dfsg-ok1_amd64.deb                   29-Sep-2024 09:53           300786468
acl2-books_8.5dfsg-ok1_arm64.deb                   09-Oct-2024 10:47           303496436
acl2-doc_8.5dfsg-ok1_all.deb                       29-Sep-2024 09:30              482072
acl2-infix-source_8.5dfsg-ok1_all.deb              29-Sep-2024 09:29               72936
acl2-infix_8.5dfsg-ok1_amd64.deb                   29-Sep-2024 08:50              476312
acl2-infix_8.5dfsg-ok1_arm64.deb                   09-Oct-2024 10:45              473548
acl2-source_8.5dfsg-ok1_all.deb                    29-Sep-2024 08:09             3588912
acl2_8.5dfsg-ok1_amd64.deb                         29-Sep-2024 09:58            23354948
acl2_8.5dfsg-ok1_arm64.deb                         09-Oct-2024 10:39            23380746
elpa-acl2_8.5dfsg-ok1_all.deb                      29-Sep-2024 08:13               71136