Ubuntu
acl2 package

Builds for acl2 in Ubuntu Trusty

  1. Trusty (14.04)
  2. Builds
1 → 34 of 34 results First • Previous • Next • Last
[MANUALDEPWAIT] ppc64el build of acl2 6.3-5 in ubuntu utopic RELEASE
Missing dependencies: gcl
Build started on denneed02 (powerpc) and finished taking 1 minute — see the log
[MANUALDEPWAIT] ppc64el build of acl2 6.3-5 in ubuntu utopic RELEASE
Missing dependencies: gcl
Build started on denneed02 (powerpc) and finished taking 1 minute — see the log
[SUPERSEDED] arm64 build of acl2 6.3-5 in ubuntu utopic RELEASE
[SUPERSEDED] arm64 build of acl2 6.3-5 in ubuntu utopic RELEASE
[MANUALDEPWAIT] ppc64el build of acl2 6.3-6 in ubuntu utopic PROPOSED
Missing dependencies: gcl
Build started on denneed01 (powerpc) and finished taking 1 minute — see the log
[CANCELLED] powerpc build of acl2 6.3-6 in ubuntu utopic PROPOSED
Build started on an unknown build machine and finished taking 39 minutes — see the log
[CANCELLED] i386 build of acl2 6.3-6 in ubuntu utopic PROPOSED
Build started on an unknown build machine and finished taking 14 hours — see the log
[CANCELLED] armhf build of acl2 6.3-6 in ubuntu utopic PROPOSED
Build started on an unknown build machine and finished taking 14 hours — see the log
[SUPERSEDED] arm64 build of acl2 6.3-6 in ubuntu utopic PROPOSED
[CANCELLED] amd64 build of acl2 6.3-6 in ubuntu utopic PROPOSED
Build started on an unknown build machine and finished taking 14 hours — see the log
[MANUALDEPWAIT] ppc64el build of acl2 6.3-6 in ubuntu trusty PROPOSED
Missing dependencies: gcl
Build started on fisher02 (powerpc) and finished taking 2 minutes — see the log
[MANUALDEPWAIT] ppc64el build of acl2 6.3-5 in ubuntu trusty RELEASE
Missing dependencies: gcl
Build started on denneed03 (powerpc) and finished taking 2 minutes — see the log
[MANUALDEPWAIT] ppc64el build of acl2 6.3-5 in ubuntu trusty RELEASE
Missing dependencies: gcl
Build started on denneed03 (powerpc) and finished taking 2 minutes — see the log
[CANCELLED] powerpc build of acl2 6.3-6 in ubuntu trusty PROPOSED
Build started on an unknown build machine and finished taking 13 hours — see the log
[CANCELLED] i386 build of acl2 6.3-6 in ubuntu trusty PROPOSED
Build started on an unknown build machine and finished taking 37 hours — see the log
[CANCELLED] armhf build of acl2 6.3-6 in ubuntu trusty PROPOSED
Build started on an unknown build machine and finished taking 37 hours — see the log
[MANUALDEPWAIT] arm64 build of acl2 6.3-6 in ubuntu trusty PROPOSED
Missing dependencies: gcl
Build started on beebe (arm64) and finished taking 2 minutes — see the log
[CANCELLED] amd64 build of acl2 6.3-6 in ubuntu trusty PROPOSED
Build started on an unknown build machine and finished taking 37 hours — see the log
[FULLYBUILT] powerpc build of acl2 6.3-5 in ubuntu trusty PROPOSED
Build started on sulfur (powerpc) and finished taking 18 hours — see the log
[FULLYBUILT] powerpc build of acl2 6.3-5 in ubuntu trusty PROPOSED
Build started on sulfur (powerpc) and finished taking 18 hours — see the log
[FULLYBUILT] i386 build of acl2 6.3-5 in ubuntu trusty PROPOSED
Build started on aatxe (i386/amd64) and finished taking 21 hours — see the log
[FULLYBUILT] i386 build of acl2 6.3-5 in ubuntu trusty PROPOSED
Build started on aatxe (i386/amd64) and finished taking 21 hours — see the log
[FULLYBUILT] armhf build of acl2 6.3-5 in ubuntu trusty PROPOSED
Build started on kishi23 (highbank) and finished taking 26 hours — see the log
[FULLYBUILT] armhf build of acl2 6.3-5 in ubuntu trusty PROPOSED
Build started on kishi23 (highbank) and finished taking 26 hours — see the log
[MANUALDEPWAIT] arm64 build of acl2 6.3-5 in ubuntu trusty PROPOSED
Missing dependencies: gcl
Build started on twombly (arm64) and finished taking 2 minutes — see the log
[MANUALDEPWAIT] arm64 build of acl2 6.3-5 in ubuntu trusty PROPOSED
Missing dependencies: gcl
Build started on twombly (arm64) and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of acl2 6.3-5 in ubuntu trusty PROPOSED
Build started on allspice (i386/amd64) and finished taking 27 hours — see the log
[FULLYBUILT] amd64 build of acl2 6.3-5 in ubuntu trusty PROPOSED
Build started on allspice (i386/amd64) and finished taking 27 hours — see the log
[MANUALDEPWAIT] arm64 build of acl2 6.2-6 in ubuntu trusty RELEASE
Missing dependencies: gcl
Build started on magic (arm64) and finished taking 1 minute — see the log
[CANCELLED] arm64 build of acl2 6.2-6 in ubuntu saucy RELEASE
Build started at an unknown time on an unknown build machine
[FULLYBUILT] powerpc build of acl2 6.2-6 in ubuntu saucy PROPOSED
Build started on sagari (powerpc) and finished taking 6 hours 10 minutes — see the log
[FULLYBUILT] i386 build of acl2 6.2-6 in ubuntu saucy PROPOSED
Build started on lamiak (i386/amd64) and finished taking 5 hours — see the log
[FULLYBUILT] armhf build of acl2 6.2-6 in ubuntu saucy PROPOSED
Build started on kishi02 (highbank) and finished taking 21 hours — see the log
[FULLYBUILT] amd64 build of acl2 6.2-6 in ubuntu saucy PROPOSED
Build started on panlong (i386/amd64) and finished taking 5 hours 10 minutes — see the log
1 → 34 of 34 results First • Previous • Next • Last