Log in / Register
Jason Gross
Overview
Code
Bugs
Blueprints
Translations
Answers
Builds for Coq Daily Builds (v8.11)
Coq Daily Builds (v8.11)
Builds
Package:
Successfully built
Failed to build
Dependency wait
Chroot problem
Build for superseded Source
Failed to upload
All states
Currently building
Needs building
No 'Needs building' build records.