Folder Path

/raspbian-archive/raspbian.raspberrypi.org/raspbian/pool/main/a/acl2/

0 directories 23 files 1.1 GiB total

	Name	Size	Modified
	Up
	acl2-books-certs_8.5dfsg-5_all.deb	170 MiB	01/16/2023 02:55:57 PM +00:00
	acl2-books-certs_8.5dfsg-6_all.deb	64 MiB	07/28/2024 11:44:16 PM +00:00
	acl2-books-source_8.5dfsg-5_all.deb	24 MiB	01/16/2023 02:55:57 PM +00:00
	acl2-books-source_8.5dfsg-6_all.deb	24 MiB	07/28/2024 11:44:17 PM +00:00
	acl2-books_8.5dfsg-5_armhf.deb	266 MiB	01/26/2023 10:08:06 AM +00:00
	acl2-books_8.5dfsg-6_armhf.deb	270 MiB	10/04/2024 10:08:05 AM +00:00
	acl2-doc_8.5dfsg-5_all.deb	470 KiB	01/16/2023 02:55:57 PM +00:00
	acl2-doc_8.5dfsg-6_all.deb	470 KiB	07/28/2024 11:44:17 PM +00:00
	acl2-infix-source_8.5dfsg-5_all.deb	71 KiB	01/16/2023 02:55:57 PM +00:00
	acl2-infix-source_8.5dfsg-6_all.deb	71 KiB	07/28/2024 11:44:17 PM +00:00
	acl2-infix_8.5dfsg-5_armhf.deb	457 KiB	01/26/2023 10:08:06 AM +00:00
	acl2-infix_8.5dfsg-6_armhf.deb	459 KiB	10/04/2024 10:08:05 AM +00:00
	acl2-source_8.5dfsg-5_all.deb	3.4 MiB	01/16/2023 02:55:57 PM +00:00
	acl2-source_8.5dfsg-6_all.deb	3.4 MiB	07/28/2024 11:44:17 PM +00:00
	acl2_8.5dfsg-5.debian.tar.xz	306 KiB	01/16/2023 02:00:06 AM +00:00
	acl2_8.5dfsg-5.dsc	2.2 KiB	01/16/2023 02:00:06 AM +00:00
	acl2_8.5dfsg-5_armhf.deb	18 MiB	01/26/2023 10:08:06 AM +00:00
	acl2_8.5dfsg-6.debian.tar.xz	306 KiB	08/03/2024 04:41:00 AM +00:00
	acl2_8.5dfsg-6.dsc	2.2 KiB	08/03/2024 04:40:59 AM +00:00
	acl2_8.5dfsg-6_armhf.deb	18 MiB	10/04/2024 10:08:06 AM +00:00
	acl2_8.5dfsg.orig.tar.gz	213 MiB	07/27/2022 02:13:36 PM +00:00
	elpa-acl2_8.5dfsg-5_all.deb	69 KiB	01/16/2023 02:55:57 PM +00:00
	elpa-acl2_8.5dfsg-6_all.deb	69 KiB	07/28/2024 11:44:17 PM +00:00