Skip to content

update build system and README

Ralf Jung requested to merge ralf/buildsys into master

We should have a release on opam ASAP so that we can point to it in the README. We could also have a "dev" version on opam for people that want to depend on that one, but not use our crazy opam.pins hack.

Merge request reports