Index of /ubuntu-ports/pool/universe/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-infix_7.1-1_armhf.deb	2015-06-02 12:58	423K
	acl2-books_7.1-1_armhf.deb	2015-06-02 12:58	60M
	acl2_7.1-1_armhf.deb	2015-06-02 12:58	15M
	acl2-infix_7.1-1_arm64.deb	2015-06-02 14:43	147K
	acl2_7.1-1_arm64.deb	2015-06-02 14:43	15M
	acl2-books_7.1-1_arm64.deb	2015-06-02 14:43	19M
	acl2-books-certs_7.1-1_all.deb	2015-06-27 13:48	13M
	acl2-doc_7.1-1_all.deb	2015-06-27 13:48	353K
	acl2-emacs_7.1-1_all.deb	2015-06-27 13:48	55K
	acl2-books-source_7.1-1_all.deb	2015-06-27 13:48	9.9M
	acl2-infix-source_7.1-1_all.deb	2015-06-27 13:48	70K
	acl2-source_7.1-1_all.deb	2015-06-27 13:48	2.7M
	acl2_8.5dfsg.orig.tar.gz	2022-07-27 23:33	213M
	acl2_8.5dfsg-5build3.debian.tar.xz	2024-04-01 05:43	306K
	acl2_8.5dfsg-5build3.dsc	2024-04-01 05:43	2.3K
	acl2-doc_8.5dfsg-5build3_all.deb	2024-04-02 08:02	474K
	acl2-infix-source_8.5dfsg-5build3_all.deb	2024-04-02 08:02	72K
	acl2-source_8.5dfsg-5build3_all.deb	2024-04-02 08:02	3.5M
	elpa-acl2_8.5dfsg-5build3_all.deb	2024-04-02 08:02	71K
	acl2-books-source_8.5dfsg-5build3_all.deb	2024-04-02 08:02	23M
	acl2-books-certs_8.5dfsg-5build3_all.deb	2024-04-02 08:03	216M
	acl2-infix_8.5dfsg-5build3_armhf.deb	2024-04-03 15:40	542K
	acl2-books_8.5dfsg-5build3_armhf.deb	2024-04-03 15:40	318M
	acl2_8.5dfsg-5build3_armhf.deb	2024-04-03 15:40	21M
	acl2-infix_8.5dfsg-5build3_arm64.deb	2024-04-11 15:38	542K
	acl2-books_8.5dfsg-5build3_arm64.deb	2024-04-11 15:38	337M
	acl2_8.5dfsg-5build3_arm64.deb	2024-04-11 15:38	24M