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@xxxxxxxxxxxx 2008-06-08 12:48 EST ------- It's too bad rpm doesn't have a "Suggests:" tag. Perhaps the description could add: "coqtop users may want to install and use rlwrap, e.g., 'rlwrap coqtop', or use an IDE." Basically, coqtop doesn't include readline (for history and line editing), which makes it annoying to use directly. Installing and using rlwrap fixes that, but it's not _required_ so rlwrap shouldn't be a dependency. -- 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