Skip to content

4.0.0

Choose a tag to compare

@hannesm hannesm released this 05 Feb 14:23
· 8 commits to main since this release

CHANGES:

  • Use mirage-sleep instead of mirage-time (no need to functorize over
    Mirage_time.S) (#32 @hannesm)