Hi,
Quoting Ralf Treinen (2015-10-01 19:26:10)
> Indeed. The problem is the new version of clasp in unstable (3.1.3-1).
> Downgrading clasp to 3.1.2-1 is a temporary workaround. I'll ask upstream to
> update aspcud to the new version of clasp.
ah that fortunately sounds as if the fix could be qui
On Thu, Oct 01, 2015 at 09:26:55AM +0200, Johannes Schauer wrote:
> To be sure, lets try to reproduce this in a clean chroot:
[...]
Indeed. The problem is the new version of clasp in unstable (3.1.3-1).
Downgrading clasp to 3.1.2-1 is a temporary workaround. I'll ask upstream
to update aspcud to
Hi Ralf,
thanks for coming back on this so quickly!
Quoting Ralf Treinen (2015-10-01 09:10:21)
> I am unable to reproduce the bug you reported with the cudf file that you
> attached to the bug report:
>
> $ aspcud problem-with-experimental.cudf solution1.cudf
> [ noisy output omitted ]
>
> $ a
Hi Josch,
On Wed, Sep 30, 2015 at 02:57:03PM +0200, Johannes Schauer wrote:
> I was able to track the problem down to aspcud trying to solve the
> attached cudf problem and failing if any optimization criteria are
> passed.
I am unable to reproduce the bug you reported with the cudf file that yo
4 matches
Mail list logo