Builds for Ubuntu

Package:
129 of 29 results
[FULLYBUILT] amd64 build of proofgeneral 4.4.1~pre170114-1.1 in ubuntu eoan PROPOSED
Build started on 2019-07-25 on lgw01-amd64-007 and finished on 2019-07-25 taking 4 minutes — see the log
[FULLYBUILT] amd64 build of proofgeneral 4.4.1~pre170114-1.1~build1 in ubuntu eoan PROPOSED
Build started on 2019-07-25 on lgw01-amd64-039 and finished on 2019-07-25 taking 3 minutes — see the log
[FULLYBUILT] amd64 build of proofgeneral 4.4.1~pre170114-1 in ubuntu zesty PROPOSED
Build started on 2017-01-17 on lcy01-19 and finished on 2017-01-17 taking 4 minutes — see the log
[FULLYBUILT] amd64 build of proofgeneral 4.4.1~pre161230-0.1 in ubuntu zesty PROPOSED
Build started on 2016-12-31 on lgw01-22 and finished on 2016-12-31 taking 5 minutes — see the log
[FULLYBUILT] amd64 build of proofgeneral 4.3~pre131011-0.2 in ubuntu vivid PROPOSED
Build started on 2014-11-16 on panlong (i386/amd64) and finished on 2014-11-16 taking 12 minutes — see the log
[FULLYBUILT] amd64 build of proofgeneral 4.3~pre131011-0.1 in ubuntu vivid PROPOSED
Build started on 2014-10-26 on allspice (i386/amd64) and finished on 2014-10-26 taking 2 minutes — see the log
[FULLYBUILT] i386 build of proofgeneral 4.3~pre130510-1.1 in ubuntu trusty PROPOSED
Build started on 2014-02-28 on akateko (i386/amd64) and finished on 2014-02-28 taking 3 minutes — see the log
[FULLYBUILT] i386 build of proofgeneral 4.3~pre130510-1 in ubuntu saucy PROPOSED
Build started on 2013-05-18 on aatxe (i386/amd64) and finished on 2013-05-18 taking 4 minutes — see the log
[FULLYBUILT] i386 build of proofgeneral 4.2~pre120605-2 in ubuntu raring PROPOSED
Build started on 2012-12-06 on roseapple (i386/amd64) and finished on 2012-12-06 taking 2 minutes — see the log
[FULLYBUILT] i386 build of proofgeneral 4.2~pre120605-1 in ubuntu quantal RELEASE
Build started on 2012-06-10 on panlong (i386/amd64) and finished on 2012-06-10 taking 4 minutes — see the log
[FULLYBUILT] i386 build of proofgeneral 4.2~pre120411-2 in ubuntu quantal RELEASE
Build started on 2012-05-07 on aatxe (i386/amd64) and finished on 2012-05-07 taking 3 minutes — see the log
[FULLYBUILT] i386 build of proofgeneral 4.2~pre120206-1 in ubuntu quantal RELEASE
Build started on 2012-05-01 on roseapple (i386/amd64) and finished on 2012-05-01 taking 2 minutes — see the log
[FULLYBUILT] i386 build of proofgeneral 3.7-4 in ubuntu natty RELEASE
Build started on 2010-10-17 on rothera (i386) and finished on 2010-10-17 taking 3 minutes — see the log
[FULLYBUILT] i386 build of proofgeneral 3.7-3.1 in ubuntu lucid RELEASE
Build started on 2009-11-07 on rothera (i386) and finished on 2009-11-07 taking 1 minute — see the log
[FULLYBUILT] i386 build of proofgeneral 3.7-3build1 in ubuntu intrepid RELEASE
Build started on 2008-08-06 on rothera (i386) and finished on 2008-08-06 taking 3 minutes — see the log
[FULLYBUILT] i386 build of proofgeneral 3.7-3 in ubuntu intrepid RELEASE
Build started on 2008-05-07 on palmer (i386) and finished on 2008-05-07 taking 3 minutes — see the log
[FULLYBUILT] i386 build of proofgeneral 3.5-6 in ubuntu hardy RELEASE
Build started on 2007-10-29 on vernadsky (i386) and finished on 2007-10-29 taking 2 minutes — see the log
[MANUALDEPWAIT] lpia build of proofgeneral 3.5-4.1 in ubuntu gutsy RELEASE
Missing dependencies: mzscheme
Build started on 2007-09-04 on zirconium and finished on 2007-09-04 taking 20 seconds — see the log
[FULLYBUILT] sparc build of proofgeneral 3.5-4.1 in ubuntu feisty RELEASE
Build started on 2006-12-20 on artigas (sparc) and finished on 2006-12-20 taking 1 minute — see the log
[FULLYBUILT] powerpc build of proofgeneral 3.5-4.1 in ubuntu feisty RELEASE
Build started on 2006-12-20 on ross (powerpc) and finished on 2006-12-20 taking 1 minute — see the log
[MANUALDEPWAIT] ia64 build of proofgeneral 3.5-4.1 in ubuntu feisty RELEASE
Missing dependencies: mzscheme
Build started on 2007-04-05 on floe (ia64) and finished on 2007-04-05 taking 30 seconds — see the log
[FULLYBUILT] i386 build of proofgeneral 3.5-4.1 in ubuntu feisty RELEASE
Build started on 2006-12-20 on vernadsky (i386) and finished on 2006-12-20 taking 1 minute — see the log
[FULLYBUILT] amd64 build of proofgeneral 3.5-4.1 in ubuntu feisty RELEASE
Build started on 2006-12-20 on yellow (amd64) and finished on 2006-12-20 taking 1 minute — see the log
[SUPERSEDED] sparc build of proofgeneral 3.5-4 in ubuntu feisty RELEASE
[SUPERSEDED] powerpc build of proofgeneral 3.5-4 in ubuntu feisty RELEASE
[SUPERSEDED] ia64 build of proofgeneral 3.5-4 in ubuntu feisty RELEASE
[FULLYBUILT] i386 build of proofgeneral 3.5-4 in ubuntu feisty RELEASE
Build started on 2006-12-15 on rothera (i386) and finished on 2006-12-15 taking 1 minute — see the log
[SUPERSEDED] amd64 build of proofgeneral 3.5-4 in ubuntu feisty RELEASE
[FULLYBUILT] i386 build of proofgeneral 3.5-3.1 in ubuntu feisty RELEASE
Build started on 2006-11-10 on vernadsky (i386) and finished on 2006-11-10 taking 50 seconds — see the log
129 of 29 results