Bug#661092: mcrl2 and libowfat-dev: error when trying to install together

2012-02-24 Thread Roland Stigge
On 02/24/2012 12:33 PM, Jakub Wilk wrote: > * Ralf Treinen , 2012-02-24, 05:53: >> /usr/include/scan.h > > I sincerely hope it'll be renamed in both packages. It's way too generic. Well, agreed. (Paul?) Thanks, Roland -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org wit

Bug#661092: mcrl2 and libowfat-dev: error when trying to install together

2012-02-24 Thread Paul van Tilburg
Hey, On Fri, Feb 24, 2012 at 09:57:17AM +0100, Roland Stigge wrote: > On 02/24/2012 05:53 AM, Ralf Treinen wrote: > > Here is a list of files that are known to be shared by both packages > > (according to the Contents file for sid/amd64, which may be > > slightly out of sync): > > > > /usr/incl

Bug#661092: mcrl2 and libowfat-dev: error when trying to install together

2012-02-24 Thread Jakub Wilk
* Ralf Treinen , 2012-02-24, 05:53: /usr/include/scan.h I sincerely hope it'll be renamed in both packages. It's way too generic. -- Jakub Wilk -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.or

Bug#661092: mcrl2 and libowfat-dev: error when trying to install together

2012-02-24 Thread Roland Stigge
Hi, On 02/24/2012 05:53 AM, Ralf Treinen wrote: > Here is a list of files that are known to be shared by both packages > (according to the Contents file for sid/amd64, which may be > slightly out of sync): > > /usr/include/scan.h Considering that libowfat-dev has this file for quite a while no

Bug#661092: mcrl2 and libowfat-dev: error when trying to install together

2012-02-23 Thread Ralf Treinen
Package: libowfat-dev,mcrl2 Version: libowfat-dev/0.28-5 Version: mcrl2/201202.0-1 Severity: serious User: trei...@debian.org Usertags: edos-file-overwrite Date: 2012-02-24 Architecture: amd64 Distribution: sid Hi, automatic installation tests of packages that share a file and at the same time d