Binaries
acl2
(
acl2_7.4dfsg-3.1+b1_mips64el.deb
)
SHA1: 84a32e093816962a9ca357c7e2934e85b63ff3e5
SHA256: e66264c556adc7039e95380479d5becad7b2ad96eee766e01cdfbad4b41bd7c5
Size: 17,191,044 bytes
acl2-books
(
acl2-books_7.4dfsg-3.1+b1_mips64el.deb
)
SHA1: 6c53a367c80ace71acb99d3241d4cc97c70bcfdd
SHA256: 0f61ee89dcfcafae61f7f042f9e398c4a919615ec8a35af9cea86e79b8a3e124
Size: 131,537,408 bytes
acl2-infix
(
acl2-infix_7.4dfsg-3.1+b1_mips64el.deb
)
SHA1: 1092ce7829c6b26244beb691d8f41246efd2e84d
SHA256: c443687a6cd61148623f04f1763828273037ac1887039f2853c3d71067a296ff
Size: 450,088 bytes