From 059d6ca252516f7867a5674e57dfd2a347da709d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nagy=20K=C3=A1roly=20G=C3=A1briel?= Date: Mon, 9 Nov 2015 09:44:36 +0000 Subject: [PATCH] ppl: changed download location to the new home. --- develop/ppl/ppl.desc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/develop/ppl/ppl.desc b/develop/ppl/ppl.desc index b5e39d8c1..3e8e24abd 100644 --- a/develop/ppl/ppl.desc +++ b/develop/ppl/ppl.desc @@ -18,7 +18,7 @@ [T] especially targeted at applications in the field of analysis and [T] verification of complex systems. -[U] http://www.cs.unipr.it/ppl +[U] http://bugseng.com/products/ppl [A] Roberto Bagnara [M] The OpenSDE Community @@ -30,4 +30,4 @@ [V] 1.1 [P] X 0--3-5---9 102.260 -[D] 719414387 ppl-1.1.tar.bz2 http://www.cs.unipr.it/ppl/Download/ftp/releases/1.1/ +[D] 719414387 ppl-1.1.tar.bz2 http://bugseng.com/products/ppl/download/ftp/releases/1.1/