Index of /debian-ports/pool-loong64/main/a/acl2/

../
acl2-books_8.6+dfsg-3_loong64.deb                  30-May-2025 12:03    529M
acl2-infix_8.6+dfsg-3_loong64.deb                  30-May-2025 12:03      1M
acl2_8.6+dfsg-3_loong64.buildinfo                  30-May-2025 12:03    8240
acl2_8.6+dfsg-3_loong64.deb                        30-May-2025 12:03     36M