Distribution v2.1.2

Distribution v2.1.1

CHANGES: update

Signed-off-by: Marcello Seri <[email protected]>

Distribution v2.0.0

Distribution v1.2.0

Prepare to release v1.1.1

Distribution v1.1.0

ignore _opam for opam2 local switches

Merge pull request mirage#595 from samoht/changes

Update CHANGES

Merge pull request mirage#585 from djs55/release.1.0.0

Prepare to release v1.0.0