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
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.
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:
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
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,
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
6 matches
Mail list logo