[PPL-devel] ppl in Fedora development

[Roberto Bagnara]

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 at cs.unipr.it