|
|
|
@ -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 <http://www.cs.unipr.it/~bagnara> |
|
|
|
[M] The OpenSDE Community <list@opensde.org> |
|
|
|
@ -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/ |
