[PPL-devel] PPL CentOS 7

Roberto Bagnara bagnara at cs.unipr.it
Wed May 22 09:14:33 CEST 2019


On 21/05/19 10:16, Eugenio Naselli wrote:
> Why does PPL for centOS disappeared?

Hi Eugenio.

What do you mean?
Kind regards,

    Roberto

-- 
      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com



More information about the PPL-devel mailing list