Package: dune Version: 1.6.2-2 Severity: serious Control: block -1 by 919951
According to Debian policy file conflicts should be resolved by no-one using the conflicting name. This applies to /usr/bin/dune. Additionally, the only referent of `dune' that anyone has heard of (eg, wikipedia) is a C++ library which we have in Debian as `src:dune-commmon', `libdune*-dev', etc. It is evident from actions taken in response to #916468 that the you (the maintainers of what is current `src:dune') do not agree. Instead, it seems to me that you ahead and took the name despite a fairly clear consensus in debian-devel that you shouldn't. I don't think you should have done that. I am escalating this to the Technical Commitee in another bug. In the meantime this bug needs to be open to keep this out of testing. Sorry, Ian. -- Ian Jackson <ijack...@chiark.greenend.org.uk> These opinions are my own. If I emailed you from an address @fyvzl.net or @evade.org.uk, that is a private address which bypasses my fierce spamfilter.
