Skip to content

1.0.2

Latest
Latest
Compare
Choose a tag to compare
@rgrinberg rgrinberg released this 08 Aug 07:14
· 2 commits to master since this release
1.0.2
d7d8843
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:

  • Use dune's include_subdirs (#72)

  • Fix parallel build (#75)

  • Add (mode fallback) to installConfig.ml (#76)

  • Fix iana executable (#77)

  • Generate opam files from dune. (#78)

Assets 3
Loading