Skip to content

Initial release with Opam 2.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@ptal ptal released this 18 Oct 13:17
· 296 commits to master since this release
v0.0.1

[dune] fix the wrong dependency on zarith.