[Bug 428410] Review Request: LADR - Library for Automated Deduction Research

[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: LADR - Library for Automated Deduction Research


https://bugzilla.redhat.com/show_bug.cgi?id=428410





------- Additional Comments From timc at inf.ed.ac.uk  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.