Binaries
acl2
(
acl2_8.0dfsg-1_amd64.deb
)
SHA1: 04eaa1829f743005fabf04a41f43e42faf55923a
SHA256: 5a3b0285ac6719b4d56f0dbbaaa4f1959742186f9f489861f31ec9eea6d3eb0f
Size: 19,855,896 bytes
SHA1: d86a30a68805ea3f468c2aad97eb978f72a4b56b
SHA256: 698146eabe57287635acde1f5af747b8dbf075fb1bbbb849a57603e4accd79e0
Size: 137,946,376 bytes
SHA1: ffa4c3000fc39e2e252b05a3425149cb527244ea
SHA256: 9d82e6f84fbe2099e5e43f68690bc038e5310d64debeeeefbb049870b8a40fe4
Size: 73,306,868 bytes
SHA1: 488ec08143a73d7e115072dae7094e9e24ce50cb
SHA256: c0da9a0cc49decccd5aa2c3b10ec1b9c9fec6ac7c3a65c70daba1889bd653840
Size: 12,473,396 bytes
SHA1: b153bb5295829d7a79b22ca89407dc6b40c2329f
SHA256: 9a58d90a701dee6915443934e013d1411251e0755accba0a59f5f6d95fcbac75
Size: 401,524 bytes
SHA1: fbcec3f0280fa81f752622ed0be2c2200b7c7236
SHA256: bf9de8ba3d8473f3c47795402b87c1b9d646902e9f39830a1da47c04fb514a81
Size: 67,608 bytes
SHA1: 4a0b0e7cfd6fd5d36344129640f09c3b1984444f
SHA256: c0a925029b991d42ad7266b771ff553cd06f14853c905b12460875a88442b2ff
Size: 432,032 bytes
SHA1: 9c4e6f5f56ad937d180f88f4fcc2d293a17bbc89
SHA256: 4a13b1cf0e1e691d4c6be752dc37650cf82294b28c05fda7cf001ced6239dfd1
Size: 79,188 bytes
SHA1: 9f149d65e71a8f04f8c02689df39d7e0d87efb7b
SHA256: a1cdc40aada2b86d0f8ebf061e044769f4ff630157c233c6f1268fb7e5975de7
Size: 3,081,324 bytes