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

Bug#613986: Status?

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,

Attachment: pgpt6m787RFJK.pgp
Description: PGP signature

Reply to: