Skip to content

Update to dune 2.0 and generate opam files with dune#206

Open
smorimoto wants to merge 5 commits intoinhabitedtype:masterfrom smorimoto:dune
+190-98

Commits

Commits on Nov 2, 2020