
25 Jan
2011
25 Jan
'11
9:37 a.m.
On 01/25/2011 09:28 AM, Jakub Jelinek wrote:
Hi!
Do you plan to update ppl in Fedora rawhide (for f15+) to 0.11? Seems starting today gcc now requires 0.11 instead of 0.10.2 and thus will no longer build against the older ppl.
Thanks.
Jakub
Hi Jakub,
yes, but we first would like to release PPL 0.11.1. For this, we are just waiting for some feedback from people using Solaris. Cheers,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it