Bug#498485: why: calls cpulimit with wrong arguments

To: Mehdi Dogguy <Mehdi.Dogguy@pps.jussieu.fr>
Cc: 498485@bugs.debian.org
Subject: Bug#498485: why: calls cpulimit with wrong arguments
From: Timo Juhani Lindfors <timo.lindfors@iki.fi>
Date: Wed, 10 Sep 2008 18:01:38 +0300
Message-id: <843ak8gi3x.fsf@sauna.l.org>
Reply-to: Timo Juhani Lindfors <timo.lindfors@iki.fi>, 498485@bugs.debian.org
In-reply-to: <48C7DB15.10508@pps.jussieu.fr> (Mehdi Dogguy's message of "Wed, 10 Sep 2008 16:35:01 +0200")
References: <20080910115021.20640.7743.reportbug@sauna> <48C7D25C.9080901@pps.jussieu.fr> <847i9kgkkl.fsf@sauna.l.org> <48C7DB15.10508@pps.jussieu.fr>

Mehdi Dogguy <Mehdi.Dogguy@pps.jussieu.fr> writes:
> Ok. It was corrected in why ≥ 2.14.

Ok, it is probably too late to correct this for debian lenny? At the
moment it is not possible to launch any provers from gwhy GUI because
of the issue :-(

Reply to:

Follow-Ups:
- Bug#498485: why: calls cpulimit with wrong arguments
  - From: Mehdi Dogguy <Mehdi.Dogguy@pps.jussieu.fr>

References:
- Bug#498485: why: calls cpulimit with wrong arguments
  - From: Timo Juhani Lindfors <timo.lindfors@iki.fi>
- Bug#498485: why: calls cpulimit with wrong arguments
  - From: Mehdi Dogguy <Mehdi.Dogguy@pps.jussieu.fr>
- Bug#498485: why: calls cpulimit with wrong arguments
  - From: Timo Juhani Lindfors <timo.lindfors@iki.fi>
- Bug#498485: why: calls cpulimit with wrong arguments
  - From: Mehdi Dogguy <Mehdi.Dogguy@pps.jussieu.fr>

Prev by Date: Bug#498485: why: calls cpulimit with wrong arguments
Next by Date: Bug#498485: why: calls cpulimit with wrong arguments
Previous by thread: Bug#498485: why: calls cpulimit with wrong arguments
Next by thread: Bug#498485: why: calls cpulimit with wrong arguments
Index(es):
- Date
- Thread