Builds for coq-float in Ubuntu Natty

11 of 1 result
[FULLYBUILT] i386 build of coq-float 1:8.2-1.2-5 in ubuntu maverick RELEASE
Build started on vernadsky (i386) and finished taking 38 minutes — see the log
11 of 1 result