[PPL-devel] Is ppl.git accessible as of today?

[Roberto Bagnara]

On 05/10/21 22:04, Z. wrote:
> % git clone git://git.cs.unipr.it/ppl/ppl.git <http://git.cs.unipr.it/ppl/ppl.git>
> 
> Cloning into 'ppl'...
> fatal: remote error: access denied or repository not exported: /ppl/ppl.git/

Hi there.

Indeed the Git repository has been relocated:

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