Rebuild the dist directory

hacl-star / merkle-tree

A verified Merkle Tree, built as a standalone project on top of EverCrypt

7 stars 5 forks source link

Closed gebner closed 1 year ago

gebner commented 1 year ago

This PR is the result of running rm dist/Makefile.basic; make dist/Makefile.basic.

Fixes #11.

msprotz commented 1 year ago

Thanks very much Gabriel for both PRs!