On behalf of the dune team, I’m pleased to announce the release of Dune 1.9.0. This release introduces a few exciting new features:

A tagging mechanism for implementations called variants

The ability to build libraries in the Coq proof assistant.

A new dune init command to help users quickly generate boilerplate and get start with dune projects (contributed by @shonfeder)

I would like to thank Lucas Pluvinage and @ejgallego for contributing the first two features respectively. They’ve also collaborated on a blog post to describe these features in detail.

As usual, the change log is replicated here for your convenience:

1.9.0 (09/04/2019)