Binaries
acl2
(
acl2_8.0dfsg-1_kfreebsd-i386.deb
)
SHA1: f5c62ad58895cde08cd15318bceef2ce23f62dd4
SHA256: f3c9556e56d768b824db501c4465c9e3ff7769f1e8d0f065e8cabf78f4690fb3
Size: 17,621,460 bytes
acl2-books
(
acl2-books_8.0dfsg-1_kfreebsd-i386.deb
)
SHA1: e73648d37240d4b645818c069f86dbdcee6bf551
SHA256: 42908553b1103e712e327d98879ac1b601f0b1f7f1fb7c814f583630f5a8d4ef
Size: 116,127,656 bytes
acl2-infix
(
acl2-infix_8.0dfsg-1_kfreebsd-i386.deb
)
SHA1: edd4acf2eb6dd1517481624001d337eadb5bcb91
SHA256: 39e4609deb67a370ba66d339bfd1145b05e1125cf216d9bb750162001bfe6bfd
Size: 398,264 bytes