From bagnara at cs.unipr.it  Wed Oct  6 20:14:29 2021
From: bagnara at cs.unipr.it (Roberto Bagnara)
Date: Wed, 6 Oct 2021 20:14:29 +0200
Subject: [PPL-announce] Relocation of the PPL Git repository
Message-ID: <1f3dc5a4-3894-11ce-279d-aeca998357f2@cs.unipr.it>


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