Binaries
acl2
(
acl2_8.1dfsg-3_kfreebsd-amd64.deb
)
SHA1: 39c5bd6bbfa90c2c2a628d5c76bba0964101ba4f
SHA256: 2e3d881742c215d4c80985f9f3346df24d8bd30a1f9a73170f23ef5be01d55c5
Size: 20,260,528 bytes
acl2-books
(
acl2-books_8.1dfsg-3_kfreebsd-amd64.deb
)
SHA1: 39d22c4a26f1e04e5be34eb1705172dedadb7a8b
SHA256: 9a1d16a8d8274bc5f3861ac22fdc100f5aeb0d85148de0775908ddbd9b2bb3f9
Size: 163,405,028 bytes
acl2-infix
(
acl2-infix_8.1dfsg-3_kfreebsd-amd64.deb
)
SHA1: 562ba84195f70b6510d4ff4ce1c48e71efcedf2d
SHA256: 6a25c09f825b487d7eda8a05f09d3549145d5a15ade8f86188b2c033dab52c35
Size: 489,736 bytes