[Fedora-sparc] Package: coq-8.1pl3-2.fc10 Tag: None Status: failed Built by: ausil