Binaries
acl2
(
acl2_8.1dfsg-1_kfreebsd-amd64.deb
)
SHA1: eae0ee93b1be6b7b6eb9f7d76e79420e1902aaca
SHA256: a2f5a8d41f41f785db381f6021db8ca53e00d05ddd074d142fecf0bbc354f88b
Size: 20,295,780 bytes
acl2-books
(
acl2-books_8.1dfsg-1_kfreebsd-amd64.deb
)
SHA1: d2832442855f8c620076b34c9cee9d2bc8b2b3fd
SHA256: 16563e5799e6a751ef30ecd44f0886c4d986b110da737113c5d988eab641b83f
Size: 163,418,600 bytes
acl2-infix
(
acl2-infix_8.1dfsg-1_kfreebsd-amd64.deb
)
SHA1: 5fac6a30d6d5a908e47fd68ad52164f03baa3a99
SHA256: c78701156869fde62c07abda4b11b332e0798471f7a5144bef773f0e49d28f0d
Size: 490,796 bytes