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