Skip to content

0.2.6

Compare
Choose a tag to compare
@NathanReb NathanReb released this 19 Oct 14:27
· 586 commits to main since this release

CHANGES:

Added

  • Add a depext subcommand to install the external system dependencies listed
    in lock file (#207, @samoht)
  • Add the --keep-git-dir flag to the pull command that can be used to keep
    the [.git] directory after pulling the vendored sources. (#160, @rizo)

Fixed

  • Fix tool name in generated dune file so that it does not refer to the tool as
    duniverse (#206, @emillon)