hashes.sh

declare -A hashes
declare -A branches
hashes[everparse]=f69a945a509bd1d8358f01771b7ca17423cf2a1e
branches[everparse]=master
hashes[everquic-crypto]=6d73306fea04f22768fb876db5c092f4ac4fe60d
branches[everquic-crypto]=master
hashes[FStar]=2b936ce9b7185791a450417a11dced63110536ff
branches[FStar]=master
hashes[hacl-star]=785f536f5ae55298bb9e572b713e279a0b783864
branches[hacl-star]=main
hashes[karamel]=4d4b74e1e62183545f30dff988fc33c38fa66ec7
branches[karamel]=master
hashes[merkle-tree]=4cfeff47084c12d5543d2b1fc724dd9f5d3624ca
branches[merkle-tree]=main
hashes[mitls-fstar]=e9805d0173eb6f8addcca6ea8ad4e7c8f2046689
branches[mitls-fstar]=master
hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
branches[MLCrypto]=master
hashes[pulse]=b7a3bbcec2cc6fdf2258eef6c7d90830766912a4
branches[pulse]=main
hashes[steel]=fc5c64ccf4c8a074370c506972d8ca7bc1881177
branches[steel]=main