Binaries
acl2
(
acl2_8.3dfsg-1_amd64.deb
)
SHA1: 5c948881e0f6a8542b69b110c606fc841525f38a
SHA256: 1f7ad2f399593636140fe4338f735cff03ccb3e519eb2e44c725334e3afffaec
Size: 21,185,164 bytes
SHA1: 66cb53d7f8fb75be2b96ce08f35bea7bd757a9d8
SHA256: 235366a7c79fd2a7bcf41004a1724180314e37c592585628189811d75fe70abd
Size: 12,956 bytes
SHA1: 5ec8b54c7082f365c9820bd6569530a17781d40b
SHA256: d5f0c267f7a01532cc12695c9b443020e2e657b9bbbb63b1b11e930346d4bbd0
Size: 13,664 bytes
SHA1: 8e88fcdae745ebab9285adc2f0c8c51942488f2c
SHA256: 7b6d58b55ac8113324a8853bd27048d5817150bec593aa5a5d0e3c9ee61e3cf2
Size: 19,520,532 bytes
SHA1: b34aa0c58bcd28cc8572793be6041ba3dddef103
SHA256: 60eafc38baa5f46f54570f7a2663590312a0c4cfa4d1961bffb224811a69fb08
Size: 447,484 bytes
SHA1: 45b39b61c797402e57c25cfda73371ed076d6893
SHA256: 7c68fefb59dee1add508a51b47a175d3f17701bce2c598762f3051a4bd31a3b8
Size: 69,236 bytes
SHA1: 08a345d3132f1634d8be3ca3fd742a0f517b8c14
SHA256: f3afa4f91a874e9ba72e9d5209c3455f5f8476b707e936f8da89a43d03d042cd
Size: 491,996 bytes
SHA1: 39735e53555d18a381a2a65ec95342a4bb1e7b52
SHA256: 9df0dc6995b9873c26d8aabff6265172e55a614a44ed1d00ad4fcead9b6d5bae
Size: 79,720 bytes
SHA1: 28ce7f09c1a387d2699a7fd17e96e0d25a18e144
SHA256: b4ff5af51f632430ece76a693b6ab38068ba31b3461f96cb99c25eb87f47fb55
Size: 3,340,012 bytes