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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
acl2-books-certs_8.0dfsg-1_all.deb2022-Apr-11 11:40:1169.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.0dfsg-1_all.deb2022-Apr-11 11:43:3811.9Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_amd64.deb2022-Apr-11 11:13:01131.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_i386.deb2022-Apr-11 10:57:37110.6Mapplication/vnd.debian.binary-package
acl2-doc_8.0dfsg-1_all.deb2022-Apr-11 11:20:41392.1Kapplication/vnd.debian.binary-package
acl2-emacs_8.0dfsg-1_all.deb2022-Apr-11 11:17:0066.0Kapplication/vnd.debian.binary-package
acl2-infix-source_8.0dfsg-1_all.deb2022-Apr-11 11:10:3177.3Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_amd64.deb2022-Apr-11 11:44:26421.9Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_i386.deb2022-Apr-11 11:06:37389.9Kapplication/vnd.debian.binary-package
acl2-source_8.0dfsg-1_all.deb2022-Apr-11 10:56:312.9Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1.debian.tar.xz2022-Apr-11 11:44:47199.9Kapplication/x-xz
acl2_8.0dfsg-1.dsc2022-Apr-11 11:44:472.1Kapplication/octet-stream
acl2_8.0dfsg-1_amd64.deb2022-Apr-11 11:30:3818.9Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_i386.deb2022-Apr-11 11:02:4716.2Mapplication/vnd.debian.binary-package
acl2_8.0dfsg.orig.tar.gz2022-Apr-11 11:44:4974.0Mapplication/gzip
lighttpd/1.4.35