Source: agda-stdlib Version: 0.3-3 Severity: important User: debian-al...@lists.debian.org Usertags: ftbfs
Hi, your package FTBFS on alpha: | Checking Relation.Binary.NonStrictToStrict (/build/buildd-agda-stdlib_0.3-3-alpha-W1NBUW/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 Full build logs: https://buildd.debian.org/status/package.php?p=agda-stdlib Mraw, KiBi. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
