Binaries
SHA1: 3031cfa275d515582ea5e7ee932305a8701f4e7c
SHA256: 0e806810a3bc03c49d865156102b47db727360937eda46004543d590fd0730a6
Size: 534,132 bytes
SHA1: 317ea440c377a95a74e328834396766dd0b225b6
SHA256: c094d4204ec4eb2b719f154d8b48cc4de862aa537556c233668fe55661925d66
Size: 14,956 bytes
menhir
(
menhir_20201216-1_amd64.deb
)
SHA1: 744c8d88acf99e8e1532ecd5e3e7da06c73ae322
SHA256: 92cca9db56569f636bcb5cebef02ba8934c66e0a670fa680c18b6fb50b79f44e
Size: 849,336 bytes
SHA1: 5d7582b60e87c6a6d6d9cc20342616d3291b8e85
SHA256: 4ed94eb2df4ea65b3accfad3ddc70a491da1f3bc9a5332ef012405057c5d799e
Size: 245,300 bytes
SHA1: dc54b7da48db4c2e2306ed4818b1586032d63bdf
SHA256: a6fcb33ceec527b7810b0282635c786b4b9e063db1c0ece8c64bd6e01588a2e2
Size: 552,312 bytes