Aurelien Jarno, le Fri 12 Aug 2011 09:49:13 +0200, a écrit : > > The installed kfreebsd-kernel-headers doesn't seem to suffice. He > > needs /usr/include/sys/ipmi.h which is no package at all according to > > "apt-file search /usr/include/sys/ipmi.h". > > > > It looks like to me this file should be added to > kfreebsd-kernel-headers.
I have file a bug about this, yes. Samuel -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
