Binaries
SHA1: 0c2af418de947da6bcc8234b16dd41429f8981b8
SHA256: 8c0b54275c289802d66fc8cacbd48f12cd093660225749d0b9bf551b00b66fae
Size: 10,070,368 bytes
SHA1: 09043998fea7716b95ef54e699d716033c330e6c
SHA256: 61bbfffdaf4ca6ee5e120aca70bf4ae304a1b8e73d66467a3ff4e8c324bad3e2
Size: 586,340 bytes
why3
(
why3_1.3.3-1_arm64.deb
)
SHA1: 125c19063e3f7adf3e95d865a504995bcf9793d0
SHA256: 87a77a5c418524ca4675af6587cf2e91ba13a31fcd26c9cfe9ab0bbfe705dd90
Size: 47,047,872 bytes
SHA1: e79ab0a316bc9e45f145cedb4f18215ea709878a
SHA256: 807c117fcb05b5e426df5944173d3d560eaf7b3e4b3172591a3ed8859ec6cfd1
Size: 756,664 bytes
SHA1: d7872f8069412103c630b816b7349867823716be
SHA256: 769c757c3d7a4573c1cbbe3106e69e4c792845b4f15ec5a0f7ea7439f4133b9a
Size: 9,165,912 bytes
SHA1: db8a502d9a2b1fe2740e200bf7fa2274a86f95be
SHA256: b9e50ded05c9a2353a39d0372eeb0dc66b9af9b63ef1909db8047f5fbc7bb21a
Size: 960,356 bytes
SHA1: d07e130824583ab8eb4208234e2e2e9786044233
SHA256: a56b91c7431b2444fd7455250e23d53eec72c03b04f5e32d3ff534212b2e0a1d
Size: 1,057,120 bytes
SHA1: dab3e1c2839b0820e45db20d140a7c6d7f376e18
SHA256: 0f35aa2af55e7e6d8c0532ce9afcbfe83e13ada18c5a711e56a4313b461a476f
Size: 3,493,616 bytes