Skip to content

v0.7.2
Compare
Choose a tag to compare
@dinosaure dinosaure released this 17 May 10:33
· 144 commits to main since this release
v0.7.2
424f2bb
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

CHANGES:

  • Add conflict with < mirage-xen-posix.3.1.0 packages (@hannesm)

  • Add a note on README.md about the linking-trick and order of dependencies (@rizo)

  • Use experimental feature of variants with dune (@dinosaure, review @rgrinberg)

    digestif requires at least dune.1.9.2

Assets 3
Loading