Bug#499746: ppl ftbfs on arm

2008-10-19 Thread Roberto Bagnara
Arthur Loiret wrote: reopen 499746 found 499746 0.10~pre34-1 thanks Still fails to build. The PPL 0.10pre35 snapshot, available at ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ should fix this problem. Please let us know how it goes. -- Prof. Roberto Bagnara Computer Science Group

Processed: Re: Bug#499746: ppl ftbfs on arm

2008-10-12 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: reopen 499746 Bug#499746: ppl ftbfs on arm Bug is already open, cannot reopen. found 499746 0.10~pre34-1 Bug#499746: ppl ftbfs on arm Bug marked as found in version 0.10~pre34-1. thanks Stopping processing here. Please contact me if you need

Bug#499746: ppl ftbfs on arm

2008-10-12 Thread Arthur Loiret
reopen 499746 found 499746 0.10~pre34-1 thanks Still fails to build. On Wed, Sep 24, 2008 at 08:57:22PM +0200, Roberto Bagnara wrote: A new PPL 0.10 snapshot that should fix this problem is available at ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ signature.asc Description: Digital

Bug#499746: ppl ftbfs on arm

2008-09-24 Thread Roberto Bagnara
A new PPL 0.10 snapshot that should fix this problem is available at ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL

Bug#499746: ppl ftbfs on arm

2008-09-23 Thread Roberto Bagnara
[Concerning http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499746] This should be fixed in CVS HEAD. A new PPL 0.10 snapshot will appear in the next few days at ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ Please do report all PPL bugs to [EMAIL PROTECTED] All the best, Roberto --

Bug#499746: ppl ftbfs on arm

2008-09-21 Thread Matthias Klose
Package: ppl Version: Severity: important severity imprtant, because this will become a build dependency of gcc. I'll upgrade the severity to serious for lenny+1. http://buildd.debian.org/fetch.cgi?pkg=pplver=0.10~pre27-3arch=armstamp=1221547524file=log make[4]: Entering directory