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

2019-01-07 Thread Stéphane Glondu
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

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

2019-01-07 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > reassign 916468 whitedune 0.30.10-2.1 Bug #916468 [dune] dune: /usr/bin/dune is already provided by the whitedune package Bug reassigned from package 'dune' to 'whitedune'. No longer marked as found in versions dune/1.6.2-1. Ignoring request to

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

2018-12-14 Thread Andreas Beckmann
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