[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



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 change to test-suite/modules/plik.vo:
binary file contents changed

I'll correct that soon.

Cheers,

Samuel.



Reply to: