Source: agda-stdlib Version: 0.3-3 Severity: important User: [email protected] Usertags: eabi
Hi, your package FTBFS on armel: | Watcher: Tick. | buildd 20839 0.0 0.0 12004 512 ? S 01:47 0:08 /usr/bin/perl /usr/bin/sbuild --apt-update --batch --stats-dir=/home/buildd/stats --dist=unstable --arch=armel agda-stdlib_0.3-3 | buildd 20980 0.0 0.0 11864 268 ? S 01:47 0:00 /usr/bin/perl /usr/bin/sbuild --apt-update --batch --stats-dir=/home/buildd/stats --dist=unstable --arch=armel agda-stdlib_0.3-3 | buildd 22048 0.0 0.0 1664 196 ? S 01:52 0:00 sh /build/buildd-agda-stdlib_0.3-3-armel-kKBSXP/agda-stdlib-0.3/debian/watcher.sh 22046 /build/buildd-agda-stdlib_0.3-3-armel-kKBSXP/agda-stdlib-0.3 /build/buildd-agda-stdlib_0.3-3-armel-kKBSXP/agda-stdlib-0.3/build-stamp agda | buildd 22049 76.9 75.3 1307364 389312 ? R 01:52 555:29 agda -i /build/buildd-agda-stdlib_0.3-3-armel-kKBSXP/agda-stdlib-0.3 -i /build/buildd-agda-stdlib_0.3-3-armel-kKBSXP/agda-stdlib-0.3/src /build/buildd-agda-stdlib_0.3-3-armel-kKBSXP/agda-stdlib-0.3/Everything.agda | Watcher: Tick. | buildd 20839 0.0 0.0 12004 512 ? S 01:47 0:08 /usr/bin/perl /usr/bin/sbuild --apt-update --batch --stats-dir=/home/buildd/stats --dist=unstable --arch=armel agda-stdlib_0.3-3 | buildd 20980 0.0 0.0 11864 268 ? S 01:47 0:00 /usr/bin/perl /usr/bin/sbuild --apt-update --batch --stats-dir=/home/buildd/stats --dist=unstable --arch=armel agda-stdlib_0.3-3 | buildd 22048 0.0 0.0 1664 196 ? S 01:52 0:00 sh /build/buildd-agda-stdlib_0.3-3-armel-kKBSXP/agda-stdlib-0.3/debian/watcher.sh 22046 /build/buildd-agda-stdlib_0.3-3-armel-kKBSXP/agda-stdlib-0.3 /build/buildd-agda-stdlib_0.3-3-armel-kKBSXP/agda-stdlib-0.3/build-stamp agda | buildd 22049 77.0 79.1 1307364 409012 ? R 01:52 563:30 agda -i /build/buildd-agda-stdlib_0.3-3-armel-kKBSXP/agda-stdlib-0.3 -i /build/buildd-agda-stdlib_0.3-3-armel-kKBSXP/agda-stdlib-0.3/src /build/buildd-agda-stdlib_0.3-3-armel-kKBSXP/agda-stdlib-0.3/Everything.agda | make[1]: *** [override_dh_auto_build] Terminated 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]
