Skip to content

1.5.0

Latest
Latest
Compare
Choose a tag to compare
@mmottl mmottl released this 22 Nov 05:33
· 2 commits to master since this release
1.5.0
This tag was signed with the committer’s verified signature.
mmottl Markus Mottl
GPG key ID: 50B112EED34AE972
Learn about vigilant mode.
80ea624

CHANGES:

  • Switched to OPAM file generation via dune-project

    • Updates for new Core API v0.13.0
Assets 3