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
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":
> http://mentors.debian.net/
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
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 righ
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