Binaries
acl2
(
acl2_8.3dfsg-1_amd64.deb
)
SHA1: df17ba073847a7ae84c9ec28776541cf4a99b5d7
SHA256: a52f9e86480f4beca3aef4f9c3209044cfbba87eab3855806ab0ac2ba359b973
Size: 21,249,532 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: e8871ad1f56da76e16d5dbbdcf83c31d6ddcfefa
SHA256: 12eceb4df3ec1ae4837ac87393f326cac6a3213238f02d1b7a79005de16fe9a2
Size: 447,536 bytes
SHA1: 679df1a5a979fe6a4a25c8f9a4e825903a5bef1d
SHA256: 9be9898a380fca2d68b0dba9830e584b9b7f460b4f348ea021f9b0639baa4302
Size: 69,232 bytes
SHA1: 03e1039eead9606398917245adfa5714831ac318
SHA256: 53a9995207cbda5869eebbb817ae37d44b299185d4fede067d30ee8f2862bac2
Size: 493,004 bytes
SHA1: 39735e53555d18a381a2a65ec95342a4bb1e7b52
SHA256: 9df0dc6995b9873c26d8aabff6265172e55a614a44ed1d00ad4fcead9b6d5bae
Size: 79,720 bytes
SHA1: 5b0ac8af67b334530224092d7cab0f45735ab989
SHA256: d1036fc688ce741a3ca856f767b65dac4242a8c4745d3d9149a0ab514582619a
Size: 3,340,184 bytes