Source: agda-stdlib Version: 0.3-3 Severity: serious Justification: FTBFS User: [email protected] Usertags: kfreebsd
Hi, your package no longer builds on kfreebsd-amd64: | Checking Relation.Binary.NonStrictToStrict (/build/buildd-agda-stdlib_0.3-3-kfreebsd-amd64-vLd1Gu/agda-stdlib-0.3/src/Relation/Binary/NonStrictToStrict.agda). | Stack space overflow: current size 8388608 bytes. | Use `+RTS -Ksize -RTS' to increase it. | make[1]: *** [override_dh_auto_build] Error 2 There are a few build issues on other architectures too. Full build logs: https://buildd.debian.org/status/package.php?p=agda-stdlib Mraw, KiBi. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
