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

../
acl2-books_8.6+dfsg-2_loong64.deb                  28-Apr-2025 00:03           554944684
acl2-books_8.6+dfsg-3_loong64.deb                  30-May-2025 12:03           555019560
acl2-infix_8.6+dfsg-2_loong64.deb                  28-Apr-2025 00:03             1084532
acl2-infix_8.6+dfsg-3_loong64.deb                  30-May-2025 12:03             1090556
acl2_8.6+dfsg-2_loong64.buildinfo                  28-Apr-2025 00:03                8244
acl2_8.6+dfsg-2_loong64.deb                        28-Apr-2025 00:03            42338452
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            37245224