Binaries
acl2
(
acl2_8.3dfsg-1_arm64.deb
)
SHA1: b8648eecb46be9e4531f0f8e4d62387f210f8a52
SHA256: 8b1d4aa3aa6cd69438be94fb43f6c8b43ce24ed7995e3be4165eeb5f41be8fa3
Size: 19,655,960 bytes
SHA1: f5cc0defb329c4ba6a9699bea2c0963c850f5964
SHA256: b892981da424689afcc917862429cf319215a933da751627143fdd7de2281805
Size: 12,956 bytes
SHA1: 5ec8b54c7082f365c9820bd6569530a17781d40b
SHA256: d5f0c267f7a01532cc12695c9b443020e2e657b9bbbb63b1b11e930346d4bbd0
Size: 13,664 bytes
SHA1: 8e88fcdae745ebab9285adc2f0c8c51942488f2c
SHA256: 7b6d58b55ac8113324a8853bd27048d5817150bec593aa5a5d0e3c9ee61e3cf2
Size: 19,520,532 bytes
SHA1: cd69e9894986f473ecdd473c1ea10ca6635e0375
SHA256: 09e7d7d69fea892f0cd29aca07398eb270dcc7d34850522120dc5e1f9c92c6c7
Size: 447,452 bytes
SHA1: 45b39b61c797402e57c25cfda73371ed076d6893
SHA256: 7c68fefb59dee1add508a51b47a175d3f17701bce2c598762f3051a4bd31a3b8
Size: 69,236 bytes
SHA1: e98cdf76806ff4fcbaad8bb73f17bcc8bf2b9c92
SHA256: b8198a008bcd29e499935bde457ee4644aa370666e5aaab77db4073a6df16e73
Size: 483,860 bytes
SHA1: 39735e53555d18a381a2a65ec95342a4bb1e7b52
SHA256: 9df0dc6995b9873c26d8aabff6265172e55a614a44ed1d00ad4fcead9b6d5bae
Size: 79,720 bytes
SHA1: 27cb82d8cfdc9ca69228f83a8f36dfc4b7739f9c
SHA256: 90dfb59439c00b5883533b60dfafb3ea6dc4b3dff077c029812d75dde389bd4d
Size: 3,339,900 bytes