Ubuntu
agda package

Builds for agda in Ubuntu Saucy

  1. Saucy (13.10)
  2. Builds
1 → 50 of 50 results First • Previous • Next • Last
[MANUALDEPWAIT] armhf build of agda 2.3.2.1-1 in ubuntu trusty RELEASE
Missing dependencies: libghc-geniplate-dev
Build started on kishi12 (highbank) and finished taking 1 minute — see the log
[MANUALDEPWAIT] armhf build of agda 2.3.2.1-1 in ubuntu trusty RELEASE
Missing dependencies: libghc-geniplate-dev
Build started on kishi12 (highbank) and finished taking 1 minute — see the log
[SUPERSEDED] arm64 build of agda 2.3.2.1-1 in ubuntu trusty RELEASE
[SUPERSEDED] arm64 build of agda 2.3.2.1-1 in ubuntu trusty RELEASE
[MANUALDEPWAIT] arm64 build of agda 2.3.2.1-1 in ubuntu saucy RELEASE
Missing dependencies: alex
Build started on twombly (arm64) and finished taking 50 seconds — see the log
[MANUALDEPWAIT] arm64 build of agda 2.3.2.1-1 in ubuntu saucy RELEASE
Missing dependencies: alex
Build started on twombly (arm64) and finished taking 50 seconds — see the log
[FULLYBUILT] powerpc build of agda 2.3.2.1-1 in ubuntu saucy PROPOSED
Build started on sagari (powerpc) and finished taking 13 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.3.2.1-1 in ubuntu saucy PROPOSED
Build started on sagari (powerpc) and finished taking 13 minutes — see the log
[FULLYBUILT] i386 build of agda 2.3.2.1-1 in ubuntu saucy PROPOSED
Build started on allspice (i386/amd64) and finished taking 13 minutes — see the log
[FULLYBUILT] i386 build of agda 2.3.2.1-1 in ubuntu saucy PROPOSED
Build started on allspice (i386/amd64) and finished taking 13 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.3.2.1-1 in ubuntu saucy PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on kishi22 (highbank) and finished taking 1 minute — see the log
[MANUALDEPWAIT] armhf build of agda 2.3.2.1-1 in ubuntu saucy PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on kishi22 (highbank) and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of agda 2.3.2.1-1 in ubuntu saucy PROPOSED
Build started on roseapple (i386/amd64) and finished taking 11 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.3.2.1-1 in ubuntu saucy PROPOSED
Build started on roseapple (i386/amd64) and finished taking 11 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.3.2-4 in ubuntu saucy PROPOSED
Build started on sagari (powerpc) and finished taking 12 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.3.2-4 in ubuntu saucy PROPOSED
Build started on sagari (powerpc) and finished taking 12 minutes — see the log
[FULLYBUILT] i386 build of agda 2.3.2-4 in ubuntu saucy PROPOSED
Build started on aatxe (i386/amd64) and finished taking 17 minutes — see the log
[FULLYBUILT] i386 build of agda 2.3.2-4 in ubuntu saucy PROPOSED
Build started on aatxe (i386/amd64) and finished taking 17 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.3.2-4 in ubuntu saucy PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on mothallah (panda) and finished taking 4 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.3.2-4 in ubuntu saucy PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on mothallah (panda) and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.3.2-4 in ubuntu saucy PROPOSED
Build started on roseapple (i386/amd64) and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.3.2-4 in ubuntu saucy PROPOSED
Build started on roseapple (i386/amd64) and finished taking 8 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.3.2-3 in ubuntu saucy PROPOSED
Build started on ross (powerpc) and finished taking 19 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.3.2-3 in ubuntu saucy PROPOSED
Build started on ross (powerpc) and finished taking 19 minutes — see the log
[FULLYBUILT] i386 build of agda 2.3.2-3 in ubuntu saucy PROPOSED
Build started on roseapple (i386/amd64) and finished taking 9 minutes — see the log
[FULLYBUILT] i386 build of agda 2.3.2-3 in ubuntu saucy PROPOSED
Build started on roseapple (i386/amd64) and finished taking 9 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.3.2-3 in ubuntu saucy PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on heka (armhf - panda) and finished taking 5 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.3.2-3 in ubuntu saucy PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on heka (armhf - panda) and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.3.2-3 in ubuntu saucy PROPOSED
Build started on komainu (i386/amd64) and finished taking 9 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.3.2-3 in ubuntu saucy PROPOSED
Build started on komainu (i386/amd64) and finished taking 9 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.3.2-2 in ubuntu saucy PROPOSED
Build started on adare (powerpc) and finished taking 29 minutes — see the log
[FULLYBUILT] i386 build of agda 2.3.2-2 in ubuntu saucy PROPOSED
Build started on roseapple (i386/amd64) and finished taking 15 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.3.2-2 in ubuntu saucy PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on nasl (arm panda) and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.3.2-2 in ubuntu saucy PROPOSED
Build started on batsu (i386/amd64) and finished taking 14 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.3.2-1build2 in ubuntu saucy PROPOSED
Build started on adare (powerpc) and finished taking 25 minutes — see the log
[FULLYBUILT] i386 build of agda 2.3.2-1build2 in ubuntu saucy PROPOSED
Build started on roseapple (i386/amd64) and finished taking 14 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.3.2-1build2 in ubuntu saucy PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on nikusui (arm panda) and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.3.2-1build2 in ubuntu saucy PROPOSED
Build started on komainu (i386/amd64) and finished taking 14 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.3.2-1build1 in ubuntu saucy PROPOSED
Build started on sagari (powerpc) and finished taking 10 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.3.2-1build1 in ubuntu saucy PROPOSED
Build started on sagari (powerpc) and finished taking 10 minutes — see the log
[FULLYBUILT] i386 build of agda 2.3.2-1build1 in ubuntu saucy PROPOSED
Build started on komainu (i386/amd64) and finished taking 12 minutes — see the log
[FULLYBUILT] i386 build of agda 2.3.2-1build1 in ubuntu saucy PROPOSED
Build started on komainu (i386/amd64) and finished taking 12 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.3.2-1build1 in ubuntu saucy PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on bukavac and finished taking 3 minutes — see the log
[MANUALDEPWAIT] armhf build of agda 2.3.2-1build1 in ubuntu saucy PROPOSED
Missing dependencies: libghc-geniplate-dev
Build started on bukavac and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.3.2-1build1 in ubuntu saucy PROPOSED
Build started on akateko (i386/amd64) and finished taking 9 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.3.2-1build1 in ubuntu saucy PROPOSED
Build started on akateko (i386/amd64) and finished taking 9 minutes — see the log
[FULLYBUILT] powerpc build of agda 2.3.2-1 in ubuntu raring PROPOSED
Build started on sagari (powerpc) and finished taking 20 minutes — see the log
[FULLYBUILT] i386 build of agda 2.3.2-1 in ubuntu raring PROPOSED
Build started on akateko (i386/amd64) and finished taking 20 minutes — see the log
[FULLYBUILT] armhf build of agda 2.3.2-1 in ubuntu raring PROPOSED
Build started on dactyl (panda ES) and finished taking 2 hours 30 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.3.2-1 in ubuntu raring PROPOSED
Build started on batsu (i386/amd64) and finished taking 14 minutes — see the log
1 → 50 of 50 results First • Previous • Next • Last