Hi On Sat, May 19, 2012 at 10:19:16PM +0100, Steven Chamberlain wrote: > Package: src:cbmc > Version: 4.1-1.1 > Severity: serious > Tags: sid wheezy > User: debian-...@lists.debian.org > Usertags: kfreebsd > User: debian-...@lists.debian.org > Usertags: ftbfs-gcc-4.7 > X-Debbugs-Cc: debian-...@lists.debian.org > Justification: fails to build from source (but built successfully in the > past) > > Hi, > > Related to #667131, there is some remaining code that FTBFS > on kfreebsd-* and hurd-i386 with gcc-4.7:
Hmm, I did the NMU for #667131. I can have a look at the new FTBFS. Regards, Salvatore
signature.asc
Description: Digital signature
