Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report. Summary: Review Request: coq - Coq proof management system https://bugzilla.redhat.com/show_bug.cgi?id=450323 ------- Additional Comments From amdunn@xxxxxxxxx 2008-07-01 16:14 EST ------- I made one last change to the SPEC file and source RPM: I was unclear as to the nature of the message from rpmlint that "only binaries should go in /usr/lib", as I had only compiled Coq .vo files in /usr/lib. As it turns out that only architecture dependent binary files should go in /usr/lib, I moved all these to %{_datadir} (which is usually /usr/share) and the message from rpmlint was then fixed. The new SPEC file and source RPM remain at the same location at the duke.edu address (and the old ones were moved to ".v1" and so forth as before). -- 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, or are watching someone who is. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review