2.1.2

dinosaure released this 15 Nov 10:16

· 873 commits to main since this release

9f5dd13

CHANGES:

unlock git to use, at least, checkseum.0.0.9 (#373, @dinosaure)
remove build directive on dune dependency (#374, @craigfe)
adapt to MirageOS 3.7.0 (#376, @hannesm)
fix infinite loop with index file (version 2) (#378, @kit-ty-kate, @dinosaure)

Assets 3