Index of /kylinsoft/anything3.0/openkylin/pool/main/a/acl2/

../
acl2-books-certs_8.6+dfsg-ok1_all.deb              17-Jun-2026 04:52           280231838
acl2-books-source_8.6+dfsg-ok1_all.deb             17-Jun-2026 04:52            27590874
acl2-books_8.6+dfsg-ok1_amd64.deb                  17-Jun-2026 04:52           498549772
acl2-books_8.6+dfsg-ok1_arm64.deb                  03-Jul-2026 07:58           495525020
acl2-books_8.6+dfsg-ok1_loong64.deb                21-Jul-2026 19:29           650883242
acl2-doc_8.6+dfsg-ok1_all.deb                      17-Jun-2026 04:52              526716
acl2-infix-source_8.6+dfsg-ok1_all.deb             17-Jun-2026 04:52               72844
acl2-infix_8.6+dfsg-ok1_amd64.deb                  17-Jun-2026 04:52             1030270
acl2-infix_8.6+dfsg-ok1_arm64.deb                  03-Jul-2026 07:58             1014066
acl2-infix_8.6+dfsg-ok1_loong64.deb                21-Jul-2026 19:29             1282710
acl2-source_8.6+dfsg-ok1_all.deb                   17-Jun-2026 04:52             4060486
acl2_8.6+dfsg-ok1.debian.tar.xz                    06-May-2026 10:33              637192
acl2_8.6+dfsg-ok1.dsc                              06-May-2026 10:33                2144
acl2_8.6+dfsg-ok1_amd64.deb                        17-Jun-2026 04:52            47458728
acl2_8.6+dfsg-ok1_arm64.deb                        03-Jul-2026 07:59            48473790
acl2_8.6+dfsg-ok1_loong64.deb                      21-Jul-2026 19:29            49214442
acl2_8.6+dfsg.orig.tar.gz                          06-May-2026 10:33           240329345
elpa-acl2_8.6+dfsg-ok1_all.deb                     17-Jun-2026 04:52               78564