[PPL-devel] #625417 - ppl: ftbfs with gcc-4.6 -Werror - Debian Bug report logs

Roberto Bagnara bagnara at cs.unipr.it
Sat Jul 9 15:04:17 CEST 2011

Previous message (by thread): [PPL-devel] [GIT] ppl/w3ppl(master): Links updated.
Next message (by thread): [PPL-devel] MIP or PIP for testing satisfiability of linear arithmetic constraints over the integers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=625417
-- 
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

Previous message (by thread): [PPL-devel] [GIT] ppl/w3ppl(master): Links updated.
Next message (by thread): [PPL-devel] MIP or PIP for testing satisfiability of linear arithmetic constraints over the integers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the PPL-devel mailing list