Skip to content

Update hacl-star to 0.4.2

Victor Dumitrescu requested to merge nomadic-labs/tezos:vdum@hacl-star-042 into master

Corresponding opam-repository MR: opam-repository!208 (merged)

Edited by Victor Dumitrescu

Merge request reports