Builds for acl2 in Ubuntu Vivid

Build started on 2015-06-25 on denneed04 (powerpc) and finished on 2015-06-25 taking 5 minutes — see the log

Build started on 2015-06-25 on denneed04 (powerpc) and finished on 2015-06-25 taking 5 minutes — see the log

Build started on 2015-03-14 on fisher04 (powerpc) and finished on 2015-03-14 taking 3 hours 30 minutes — see the log

Build started on 2015-03-14 on fisher04 (powerpc) and finished on 2015-03-14 taking 3 hours 30 minutes — see the log

Build started on 2015-01-27 on sagari (powerpc) and finished on 2015-01-27 taking 5 hours 30 minutes — see the log

Build started on 2015-01-27 on sagari (powerpc) and finished on 2015-01-27 taking 5 hours 30 minutes — see the log

Build started on 2015-01-27 on roseapple (i386/amd64) and finished on 2015-01-27 taking 5 hours 20 minutes — see the log

Build started on 2015-01-27 on roseapple (i386/amd64) and finished on 2015-01-27 taking 5 hours 20 minutes — see the log

Build started on 2015-01-27 on kishi05 (highbank) and finished on 2015-01-28 taking 15 hours — see the log

Build started on 2015-01-27 on kishi05 (highbank) and finished on 2015-01-28 taking 15 hours — see the log

Build started on 2015-01-27 on auburn (arm64) and finished on 2015-01-28 taking 16 hours — see the log

Build started on 2015-01-27 on auburn (arm64) and finished on 2015-01-28 taking 16 hours — see the log

Build started on 2015-01-27 on batsu (i386/amd64) and finished on 2015-01-27 taking 3 hours 30 minutes — see the log

Build started on 2015-01-27 on batsu (i386/amd64) and finished on 2015-01-27 taking 3 hours 30 minutes — see the log

Build started on 2014-12-30 on fisher03 (powerpc) and finished on 2014-12-30 taking 2 hours 50 minutes — see the log

Build started on 2014-12-30 on fisher03 (powerpc) and finished on 2014-12-30 taking 2 hours 50 minutes — see the log

Build started on 2014-10-27 on ross (powerpc) and finished on 2014-10-28 taking 12 hours — see the log

Build started on 2014-10-27 on ross (powerpc) and finished on 2014-10-28 taking 12 hours — see the log

Build started on 2014-10-27 on kapok (i386/amd64) and finished on 2014-10-27 taking 2 hours 20 minutes — see the log

Build started on 2014-10-27 on kapok (i386/amd64) and finished on 2014-10-27 taking 2 hours 20 minutes — see the log

Build started on 2014-12-10 on kishi11 (highbank) and finished on 2014-12-10 taking 11 hours — see the log

Build started on 2014-12-10 on kishi11 (highbank) and finished on 2014-12-10 taking 11 hours — see the log

Build started on 2014-10-27 on templar (arm64) and finished on 2014-10-28 taking 12 hours — see the log

Build started on 2014-10-27 on templar (arm64) and finished on 2014-10-28 taking 12 hours — see the log

Build started on 2014-10-27 on comet (i386/amd64) and finished on 2014-10-27 taking 2 hours 30 minutes — see the log

Build started on 2014-10-27 on comet (i386/amd64) and finished on 2014-10-27 taking 2 hours 30 minutes — see the log

Build started on 2014-10-26 on fisher01 (powerpc) and finished on 2014-10-26 taking 2 hours 50 minutes — see the log

Build started on 2014-10-26 on sagari (powerpc) and finished on 2014-10-26 taking 2 hours 50 minutes — see the log

Build started on 2014-10-26 on klock (i386/amd64) and finished on 2014-10-26 taking 2 hours — see the log

Build started on 2014-10-26 on kishi17 (highbank) and finished on 2014-10-27 taking 10 hours — see the log

Build started on 2014-10-26 on templar (arm64) and finished on 2014-10-27 taking 12 hours — see the log

Build started on 2014-10-26 on roseapple (i386/amd64) and finished on 2014-10-26 taking 2 hours 20 minutes — see the log

Build started on 2014-10-26 on fisher03 (powerpc) and finished on 2014-10-26 taking 1 hour 10 minutes — see the log

Build started on 2014-10-26 on sulfur (powerpc) and finished on 2014-10-26 taking 6 hours 30 minutes — see the log

Build started on 2014-10-26 on batsu (i386/amd64) and finished on 2014-10-26 taking 1 hour 40 minutes — see the log

Build started on 2014-10-25 on kishi16 (highbank) and finished on 2014-10-26 taking 8 hours 40 minutes — see the log

Build started on 2014-10-26 on klock (i386/amd64) and finished on 2014-10-26 taking 1 hour 30 minutes — see the log

Build started on 2014-10-24 on fisher04 (powerpc) and finished on 2014-10-24 taking 1 hour 30 minutes — see the log

Build started on 2014-10-24 on fisher04 (powerpc) and finished on 2014-10-24 taking 1 hour 30 minutes — see the log

Build started on 2014-10-24 on denneed01 (powerpc) and finished on 2014-10-24 taking 1 hour 20 minutes — see the log

Build started on 2014-10-24 on denneed01 (powerpc) and finished on 2014-10-24 taking 1 hour 20 minutes — see the log

Build started on 2014-10-24 on toyol (i386/amd64) and finished on 2014-10-24 taking 1 hour 30 minutes — see the log

Build started on 2014-10-24 on toyol (i386/amd64) and finished on 2014-10-24 taking 1 hour 30 minutes — see the log

Build started on 2014-10-24 on kishi18 (highbank) and finished on 2014-10-24 taking 8 hours 40 minutes — see the log

Build started on 2014-10-24 on kishi18 (highbank) and finished on 2014-10-24 taking 8 hours 40 minutes — see the log

Build started on 2014-10-25 on twombly (arm64) and finished on 2014-10-25 taking 3 hours — see the log

Build started on 2014-10-25 on twombly (arm64) and finished on 2014-10-25 taking 3 hours — see the log

Build started on 2014-10-24 on akateko (i386/amd64) and finished on 2014-10-24 taking 1 hour 50 minutes — see the log

Build started on 2014-10-24 on akateko (i386/amd64) and finished on 2014-10-24 taking 1 hour 50 minutes — see the log

Missing dependencies: gcl

Build started on 2014-05-18 on denneed04 (powerpc) and finished on 2014-05-18 taking 1 minute — see the log

Build started on 2014-05-18 on sulfur (powerpc) and finished on 2014-05-18 taking 7 hours 10 minutes — see the log

Build started on 2014-05-18 on kissel (i386/amd64) and finished on 2014-05-18 taking 1 hour 30 minutes — see the log

Build started on 2014-05-18 on kishi04 (highbank) and finished on 2014-05-18 taking 8 hours 20 minutes — see the log

Build started on 2014-08-24 on beebe (arm64) and finished on 2014-08-24 taking 3 hours 20 minutes — see the log

Build started on 2014-05-18 on comet (i386/amd64) and finished on 2014-05-18 taking 1 hour 30 minutes — see the log