Binaries
acl2
(
acl2_8.3dfsg-1_i386.deb
)
SHA1: 55df521c3b8a780ea4503ce7586b6873665eae49
SHA256: 0ca70a3f267a3c6be5dcf5f4968d02c16f580b15778c1c9546d372fd7a478ee4
Size: 19,178,780 bytes
SHA1: c2ccd43565c20541f201f2d71bfa491d3c11a65a
SHA256: 8aa8e1c2f77264375529dc503514b863cf5d4e62a11bc62e10271115e8d378e7
Size: 12,956 bytes
SHA1: 5ec8b54c7082f365c9820bd6569530a17781d40b
SHA256: d5f0c267f7a01532cc12695c9b443020e2e657b9bbbb63b1b11e930346d4bbd0
Size: 13,664 bytes
SHA1: 8e88fcdae745ebab9285adc2f0c8c51942488f2c
SHA256: 7b6d58b55ac8113324a8853bd27048d5817150bec593aa5a5d0e3c9ee61e3cf2
Size: 19,520,532 bytes
SHA1: e031bf53140839af7fc6e3cd9d7f69efca509c2e
SHA256: ff329cd0ab8417794facb473d76b541dbf709715f0bd823f504872bb334b9faa
Size: 447,576 bytes
SHA1: a9ee517ccb2b465cfb3a054805167ead5e51a56a
SHA256: b098dc617dc4453f08d6b3264a1bac6e9c0591c7423d4545d8cdfd57e5cb8f12
Size: 69,236 bytes
SHA1: 792f103c1511f2eb62db28fd5959ad31d1c2928e
SHA256: 2f21a6831f7b8dfd36a6012c03ef653a46e1233cb4109c8682d2916dcb859074
Size: 497,172 bytes
SHA1: 39735e53555d18a381a2a65ec95342a4bb1e7b52
SHA256: 9df0dc6995b9873c26d8aabff6265172e55a614a44ed1d00ad4fcead9b6d5bae
Size: 79,720 bytes
SHA1: 7889abaf9bb423e92ac6fd3c1c5c2558fe11d7e9
SHA256: a73b56b3006242aa36cc230da0c0fd939dda90fc5286b4689692b02a4cea833e
Size: 3,339,644 bytes