Binaries
cryptol
(
cryptol_2.8.0-1_amd64.deb
)
SHA1: ac7bea182372b8a2f026763180cfcfffdce3e0d4
SHA256: be2b9cc6c8d423487d64ce7caee78c3acc85056e4f864abe730077b58afc1f21
Size: 2,684,760 bytes
SHA1: 095e79a3b94a4005fcc866e3d9e1135f24554f5c
SHA256: 85655106b274e615d0f93c715cb6e39b554e19fda6da9c9f5efc520add3886ba
Size: 4,214,532 bytes
SHA1: 60062d88729d4f2aab954e6f708cd81c80790fb0
SHA256: 440f83ddb15d2f4bf649915606a4cb15b610009d7ba026df42cc070738434660
Size: 1,238,404 bytes
SHA1: c8cc8adba8c1d668e48f18b4c938cbdae7bf76aa
SHA256: 81b0e6e12243099fc7a0056070b20ee6532f72da0c961e5fec345f8e1215a548
Size: 4,116,604 bytes