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

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@cs.unipr.it