Name Size Modified
../ - -
acl2-books-certs_8.5dfsg-5_all.deb 178.4 MB
acl2-books-certs_8.6+dfsg-2_all.deb 221.6 MB
acl2-books-source_8.5dfsg-5_all.deb 24.7 MB
acl2-books-source_8.6+dfsg-2_all.deb 27.5 MB
acl2-books_8.5dfsg-5_amd64.deb 300.9 MB
acl2-books_8.6+dfsg-2_amd64.deb 435.7 MB
acl2-books_8.6+dfsg-2_arm64.deb 432.5 MB
acl2-books_8.6+dfsg-2_armhf.deb 413.8 MB
acl2-books_8.6+dfsg-2_riscv64.deb 981.5 MB
acl2-doc_8.5dfsg-5_all.deb 481.3 kB
acl2-doc_8.6+dfsg-2_all.deb 524.9 kB
acl2-infix-source_8.5dfsg-5_all.deb 72.3 kB
acl2-infix-source_8.6+dfsg-2_all.deb 72.7 kB
acl2-infix_8.5dfsg-5_amd64.deb 475.3 kB
acl2-infix_8.6+dfsg-2_amd64.deb 886.8 kB
acl2-infix_8.6+dfsg-2_arm64.deb 853.8 kB
acl2-infix_8.6+dfsg-2_armhf.deb 865.8 kB
acl2-infix_8.6+dfsg-2_riscv64.deb 1.9 MB
acl2-source_8.5dfsg-5_all.deb 3.6 MB
acl2-source_8.6+dfsg-2_all.deb 4.0 MB
acl2_8.5dfsg-5_amd64.deb 23.4 MB
acl2_8.6+dfsg-2.debian.tar.xz 445.1 kB
acl2_8.6+dfsg-2.dsc 2.3 kB
acl2_8.6+dfsg-2_amd64.deb 36.9 MB
acl2_8.6+dfsg-2_arm64.deb 36.6 MB
acl2_8.6+dfsg-2_armhf.deb 38.3 MB
acl2_8.6+dfsg-2_riscv64.deb 37.2 MB
acl2_8.6+dfsg.orig.tar.gz 240.3 MB
elpa-acl2_8.5dfsg-5_all.deb 70.6 kB
elpa-acl2_8.6+dfsg-2_all.deb 78.3 kB

This page is generated by rsync-sjtug. rsync-sjtug is a tool used by SJTUG to sync from rsync upstream to object storage.

Revision 74276, Last updated at , query time 2ms