Builds for Coq Daily Builds (v8.8)
901 → 906 of 906 results | First • Previous • Next • Last |
amd64 build of coq 8.8~git~201803171546+18877-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started
on
lcy01-amd64-015
and finished
taking
17 minutes
—
see the log
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu artful
Build started
on
lgw01-amd64-044
and finished
taking
4 minutes
—
see the log
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started
on
lgw01-amd64-002
and finished
taking
4 minutes
—
see the log
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started
on
lcy01-amd64-007
and finished
taking
4 minutes
—
see the log
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started
on
lgw01-amd64-016
and finished
taking
3 minutes
—
see the log
|
|
~jgross-h/coq/+git/coq recipe build in ubuntu precise
Build started
on
lcy01-amd64-030
and finished
taking
3 minutes
—
see the log
|
901 → 906 of 906 results | First • Previous • Next • Last |