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: LADR - Library for Automated Deduction Research https://bugzilla.redhat.com/show_bug.cgi?id=428410 ------- Additional Comments From timc@xxxxxxxxxxxx 2008-01-11 10:08 EST ------- Thanks for your comments. I am not the upstream maintainer and the name LADR is an acronym so keeping the uppercase seemed more appropriate - no problem to change it if that is the preferred option. Not sure about the GPL stuff - could I just apply a patch to add the missing GPL statements and then inform upstream to add them? Regarding "The docs are somewhat hard to find - the reference to the manual in README.first is wrong, and the programs don't understand standard '-h'/'..help' options." - I am not sure to what extent I should be modifying an upstream package (and the code in the case of adding help options) in order to get a package accepted as the guidelines make no mention of this - were I the actual maintainer of the package I could see that this would be good of course. -- 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