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

../
acl2-books_8.6+dfsg-2_loong64.deb                  28-Apr-2025 09:03    529M
acl2-infix_8.6+dfsg-2_loong64.deb                  28-Apr-2025 09:03      1M
acl2_8.6+dfsg-2_loong64.buildinfo                  28-Apr-2025 09:03    8244
acl2_8.6+dfsg-2_loong64.deb                        28-Apr-2025 09:03     40M