Builds for aac-tactics in Ubuntu Saucy

Build started on 2013-10-29 on beebe (arm64) and finished on 2013-10-29 taking 7 minutes — see the log

Build started on 2013-10-29 on beebe (arm64) and finished on 2013-10-29 taking 7 minutes — see the log

Missing dependencies: coq

Build started on 2013-10-10 on magic (arm64) and finished on 2013-10-10 taking 50 seconds — see the log

Missing dependencies: coq

Build started on 2013-10-10 on magic (arm64) and finished on 2013-10-10 taking 50 seconds — see the log

Missing dependencies: coq

Build started on 2013-05-09 on rusalka (arm panda) and finished on 2013-05-09 taking 4 minutes — see the log

Build started on 2013-05-09 on sagari (powerpc) and finished on 2013-05-09 taking 6 minutes — see the log

Build started on 2013-05-09 on sagari (powerpc) and finished on 2013-05-09 taking 6 minutes — see the log

Build started on 2013-05-09 on roseapple (i386/amd64) and finished on 2013-05-09 taking 2 minutes — see the log

Build started on 2013-05-09 on roseapple (i386/amd64) and finished on 2013-05-09 taking 2 minutes — see the log

Missing dependencies: coq

Build started on 2013-10-05 on kishi08 (highbank) and finished on 2013-10-05 taking 1 minute — see the log

Missing dependencies: coq

Build started on 2013-10-05 on kishi08 (highbank) and finished on 2013-10-05 taking 1 minute — see the log

Build started on 2013-05-09 on batsu (i386/amd64) and finished on 2013-05-09 taking 4 minutes — see the log

Build started on 2013-05-09 on batsu (i386/amd64) and finished on 2013-05-09 taking 4 minutes — see the log

Build started on 2013-05-09 on ross (powerpc) and finished on 2013-05-09 taking 6 minutes — see the log

Build started on 2013-05-09 on lamiak (i386/amd64) and finished on 2013-05-09 taking 4 minutes — see the log

Missing dependencies: coq

Build started on 2013-05-09 on heka (armhf - panda) and finished on 2013-05-09 taking 3 minutes — see the log

Build started on 2013-05-09 on panlong (i386/amd64) and finished on 2013-05-09 taking 4 minutes — see the log

Missing dependencies: coq

Build started on 2013-04-23 on cetan and finished on 2013-04-23 taking 3 minutes — see the log

Build started on 2012-06-11 on sulfur (powerpc) and finished on 2012-06-11 taking 7 minutes — see the log

Build started on 2012-06-10 on akateko (i386/amd64) and finished on 2012-06-10 taking 5 minutes — see the log

Missing dependencies: libcoq-ocaml-dev

Build started on 2012-09-13 on nasl (arm panda) and finished on 2012-09-13 taking 3 minutes — see the log

Build started on 2012-06-10 on shedir (armhf panda) and finished on 2012-06-10 taking 11 minutes — see the log

Build started on 2012-06-10 on komainu (i386/amd64) and finished on 2012-06-10 taking 5 minutes — see the log