Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[new release] dune-build-info, dune, dune-configurator, dune-action-plugin, dune-private-libs and dune-glob (2.5.1) #16219

Merged
merged 1 commit into from Apr 20, 2020
Merged

[new release] dune-build-info, dune, dune-configurator, dune-action-plugin, dune-private-libs and dune-glob (2.5.1) #16219

merged 1 commit into from Apr 20, 2020

Commits on Apr 17, 2020

  1. [new release] dune-build-info, dune, dune-configurator, dune-action-p… 

    …lugin, dune-private-libs and dune-glob (2.5.1)

CHANGES:

- [coq] Fix install .v files for Coq theories (ocaml/dune#3384, @lthms)

- [coq] Fix install path for theory names with level greater than 1 (ocaml/dune#3358,
  @ejgallego)

- Fix a bug introduced in 2.0.0 where the [locks] field in rules with no targets
  had no effect. (@aalekseyev, report by @craigfe)
    @rgrinberg
    rgrinberg committed Apr 17, 2020
    Configuration menu
    Copy the full SHA
    ad177ad View commit details
    Browse the repository at this point in the history