Jason Gross

Builds for Coq backports

  1. Coq backports
  2. Builds
Package:
1 → 36 of 36 results First • Previous • Next • Last
[FULLYBUILT] amd64 build of coq 8.5-2build1~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-08 and finished taking 27 minutes — see the log
[FULLYBUILT] i386 build of coq 8.5-2build1~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-50 and finished taking 24 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.5-2build1~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-12 and finished taking 31 minutes — see the log
[FULLYBUILT] i386 build of coq 8.5-2build1~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-10 and finished taking 29 minutes — see the log
[FULLYBUILT] i386 build of lablgtk2 2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-11 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of lablgtk2 2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-13 and finished taking 4 minutes — see the log
[FULLYBUILT] i386 build of lablgtk2 2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lcy01-34 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of lablgtk2 2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-04 and finished taking 5 minutes — see the log
[FULLYBUILT] i386 build of lablgl 1:1.05-2~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-44 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of lablgl 1:1.05-2~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-15 and finished taking 2 minutes — see the log
[FULLYBUILT] i386 build of labltk 8.06.0+dfsg-3~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-17 and finished taking 2 minutes — see the log
[FULLYBUILT] i386 build of lablgl 1:1.05-2~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-15 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of labltk 8.06.0+dfsg-3~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-19 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of lablgl 1:1.05-2~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-11 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of labltk 8.06.0+dfsg-3~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-18 and finished taking 5 minutes — see the log
[FULLYBUILT] i386 build of camlp4 4.02.1+3-2~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-59 and finished taking 7 minutes — see the log
[FULLYBUILT] amd64 build of camlp4 4.02.1+3-2~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lcy01-31 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of camlp5 6.16-1~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lcy01-34 and finished taking 6 minutes — see the log
[FULLYBUILT] i386 build of labltk 8.06.0+dfsg-3~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-24 and finished taking 3 minutes — see the log
[FULLYBUILT] i386 build of camlp5 6.16-1~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lcy01-35 and finished taking 4 minutes — see the log
[FULLYBUILT] i386 build of findlib 1.6.2-1~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lcy01-36 and finished taking 2 minutes — see the log
[FULLYBUILT] i386 build of hevea 2.28-1~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lcy01-33 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of findlib 1.6.2-1~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lcy01-32 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of ocaml 4.02.3-6ubuntu2~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-56 and finished taking 14 minutes — see the log
[FULLYBUILT] i386 build of ocaml 4.02.3-6ubuntu2~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-55 and finished taking 13 minutes — see the log
[FULLYBUILT] i386 build of camlp4 4.02.1+3-2~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-11 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of camlp4 4.02.1+3-2~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-12 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of camlp5 6.16-1~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lcy01-34 and finished taking 8 minutes — see the log
[FULLYBUILT] i386 build of camlp5 6.16-1~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-52 and finished taking 7 minutes — see the log
[FULLYBUILT] i386 build of hevea 2.28-1~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lcy01-33 and finished taking 2 minutes — see the log
[FULLYBUILT] i386 build of libiberty 20141014-1~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-17 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libiberty 20141014-1~ubuntu12.04.1~ppa1 in ubuntu precise RELEASE
Build started on lgw01-18 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of findlib 1.6.2-1~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-02 and finished taking 2 minutes — see the log
[FULLYBUILT] i386 build of findlib 1.6.2-1~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-44 and finished taking 2 minutes — see the log
[FULLYBUILT] i386 build of ocaml 4.02.3-6ubuntu2~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-33 and finished taking 19 minutes — see the log
[FULLYBUILT] amd64 build of ocaml 4.02.3-6ubuntu2~ubuntu14.04.1~ppa1 in ubuntu trusty RELEASE
Build started on lgw01-34 and finished taking 18 minutes — see the log
1 → 36 of 36 results First • Previous • Next • Last