Bug#881307: agda-stdlib FTBFS: : commitBuffer: invalid argument (invalid character)

2017-11-17 Thread Helmut Grohne
Hi, On Fri, Nov 10, 2017 at 01:18:07AM +0200, Adrian Bunk wrote: > Source: agda-stdlib > Version: 0.13-1 > Severity: serious > > Some recent change in unstable makes agda-stdlib FTBFS: > > https://tests.reproducible-builds.org/debian/history/agda-stdlib.html > https://tests.reproducible-builds.o

Bug#881307: agda-stdlib FTBFS: : commitBuffer: invalid argument (invalid character)

2017-11-09 Thread Adrian Bunk
Source: agda-stdlib Version: 0.13-1 Severity: serious Some recent change in unstable makes agda-stdlib FTBFS: https://tests.reproducible-builds.org/debian/history/agda-stdlib.html https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/agda-stdlib.html ... debian/rules override_dh_