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 now in its API (mcrl2 introduced it just in 201202.0-1) and users are used to have the API in this place, I would kindly ask for mcrl2 moving this file to somewhere else so 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. Thanks in advance, Roland -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
