[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#613986: Status?

Hey Michael,

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,

Thomas Krennwallner
University assistant
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 
DVR: 0005886

Reply to: