Bug#424162: coq: FTBFS if build twice in a row

2007-05-15 Thread Samuel Mimram
Patrick Winnertz wrote: > Lucas Nussbaum has rebuilt the whole archive on i386 and your package FTBFS if > built twice in a row with the following error: The real error is dpkg-source: cannot represent change to test-suite/modules/Nat.vo: binary file contents changed dpkg-source: cannot represent

Bug#424162: coq: FTBFS if build twice in a row

2007-05-15 Thread Patrick Winnertz
Package: coq Severity: important Version: 8.1+dfsg-4 User: [EMAIL PROTECTED] Usertags: qa-doublebuild Hi,