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