Binaries
SHA1: 626ee67d14074fedd9d0d7f25876e89a3a4c3b88
SHA256: c907ba48ea87f2f3f0201b1b5c86829a058150fb437400450f98cfa9d74a64aa
Size: 8,729,316 bytes
SHA1: 00400b5624ddb5a52f7e4323cfcc03059c1a4b3d
SHA256: 36fb1466925a8e5399109e2450f7ac0806b73a3fc6db7855e116655610aa8223
Size: 510,944 bytes
why3
(
why3_1.3.3-1_armhf.deb
)
SHA1: 57b1286369fc68470d26ebb9d7484d795fc9e5dd
SHA256: edd8c63878826c8d5d2c37b27690f6beb138f4314d44d92264c88cd1ab47743c
Size: 20,906,396 bytes
SHA1: 4c5cceaa410ca8acca966d4e71617052a2c1780d
SHA256: 8e29b61ae96f1d57bd48965749852054feaa1c2ae031b54b905a887c4686c89e
Size: 756,476 bytes
SHA1: 2bb3d2726ab0200755a6ca7e41dd5ed311df362a
SHA256: 043f811d6648af257954badb63a46d13183c7b075106bf13ef05ec7a01c99a28
Size: 6,600,392 bytes