Builds for coq-doc in Ubuntu Lucid
1 → 5 of 5 results | First • Previous • Next • Last |
i386 build of coq-doc 8.2pl1-1 in ubuntu lucid RELEASE
Build started
on
rothera (i386)
and finished
taking
29 minutes
—
see the log
|
|
i386 build of coq-doc 8.1-3 in ubuntu jaunty RELEASE
Build started
on
palmer (i386)
and finished
taking
12 minutes
—
see the log
|
|
i386 build of coq-doc 8.1-3 in ubuntu intrepid RELEASE
Build started
on
palmer (i386)
and finished
taking
5 minutes
—
see the log
|
|
i386 build of coq-doc 8.1-3 in ubuntu hardy RELEASE
Build started
on
palmer (i386)
and finished
taking
4 minutes
—
see the log
|
|
i386 build of coq-doc 8.1-3 in ubuntu gutsy RELEASE
Build started
on
vernadsky (i386)
and finished
taking
3 minutes
—
see the log
|
1 → 5 of 5 results | First • Previous • Next • Last |