Builds for agda in Ubuntu Wily

164 of 64 results
[MANUALDEPWAIT] armhf build of agda 2.4.2.2-4build1 in ubuntu xenial RELEASE
Missing dependencies: libghc-equivalence-dev (<< 0.3), libghc-mtl-dev (<< 2.1.3.2), libghc-quickcheck2-dev (<< 2.8)
Build started on 2015-12-30 on kishi03 (highbank) and finished on 2015-12-30 taking 4 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.4.2.2-4build1 in ubuntu xenial RELEASE
Missing dependencies: libghc-equivalence-dev (<< 0.3), libghc-mtl-dev (<< 2.1.3.2), libghc-quickcheck2-dev (<< 2.8)
Build started on 2015-12-30 on kishi03 (highbank) and finished on 2015-12-30 taking 4 minutes — see the log
[MANUALDEPWAIT] s390x build of agda 2.4.2.2-4build1 in ubuntu xenial RELEASE
Missing dependencies: libghc-quickcheck2-dev (< 2.8)
Build started on 2015-12-19 on z13-016 and finished on 2015-12-19 taking 2 minutes — see the log
[MANUALDEPWAIT] s390x build of agda 2.4.2.2-4build1 in ubuntu xenial RELEASE
Missing dependencies: libghc-quickcheck2-dev (< 2.8)
Build started on 2015-12-19 on z13-016 and finished on 2015-12-19 taking 2 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on denneed03 (powerpc) and finished on 2015-08-16 taking 41 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on denneed03 (powerpc) and finished on 2015-08-16 taking 41 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on fisher01 (powerpc) and finished on 2015-08-16 taking 10 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on fisher01 (powerpc) and finished on 2015-08-16 taking 10 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on lgw01-37 and finished on 2015-08-16 taking 11 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on lgw01-37 and finished on 2015-08-16 taking 11 minutes — see the log
[FULLYBUILT] armhf build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2017-06-21 on bos01-arm64-030 and finished on 2017-06-21 taking 2 hours 10 minutes — see the log
[FULLYBUILT] armhf build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2017-06-21 on bos01-arm64-030 and finished on 2017-06-21 taking 2 hours 10 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on twombly (arm64) and finished on 2015-08-16 taking 1 hour 20 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on twombly (arm64) and finished on 2015-08-16 taking 1 hour 20 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on lgw01-60 and finished on 2015-08-16 taking 17 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.2-4build1 in ubuntu wily PROPOSED
Build started on 2015-08-16 on lgw01-60 and finished on 2015-08-16 taking 17 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.4.2.2-4 in ubuntu wily PROPOSED
Build started on 2015-08-04 on fisher03 (powerpc) and finished on 2015-08-04 taking 43 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.4.2.2-4 in ubuntu wily PROPOSED
Build started on 2015-08-04 on fisher03 (powerpc) and finished on 2015-08-04 taking 43 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.2-4 in ubuntu wily PROPOSED
Build started on 2015-08-04 on denneed02 (powerpc) and finished on 2015-08-04 taking 33 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.2-4 in ubuntu wily PROPOSED
Build started on 2015-08-04 on denneed02 (powerpc) and finished on 2015-08-04 taking 33 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.2-4 in ubuntu wily PROPOSED
Build started on 2015-08-04 on lgw01-03 and finished on 2015-08-04 taking 15 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.2-4 in ubuntu wily PROPOSED
Build started on 2015-08-04 on lgw01-03 and finished on 2015-08-04 taking 15 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.4.2.2-4 in ubuntu wily PROPOSED
Build started on 2015-08-06 on kishi13 (highbank) and finished on 2015-08-06 taking 1 hour 40 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.4.2.2-4 in ubuntu wily PROPOSED
Build started on 2015-08-06 on kishi13 (highbank) and finished on 2015-08-06 taking 1 hour 40 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.2-4 in ubuntu wily PROPOSED
Build started on 2015-08-04 on magic (arm64) and finished on 2015-08-04 taking 1 hour 30 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.2-4 in ubuntu wily PROPOSED
Build started on 2015-08-04 on magic (arm64) and finished on 2015-08-04 taking 1 hour 30 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.2-4 in ubuntu wily PROPOSED
Build started on 2015-08-04 on lgw01-17 and finished on 2015-08-04 taking 27 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.2-4 in ubuntu wily PROPOSED
Build started on 2015-08-04 on lgw01-17 and finished on 2015-08-04 taking 27 minutes — see the log
[SUPERSEDED] ppc64el build of agda 2.4.2.2-3build1 in ubuntu wily PROPOSED
[SUPERSEDED] powerpc build of agda 2.4.2.2-3build1 in ubuntu wily PROPOSED
[SUPERSEDED] i386 build of agda 2.4.2.2-3build1 in ubuntu wily PROPOSED
[SUPERSEDED] armhf build of agda 2.4.2.2-3build1 in ubuntu wily PROPOSED
[SUPERSEDED] arm64 build of agda 2.4.2.2-3build1 in ubuntu wily PROPOSED
[SUPERSEDED] amd64 build of agda 2.4.2.2-3build1 in ubuntu wily PROPOSED
[FULLYBUILT] ppc64el build of agda 2.4.2.2-3 in ubuntu wily PROPOSED
Build started on 2015-07-03 on fisher03 (powerpc) and finished on 2015-07-03 taking 43 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.4.2.2-3 in ubuntu wily PROPOSED
Build started on 2015-07-03 on fisher03 (powerpc) and finished on 2015-07-03 taking 43 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.2-3 in ubuntu wily PROPOSED
Build started on 2015-07-03 on fisher01 (powerpc) and finished on 2015-07-03 taking 10 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.2-3 in ubuntu wily PROPOSED
Build started on 2015-07-03 on fisher01 (powerpc) and finished on 2015-07-03 taking 10 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.2-3 in ubuntu wily PROPOSED
Build started on 2015-07-03 on lamiak (i386/amd64) and finished on 2015-07-03 taking 10 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.2-3 in ubuntu wily PROPOSED
Build started on 2015-07-03 on lamiak (i386/amd64) and finished on 2015-07-03 taking 10 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.4.2.2-3 in ubuntu wily PROPOSED
Missing dependencies: cpphs (< 1.19)
Build started on 2015-08-12 on kishi16 (highbank) and finished on 2015-08-12 taking 4 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.4.2.2-3 in ubuntu wily PROPOSED
Missing dependencies: cpphs (< 1.19)
Build started on 2015-08-12 on kishi16 (highbank) and finished on 2015-08-12 taking 4 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.2-3 in ubuntu wily PROPOSED
Build started on 2015-07-03 on magic (arm64) and finished on 2015-07-03 taking 1 hour 30 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.2-3 in ubuntu wily PROPOSED
Build started on 2015-07-03 on magic (arm64) and finished on 2015-07-03 taking 1 hour 30 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.2-3 in ubuntu wily PROPOSED
Build started on 2015-07-03 on allspice (i386/amd64) and finished on 2015-07-03 taking 16 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.2-3 in ubuntu wily PROPOSED
Build started on 2015-07-03 on allspice (i386/amd64) and finished on 2015-07-03 taking 16 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.4.2.2-2 in ubuntu wily PROPOSED
Build started on 2015-06-05 on fisher01 (powerpc) and finished on 2015-06-05 taking 42 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.4.2.2-2 in ubuntu wily PROPOSED
Build started on 2015-06-05 on fisher01 (powerpc) and finished on 2015-06-05 taking 42 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.2-2 in ubuntu wily PROPOSED
Build started on 2015-06-05 on sagari (powerpc) and finished on 2015-06-05 taking 11 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.2.2-2 in ubuntu wily PROPOSED
Build started on 2015-06-05 on sagari (powerpc) and finished on 2015-06-05 taking 11 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.2-2 in ubuntu wily PROPOSED
Build started on 2015-06-05 on lamiak (i386/amd64) and finished on 2015-06-05 taking 11 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.2.2-2 in ubuntu wily PROPOSED
Build started on 2015-06-05 on lamiak (i386/amd64) and finished on 2015-06-05 taking 11 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.4.2.2-2 in ubuntu wily PROPOSED
Build started on 2015-06-27 on kishi03 (highbank) and finished on 2015-06-27 taking 1 hour 40 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.4.2.2-2 in ubuntu wily PROPOSED
Build started on 2015-06-27 on kishi03 (highbank) and finished on 2015-06-27 taking 1 hour 40 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.2-2 in ubuntu wily PROPOSED
Build started on 2015-06-05 on templar (arm64) and finished on 2015-06-05 taking 1 hour 30 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.4.2.2-2 in ubuntu wily PROPOSED
Build started on 2015-06-05 on templar (arm64) and finished on 2015-06-05 taking 1 hour 30 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.2-2 in ubuntu wily PROPOSED
Build started on 2015-06-05 on toyol (i386/amd64) and finished on 2015-06-05 taking 17 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.2.2-2 in ubuntu wily PROPOSED
Build started on 2015-06-05 on toyol (i386/amd64) and finished on 2015-06-05 taking 17 minutes — see the log
[MANUALDEPWAIT] ppc64el build of agda 2.4.0.2-2build1 in ubuntu vivid PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on 2014-10-29 on fisher01 (powerpc) and finished on 2014-10-29 taking 2 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.4.0.2-2build1 in ubuntu vivid PROPOSED
Build started on 2014-10-29 on denneed01 (powerpc) and finished on 2014-10-29 taking 8 minutes — see the log
[FULLYBUILT] i386 build of agda 2.4.0.2-2build1 in ubuntu vivid PROPOSED
Build started on 2014-10-29 on toyol (i386/amd64) and finished on 2014-10-29 taking 7 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.4.0.2-2build1 in ubuntu vivid PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on 2014-10-29 on kishi17 (highbank) and finished on 2014-10-29 taking 3 minutes — see the log
[MANUALDEPWAIT] arm64 build of agda 2.4.0.2-2build1 in ubuntu vivid PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on 2014-10-29 on magic (arm64) and finished on 2014-10-29 taking 3 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.4.0.2-2build1 in ubuntu vivid PROPOSED
Build started on 2014-10-29 on brownie (i386/amd64) and finished on 2014-10-29 taking 20 minutes — see the log
164 of 64 results