Hi Thomas, [...] > Fine by me ;-). As discussed with upstream, future versions of "run" > will be called "runlim". mentors.d.n has runlim 1.4-4 up for grabs, > which is run 1.4 + renaming of the binary/manpage and changing the > output to use "runlim" instead of "run": > http://mentors.debian.net/debian/pool/main/r/runlim/ >
I just started reviewing this package and noticed at least one oddity which you
might want to ping Armin about:
LICENSE: Copyright (c) 2005-20010 Armin Biere, Johannes Kepler University.
^^^^^
Quite future-proof, isn't it :-)
As such, debian/copyright doesn't seem to be 100% accurate as it only states
copyright years up to 2009. While you're at it, would you mind updating
debian/copyright to DEP-5?
I'd prefer if you could fix those minor issues instead of risking a REJECT by
ftp-master. Then I should be ready to upload the fixed version at almost any
time unless Lars would prefer to sponsor it.
Best regards,
Michael
pgpjydK1zXAmF.pgp
Description: PGP signature
