[PPL-announce] Relocation of the PPL Git repository
Roberto Bagnara
bagnara at cs.unipr.it
Wed Oct 6 20:14:29 CEST 2021
The Git repository has been relocated. Public, anonymous
access is now at
git://git.bugseng.com/ppl/ppl.git
Kind regards,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematical, Physical and Computer Sciences
University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
More information about the PPL-announce
mailing list