Skip to content

Commit

Permalink
follow merkle-tree/pnmadelaine-api-update
Browse files Browse the repository at this point in the history
  • Loading branch information
@pnmadelaine
pnmadelaine committed Nov 16, 2023
1 parent 897ae58 commit f694ca3
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions hashes.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@ hashes[hacl-star]=39c554597f49553324686bb8bcaa1e4b1ab12d15
branches[hacl-star]=pnmadelaine-api
hashes[karamel]=a7be2a7c43eca637ceb57fe8f3ffd16fc6627ebd
branches[karamel]=master
hashes[merkle-tree]=8d46446a3bd81e16a1b4dd694cab94ecfa9e6a0f
branches[merkle-tree]=main
hashes[merkle-tree]=bd13caa5b4fa3584601e19f0dd5601f799ae719a
branches[merkle-tree]=pnmadelaine-api-update
hashes[mitls-fstar]=784cd592da2af5aef0b94fb09eba7d07acc2d087
branches[mitls-fstar]=pnmadelaine-api-update
hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
Expand Down
4 changes: 2 additions & 2 deletions repositories.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,8 +16,8 @@ https[steel]=https://github.com/FStarLang/steel.git
repositories[hacl-star][email protected]:hacl-star/hacl-star.git
https[hacl-star]=https://github.com/hacl-star/hacl-star.git

repositories[merkle-tree][email protected]:hacl-star/merkle-tree.git
https[merkle-tree]=https://github.com/hacl-star/merkle-tree.git
repositories[merkle-tree][email protected]:pnmadelaine/merkle-tree.git
https[merkle-tree]=https://github.com/pnmadelaine/merkle-tree.git

repositories[mitls-fstar][email protected]:project-everest/mitls-fstar.git
https[mitls-fstar]=https://github.com/project-everest/mitls-fstar.git
Expand Down

0 comments on commit f694ca3

Please sign in to comment.