Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: FTBFS coq-8.2pl1-1.fc12 https://bugzilla.redhat.com/show_bug.cgi?id=631302 Summary: FTBFS coq-8.2pl1-1.fc12 Product: Fedora Version: 14 Platform: All URL: http://linux.dell.com/files/fedora/FixBuildRequires/mo ck-results/ OS/Version: Linux Status: NEW Keywords: Triaged Severity: high Priority: high Component: coq AssignedTo: amdunn@xxxxxxxxx ReportedBy: ftbfs@xxxxxxxxxxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: amdunn@xxxxxxxxx, fedora-ocaml-list@xxxxxxxxxx Blocks: 596849 Classification: Fedora coq-8.2pl1-1.fc12.src.rpm Failed To Build From Source against the rawhide tree. See http://fedoraproject.org/wiki/FTBFS for more information. If you believe this is actually a bug in another package, do NOT change the component in this bug or close this bug. Instead, add the appropriate bug number from the other package to the "Depends on" line in this bug. If the other package does not yet have a bug created that you think matches, please create one. Doing so helps us properly track bugs and their dependencies, just as we track package dependencies. (If you close this bug, and the other package is not fixed before the next FTBFS run, a new bug will get created. Please follow the above advice to avoid such duplication.) -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ ocaml-devel mailing list ocaml-devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel
