hashes.sh

declare -A hashes
declare -A branches
hashes[everparse]=fbd90d5e71aed58007e0942ca279676b28569957
branches[everparse]=master
hashes[everquic-crypto]=6d73306fea04f22768fb876db5c092f4ac4fe60d
branches[everquic-crypto]=master
hashes[FStar]=2a13363bf6ab2da54dfe43ed5485d914a872f4a3
branches[FStar]=master
hashes[hacl-star]=a4d042715fe031186d96110888b209ad131dd5d5
branches[hacl-star]=main
hashes[karamel]=a02d57fc0ae585928e35464e9d806760aeccd5aa
branches[karamel]=master
hashes[merkle-tree]=a63707c0f33b3ca23e42a4a95391664898b987cd
branches[merkle-tree]=main
hashes[mitls-fstar]=e9805d0173eb6f8addcca6ea8ad4e7c8f2046689
branches[mitls-fstar]=master
hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
branches[MLCrypto]=master
hashes[pulse]=0460dae2dba653de8373d99a64f3504bacee892b
branches[pulse]=main
hashes[steel]=8641c9aa1d85270c6ab42e34a0255b6846de2224
branches[steel]=main