[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 dwheeler at dwheeler.com  2008-06-07 09:05 EST -------
> I was just trying to emphasize that it is indeed a subpackage of coq;
> if that's not proper it can certainly be changed.

Oh! I see!  That's a good idea.  In that case, I suggest documenting that
in the spec file as a comment, e.g.:

# The IDE's package name will become "coq-coqide".  That way, searching for
# either "coqide" (the Ubuntu/Debian package name) or "coq" will find this.



-- 
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.