One or more directories are not included within this package and/or its sub-packages: => why-coq-2.14-2.fc10.i386 (rawhide-development-i386) /usr/share/coq provided by: coq-coqide-8.1pl3-5.fc10.i386 provided by: coq-8.1pl3-5.fc10.i386 provided by: coq-doc-8.1pl3-5.fc10.i386 /usr/share/coq/user-contrib provided by: coq-8.1pl3-5.fc10.i386 [...] Further information: https://fedoraproject.org/wiki/Packaging/ReviewGuidelines MUST: A package must own all directories that it creates. If it does not create a directory that it uses, then it should require a package which does create that directory. https://fedoraproject.org/wiki/Packaging/Guidelines#FileAndDirectoryOwnership https://fedoraproject.org/wiki/Packaging/UnownedDirectories
why-2.17-1.fc9 has been pushed to the Fedora 9 stable repository. If problems still persist, please make note of it in this bug report.
why-2.17-1.fc10 has been pushed to the Fedora 10 stable repository. If problems still persist, please make note of it in this bug report.