Is ppl.git accessible as of today?
5 Oct
2021
5 Oct
'21
8:04 p.m.
*% git clone git://git.cs.unipr.it/ppl/ppl.git http://git.cs.unipr.it/ppl/ppl.gitCloning into 'ppl'...fatal: remote error: access denied or repository not exported: /ppl/ppl.git*
Zhoulai
6 Oct
6 Oct
6:10 p.m.
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
1376
Age (days ago)
1377
Last active (days ago)
1 comments
2 participants
participants (2)
-
Roberto Bagnara -
Z.