Revision e2f83dbdfc55a785e2cd4cd8ed606bf78aa443ad authored by Raphaƫl Proust on 10 December 2019, 20:58:51 UTC, committed by Romain on 07 January 2020, 12:52:10 UTC
We use `dune` now and there are no references to `ocamlfind` anywhere
else in the build system than in opam files' dependencies
1 parent a845ea2
Raw File
readme.md
Tezos binding for Hacl*
https://github.com/mitls/hacl-star/tree/master/snapshots/tezos
commit b69319a0d3b71af8042f487d6a5bac8101edf2d0
back to top