Bug#916468: dune: /usr/bin/dune is already provided by the whitedune package

Hi whitedune maintainers, On Mon, 7 Jan 2019 14:00:45 +0100 =?UTF-8?Q?St=c3=a9phane_Glondu?= wrote: > reassign 916468 whitedune 0.30.10-2.1 > thanks > > Le 14/12/2018 à 20:24, Andreas Beckmann a écrit : > > automatic installation tests of packages that share a file and at the > > same time do

Bug#916468: dune: /usr/bin/dune is already provided by the whitedune package

reassign 916468 whitedune 0.30.10-2.1 thanks Le 14/12/2018 à 20:24, Andreas Beckmann a écrit : > automatic installation tests of packages that share a file and at the > same time do not conflict by their package dependency relationships has > detected the following problem: > > Selecting

Bug#916468: dune: /usr/bin/dune is already provided by the whitedune package

Package: dune Version: 1.6.2-1 Severity: serious User: trei...@debian.org Usertags: edos-file-overwrite Hi, automatic installation tests of packages that share a file and at the same time do not conflict by their package dependency relationships has detected the following problem: Selecting