Skip to content

Redundant dune version constraint #11106

@reynir

Description

@reynir

Expected Behavior

In dune-project I have a

(package ...
  (depends
    (dune (>= 3.16.0))
    ...)
  ...)

This generates an opam file with

depends: [
  "dune" {>= "3.16.0"}
  ...
]

Actual Behavior

The generated opam file contains duplicate version constraints:

depends: [
  "dune" {>= "3.16" & >= "3.16.0"}
  ...
]

Reproduction

robur-coop/mirage-swapfs@f9e946b

Specifications

  • Version of dune (output of dune --version): 3.16.0
  • Version of ocaml (output of ocamlc --version): 4.14.2
  • Operating system (distribution and version): debian 12

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions