[Bug 450323] Review Request: coq - Coq proof management system

[bugzilla at redhat.com]

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 at gmail.com  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.