Binaries
SHA1: b4ebca4f052cd72bf34600b6f8749eecdace58a3
SHA256: 98c45d9da2558bda4b9afb554dad49f710f3babe29da4771095db128b6ef187a
Size: 9,752,432 bytes
SHA1: d40076cfb56c8f48578833d9d21fd1c4306b46f3
SHA256: 015cc97db3b5995734142bf254144c178f141485441e1e5470e3f4d602293752
Size: 690,500 bytes
why3
(
why3_1.3.1-3+b2_arm64.deb
)
SHA1: 9f78d1ee33d08e07e2df825541ef4cb82b1a8e91
SHA256: c92e479572c325951ff13ccf265f596849ee212401aa34235c536773f050684c
Size: 44,569,904 bytes
why3-coq
(
why3-coq_1.3.1-3+b2_arm64.deb
)
SHA1: 51781364dab07e3f2934df23f8b5571802b6227a
SHA256: 9575f6fd72a3a55b11f42e0c209b53c5c4f457e294bb6a257ad3c7066af75f97
Size: 794,828 bytes
SHA1: b6b8850140cb243297da0f49e0eb08bef48f55a9
SHA256: b768f8de763cd2715bd050c277b57701b23a51cd4fa233f2c5f825629232c5c8
Size: 8,177,168 bytes