[PPL-devel] bug for ppl-0.11.2 - your website has an improperly signed certificate (sparticus)

[Roberto Bagnara]

Hi Harry.

Now the PPL web site has a properly signed certificate.
Thanks for letting us know.
Cheers,

     Roberto

-- 
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