Re: [PPL-devel] ppl in Fedora development

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
5380
Age (days ago)
5380
Last active (days ago)
0 comments
1 participants
participants (1)
-
Roberto Bagnara