Binaries
acl2
(
acl2_8.3dfsg-1_arm64.deb
)
SHA1: dd502af79eabfafeefaf6900f2061034aa852e9c
SHA256: dc6f8a5e6bdb065bfb7bf1f9ede863540c3918178ea3adb51d0582f200a1bf74
Size: 19,621,028 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: a44c32ed3771c20c6afc92ee4ec0163ad1597be6
SHA256: 435ac52b4dd30fccd8860bf6d62fb8755aefdfd107c56f0700915b5c1c88b6ac
Size: 447,480 bytes
SHA1: 679df1a5a979fe6a4a25c8f9a4e825903a5bef1d
SHA256: 9be9898a380fca2d68b0dba9830e584b9b7f460b4f348ea021f9b0639baa4302
Size: 69,232 bytes
SHA1: 6a882b2b8804456e9091ef97fb45b1eda2dc6938
SHA256: 8e3cae495f2036380fdaf30f14be3090e71107da07705a227d1b66c469e3d81e
Size: 482,820 bytes
SHA1: 39735e53555d18a381a2a65ec95342a4bb1e7b52
SHA256: 9df0dc6995b9873c26d8aabff6265172e55a614a44ed1d00ad4fcead9b6d5bae
Size: 79,720 bytes
SHA1: eb0fe4ddbaba89b9c306d8c20c6b50ce0adcc1d7
SHA256: 90a208d0de3302403e0b0f0437c9011ebdfbfeddb5790fede7c4ee8b32602a76
Size: 3,339,724 bytes