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/include/scan.h > > Considering that libowfat-dev has this file for quite a while now [...] > we can prevent both packages conflicting with each other or both > needing to move the file to somewhere else. > > (mcrl2 would need to change anyway in one way or another, in all cases.) > > Please tell me if there are good reasons to adjust libowfat-dev also.
There is not. I don't know what happened, but there should be no header files installed just under /usr/include, they should all have been in /usr/include/mcrl2. I overlooked them while inspecting the package before upload. We will investigate what happened and upload a fixed version soon. Paul -- Using the Power of Debian GNU/Linux | E-mail: pau...@debian.org Jabber/GTalk: p...@luon.net | GnuPG key ID: 0x50064181 -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
