Bug#613986: Status?
Hi all, [...] I have re-uploaded the package now and converted copyright to DEP-5 and fixed a missing DEP-3 header in runlim-renaming.patch: http://mentors.debian.net/debian/pool/main/r/runlim/ [...] Re-checked and uploaded. Sorry for the delay! Best regards, Michael pgpCKHGH5u9de.pgp Description: PGP signature
Bug#613986: Status?
Hey Michael, On Mon Mar 14, 2011 07:33:32PM +, 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: http://mentors.debian.net/debian/pool/main/r/runlim/ thx and cheers, TK -- 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 http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
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, Michael pgpjydK1zXAmF.pgp Description: PGP signature
Bug#613986: Status?
On la, 2011-03-12 at 17:40 +, Michael Tautschnig wrote: Hi all, I just wanted to ask what the status of the proposed package run (or whatever its name shall be) is as I'd be interested in using that for an upcoming package. Lars, Thomas told me you were taking over, is that right? I haven't had time to sponsor an upload yet, sorry. I'm OK with anyone else doing it, of course, please don't block on me if you want to do it. -- Blog/wiki/website hosting with ikiwiki (free for free software): http://www.branchable.com/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#613986: Status?
On Sun Mar 13, 2011 03:58:31PM +, Lars Wirzenius wrote: On la, 2011-03-12 at 17:40 +, Michael Tautschnig wrote: I just wanted to ask what the status of the proposed package run (or whatever its name shall be) is as I'd be interested in using that for an upcoming package. Lars, Thomas told me you were taking over, is that right? I haven't had time to sponsor an upload yet, sorry. I'm OK with anyone else doing it, of course, please don't block on me if you want to do it. 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/ cheers, TK -- 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 http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#613986: Status?
Hi all, I just wanted to ask what the status of the proposed package run (or whatever its name shall be) is as I'd be interested in using that for an upcoming package. Lars, Thomas told me you were taking over, is that right? Best, Michael pgpicVWOWSqAV.pgp Description: PGP signature
