declare -A repositories

repositories[FStar]=git@github.com:FStarLang/FStar.git
repositories[kremlin]=git@github.com:FStarLang/kremlin.git
repositories[hacl-star]=git@github.com:mitls/hacl-star.git
repositories[mitls-fstar]=git@github.com:mitls/mitls-fstar.git
repositories[vale]=git@github.com:project-everest/vale.git
