Added bindlib as a dependency

This commit is contained in:
Denis Merigoux 2020-11-22 21:04:29 +01:00
parent 32800d3011
commit 4c66a09895

View File

@ -21,6 +21,7 @@ install-dependencies-ocaml:
re reason \
obelisk \
unionfind \
bindlib \
ocamlgraph
init-submodules: