Index of /pub/linux/deepin/pool/main/a/acl2/

Filename	Modification time	Size
acl2-books-certs_8.0dfsg-1_all.deb	2022-04-11 05:40 CEST	70 MiB
acl2-books-source_8.0dfsg-1_all.deb	2022-04-11 05:43 CEST	12 MiB
acl2-books_8.0dfsg-1_amd64.deb	2022-04-11 05:13 CEST	132 MiB
acl2-books_8.0dfsg-1_i386.deb	2022-04-11 04:57 CEST	111 MiB
acl2-doc_8.0dfsg-1_all.deb	2022-04-11 05:20 CEST	392 KiB
acl2-emacs_8.0dfsg-1_all.deb	2022-04-11 05:17 CEST	66 KiB
acl2-infix-source_8.0dfsg-1_all.deb	2022-04-11 05:10 CEST	77 KiB
acl2-infix_8.0dfsg-1_amd64.deb	2022-04-11 05:44 CEST	422 KiB
acl2-infix_8.0dfsg-1_i386.deb	2022-04-11 05:06 CEST	390 KiB
acl2-source_8.0dfsg-1_all.deb	2022-04-11 04:56 CEST	3009 KiB
acl2_8.0dfsg-1.debian.tar.xz	2022-04-11 05:44 CEST	200 KiB
acl2_8.0dfsg-1.dsc	2022-04-11 05:44 CEST	2245 B
acl2_8.0dfsg-1_amd64.deb	2022-04-11 05:30 CEST	19 MiB
acl2_8.0dfsg-1_i386.deb	2022-04-11 05:02 CEST	16 MiB
acl2_8.0dfsg.orig.tar.gz	2022-04-11 05:44 CEST	74 MiB