[Bug 631302] New: FTBFS coq-8.2pl1-1.fc12