[PPL-devel] ppl-1.0 tests fail to build on s390/s390x
Roberto Bagnara
bagnara at cs.unipr.it
Tue Jan 29 09:32:49 CET 2013
Hi Matthias.
I just hit the wrong button on the administrative interface
of the ppl-devel mailing list. So the message has gone
forever before I could read it.
Please resend it to the list and accept my apologies.
Kind regards,
Roberto
P.S. This is the failure, right?
https://buildd.debian.org/fetch.cgi?pkg=ppl&arch=s390x&ver=1.0-1&stamp=1359396092&file=log
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara at bugseng.com
More information about the PPL-devel
mailing list