Index of /Deepin/deepin/pool/main/a/acl2
Name Last modified Size Description
Parent Directory -
acl2_8.0dfsg-1.dsc 2022-04-11 11:44 2.2K
acl2-emacs_8.0dfsg-1_all.deb 2022-04-11 11:17 66K
acl2-infix-source_8.0dfsg-1_all.deb 2022-04-11 11:10 77K
acl2_8.0dfsg-1.debian.tar.xz 2022-04-11 11:44 200K
acl2-infix_8.0dfsg-1_i386.deb 2022-04-11 11:06 390K
acl2-doc_8.0dfsg-1_all.deb 2022-04-11 11:20 392K
acl2-infix_8.0dfsg-1_amd64.deb 2022-04-11 11:44 422K
acl2-source_8.0dfsg-1_all.deb 2022-04-11 10:56 2.9M
acl2-books-source_8.0dfsg-1_all.deb 2022-04-11 11:43 12M
acl2_8.0dfsg-1_i386.deb 2022-04-11 11:02 16M
acl2_8.0dfsg-1_amd64.deb 2022-04-11 11:30 19M
acl2-books-certs_8.0dfsg-1_all.deb 2022-04-11 11:40 70M
acl2_8.0dfsg.orig.tar.gz 2022-04-11 11:44 74M
acl2-books_8.0dfsg-1_i386.deb 2022-04-11 10:57 111M
acl2-books_8.0dfsg-1_amd64.deb 2022-04-11 11:13 132M
Apache/2.4.62 (Debian) Server at mirror.freedif.org Port 443