Folder Path

/parrot/pool/main/a/acl2/

0 directories 36 files 3.7 GiB total
List Grid
Name
Size Modified
Up
acl2-books-certs_8.5dfsg-5_all.deb
170 MiB
acl2-books-certs_8.6+dfsg-2_all.deb
211 MiB
acl2-books-source_8.5dfsg-5_all.deb
24 MiB
acl2-books-source_8.6+dfsg-2_all.deb
26 MiB
acl2-books_8.5dfsg-5_amd64.deb
287 MiB
acl2-books_8.5dfsg-5_arm64.deb
289 MiB
acl2-books_8.6+dfsg-2_amd64.deb
416 MiB
acl2-books_8.6+dfsg-2_arm64.deb
412 MiB
acl2-books_8.6+dfsg-2_armhf.deb
395 MiB
acl2-books_8.6+dfsg-2_riscv64.deb
936 MiB
acl2-doc_8.5dfsg-5_all.deb
470 KiB
acl2-doc_8.6+dfsg-2_all.deb
513 KiB
acl2-infix-source_8.5dfsg-5_all.deb
71 KiB
acl2-infix-source_8.6+dfsg-2_all.deb
71 KiB
acl2-infix_8.5dfsg-5_amd64.deb
464 KiB
acl2-infix_8.5dfsg-5_arm64.deb
461 KiB
acl2-infix_8.6+dfsg-2_amd64.deb
866 KiB
acl2-infix_8.6+dfsg-2_arm64.deb
834 KiB
acl2-infix_8.6+dfsg-2_armhf.deb
846 KiB
acl2-infix_8.6+dfsg-2_riscv64.deb
1.8 MiB
acl2-source_8.5dfsg-5_all.deb
3.4 MiB
acl2-source_8.6+dfsg-2_all.deb
3.8 MiB
acl2_8.5dfsg-5.debian.tar.xz
306 KiB
acl2_8.5dfsg-5.dsc
2.2 KiB
acl2_8.5dfsg-5_amd64.deb
22 MiB
acl2_8.5dfsg-5_arm64.deb
21 MiB
acl2_8.5dfsg.orig.tar.gz
213 MiB
acl2_8.6+dfsg-2.debian.tar.xz
435 KiB
acl2_8.6+dfsg-2.dsc
2.2 KiB
acl2_8.6+dfsg-2_amd64.deb
35 MiB
acl2_8.6+dfsg-2_arm64.deb
35 MiB
acl2_8.6+dfsg-2_armhf.deb
37 MiB
acl2_8.6+dfsg-2_riscv64.deb
35 MiB
acl2_8.6+dfsg.orig.tar.gz
229 MiB
elpa-acl2_8.5dfsg-5_all.deb
69 KiB
elpa-acl2_8.6+dfsg-2_all.deb
76 KiB