/kali/pool/main/a/acl2/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
acl2-books_8.6+dfsg-3_amd64.deb	415.6 MiB	2025년 05월 15일 05시 40분
acl2-books_8.6+dfsg-3_arm64.deb	412.5 MiB	2025년 05월 15일 22시 47분
acl2-books_8.6+dfsg-3+b1_arm64.deb	409.9 MiB	2026년 01월 20일 14시 36분
acl2-books_8.6+dfsg-3_armhf.deb	394.7 MiB	2025년 05월 15일 07시 17분
acl2-books_8.6+dfsg-3_i386.deb	344.3 MiB	2025년 05월 15일 07시 27분
acl2_8.6+dfsg.orig.tar.gz	229.2 MiB	2025년 04월 27일 06시 21분
acl2-books-certs_8.6+dfsg-3_all.deb	211.6 MiB	2025년 05월 15일 05시 24분
acl2_8.6+dfsg-3_i386.deb	39.2 MiB	2025년 05월 15일 07시 27분
acl2_8.6+dfsg-3_armhf.deb	38.2 MiB	2025년 05월 15일 07시 17분
acl2_8.6+dfsg-3_arm64.deb	36.4 MiB	2025년 05월 15일 22시 47분
acl2_8.6+dfsg-3_amd64.deb	35.4 MiB	2025년 05월 15일 05시 40분
acl2_8.6+dfsg-3+b1_arm64.deb	35.0 MiB	2026년 01월 20일 14시 36분
acl2-books-source_8.6+dfsg-3_all.deb	26.2 MiB	2025년 05월 15일 05시 24분
acl2-source_8.6+dfsg-3_all.deb	3.8 MiB	2025년 05월 15일 05시 24분
acl2-infix_8.6+dfsg-3_amd64.deb	864.8 KiB	2025년 05월 15일 05시 40분
acl2-infix_8.6+dfsg-3_i386.deb	852.5 KiB	2025년 05월 15일 07시 27분
acl2-infix_8.6+dfsg-3_armhf.deb	846.4 KiB	2025년 05월 15일 07시 17분
acl2-infix_8.6+dfsg-3_arm64.deb	833.5 KiB	2025년 05월 15일 22시 47분
acl2-infix_8.6+dfsg-3+b1_arm64.deb	825.8 KiB	2026년 01월 20일 14시 36분
acl2_8.6+dfsg-3.debian.tar.xz	694.5 KiB	2025년 05월 14일 23시 10분
acl2-doc_8.6+dfsg-3_all.deb	512.8 KiB	2025년 05월 15일 05시 24분
elpa-acl2_8.6+dfsg-3_all.deb	76.6 KiB	2025년 05월 15일 05시 24분
acl2-infix-source_8.6+dfsg-3_all.deb	71.1 KiB	2025년 05월 15일 05시 24분
acl2_8.6+dfsg-3.dsc	2.2 KiB	2025년 05월 14일 23시 10분