Binaries
SHA1: fa9f5627e4d4a81acd19ec4648a952b7b5de3f99
SHA256: e95180158f72c5834444198344bb9a9395fe243f78c4f509679e35c5fc3db86e
Size: 9,596,124 bytes
SHA1: d302f84c741381c751f24ce64b8d50faa7935a42
SHA256: 270bd1d2d619cb8ece8bfb4f36744c26810b20f396081502d26623cf4c223773
Size: 494,220 bytes
why3
(
why3_1.3.3-1_armhf.deb
)
SHA1: 8e25b028409abc181fba5bdbdc4f3a0e92a744bb
SHA256: 6aad73a4799cc89c50bdcc51fd6867bd496ed7c15348508389e456911c445a06
Size: 36,727,264 bytes
SHA1: e2f08248fd408ea91d852c745dff89d987651517
SHA256: 97ef8a032514297728ceee18a0f79878a9d5e61853e67660d1678196ba73ddf0
Size: 756,268 bytes
SHA1: 287e3b0ac22f6e1f600d27a5465ab0aef2425576
SHA256: 4c67f930ac95a4d37fff49eed8edd0f14d588f682c9f4500140421eff02f1c00
Size: 7,197,900 bytes
SHA1: e5c295c10a5325e1dd2643f7f2ae01382547fdc8
SHA256: 57ab97d0c7488853be7e67ef21c643070a38328f2e23d4fe46531807798ec33b
Size: 960,108 bytes
SHA1: 4d2f397d6fc2d446038cef261a5e35078e38ec86
SHA256: 1096afc5e5058429a7a28676a641f7672d7754d45cf8677e1e9585159a4b3e78
Size: 1,057,112 bytes
SHA1: dab3e1c2839b0820e45db20d140a7c6d7f376e18
SHA256: 0f35aa2af55e7e6d8c0532ce9afcbfe83e13ada18c5a711e56a4313b461a476f
Size: 3,493,616 bytes