Is ppl.git accessible as of today?
5 Oct
2021
5 Oct
'21
10:04 p.m.
*% 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* Zhoulai
6 Oct
6 Oct
8: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
1556
Age (days ago)
1557
Last active (days ago)
1 comments
2 participants
participants (2)
-
Roberto Bagnara -
Z.