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_auto_build make[1]: Entering directory '/build/1st/agda-stdlib-0.13' ghc --make GenerateEverything.hs [1 of 1] Compiling Main ( GenerateEverything.hs, GenerateEverything.o ) Linking GenerateEverything ... ./GenerateEverything agda +RTS -K1G -RTS -i /build/1st/agda-stdlib-0.13 -i /build/1st/agda-stdlib-0.13/src /build/1st/agda-stdlib-0.13/Everything.agda Checking Everything (/build/1st/agda-stdlib-0.13/Everything.agda). Checking Algebra (/build/1st/agda-stdlib-0.13/src/Algebra.agda). Checking Relation.Binary (/build/1st/agda-stdlib-0.13/src/Relation/Binary.agda). Checking Data.Product (/build/1st/agda-stdlib-0.13/src/Data/Product.agda). Checking Function (/build/1st/agda-stdlib-0.13/src/Function.agda). Checking Level (/build/1st/agda-stdlib-0.13/src/Level.agda). Finished Level. Finished Function. Checking Relation.Nullary (/build/1st/agda-stdlib-0.13/src/Relation/Nullary.agda). Checking Data.Empty (/build/1st/agda-stdlib-0.13/src/Data/Empty.agda). /build/1st/agda-stdlib-0.13/src/Data/Empty.agda:13,1-31 The HASKELL pragma has been deprecated. Use {-# FOREIGN GHC data AgdaEmpty #-} instead. This will be an error in Agda 2.6. when scope checking the declaration {-# HASKELL data AgdaEmpty #-} /build/1st/agda-stdlib-0.13/src/Data/Empty.agda:14,1-58 The COMPILED_DATA pragma has been deprecated. Use {-# COMPILE GHC /build/1st/agda-stdlib-0.13/src/Relation/Nullary.agda:11,13-23 <stdout>: commitBuffer: invalid argument (invalid character) debian/rules:13: recipe for target 'override_dh_auto_build' failed make[1]: *** [override_dh_auto_build] Error 1
