Index of /deepin/apricot/pool/main/a/acl2

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] acl2_8.0dfsg.orig.tar.gz 2022-04-11 05:44 74M [   ] acl2_8.0dfsg-1_i386.deb 2022-04-11 05:02 16M [   ] acl2_8.0dfsg-1_amd64.deb 2022-04-11 05:30 19M [   ] acl2_8.0dfsg-1.dsc 2022-04-11 05:44 2.2K [   ] acl2_8.0dfsg-1.debian.tar.xz 2022-04-11 05:44 200K [   ] acl2-source_8.0dfsg-1_all.deb 2022-04-11 04:56 2.9M [   ] acl2-infix_8.0dfsg-1_i386.deb 2022-04-11 05:06 390K [   ] acl2-infix_8.0dfsg-1_amd64.deb 2022-04-11 05:44 422K [   ] acl2-infix-source_8.0dfsg-1_all.deb 2022-04-11 05:10 77K [   ] acl2-emacs_8.0dfsg-1_all.deb 2022-04-11 05:17 66K [   ] acl2-doc_8.0dfsg-1_all.deb 2022-04-11 05:20 392K [   ] acl2-books_8.0dfsg-1_i386.deb 2022-04-11 04:57 111M [   ] acl2-books_8.0dfsg-1_amd64.deb 2022-04-11 05:13 132M [   ] acl2-books-source_8.0dfsg-1_all.deb 2022-04-11 05:43 12M [   ] acl2-books-certs_8.0dfsg-1_all.deb 2022-04-11 05:40 70M
Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443