On Mon Mar 14, 2011 07:33:32PM +0000, Michael Tautschnig wrote:
> 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?
Right, there is an inconsistency on the web LICENSE file and the LICENSE
in the tarball. I'll check with Armin.
> 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.
I have re-uploaded the package now and converted copyright to DEP-5 and
fixed a missing DEP-3 header in runlim-renaming.patch:
thx and cheers,
TU Wien - Vienna University of Technology
Institute of Information Systems
Favoritenstrasse 9-11, 1040 Wien, Austria
T: +43 1 58801 18469 F: +43 1 58801 918469
tkren AT kr DOT tuwien DOT ac DOT at