Title:          ppl-dev.tcz
Description:    devs for ppl
Version:        0.12.1
Author:         see list of sites below
Original-site:  see list of sites below
Copying-policy: see list of sites below
Size: 920KB
Extension_by:   juanito
Tags:	        dev ppl
Comments:       dev files for the parma polyhedra library
                ----------
                This extension contains:
                ppl-0.12.1 - GPLv3 - http://www.cs.unipr.it/ppl/Download/ftp/releases/0.12.1/ppl-0.12.1.tar.bz2
                ----------
Change-log:     2012/11/09
                updated 0.11.2 -> 0.12.1
                2013/10/12
                corrected faulty *.la
Current:        2014/02/02