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
pgpe7UlRss1td.pgp
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.
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,
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
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
pgpeArirvlKyK.pgp
Description: PGP signature
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:
6 matches
Mail list logo