You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
33 lines
1.1 KiB
33 lines
1.1 KiB
[COPY] --- SDE-COPYRIGHT-NOTE-BEGIN --- |
|
[COPY] This copyright note is auto-generated by ./scripts/Create-CopyPatch. |
|
[COPY] |
|
[COPY] Filename: package/.../ppl/ppl.desc |
|
[COPY] Copyright (C) 2009 - 2015 The OpenSDE Project |
|
[COPY] |
|
[COPY] More information can be found in the files COPYING and README. |
|
[COPY] |
|
[COPY] This program is free software; you can redistribute it and/or modify |
|
[COPY] it under the terms of the GNU General Public License as published by |
|
[COPY] the Free Software Foundation; version 2 of the License. A copy of the |
|
[COPY] GNU General Public License can be found in the file COPYING. |
|
[COPY] --- SDE-COPYRIGHT-NOTE-END --- |
|
|
|
[I] Parma Polyhedra Library |
|
|
|
[T] The Parma Polyhedra Library (PPL) provides numerical abstractions |
|
[T] especially targeted at applications in the field of analysis and |
|
[T] verification of complex systems. |
|
|
|
[U] http://www.cs.unipr.it/ppl |
|
|
|
[A] Roberto Bagnara <http://www.cs.unipr.it/~bagnara> |
|
[M] The OpenSDE Community <list@opensde.org> |
|
|
|
[C] base/development |
|
|
|
[L] GPL |
|
[S] Stable |
|
[V] 1.1 |
|
[P] X 0--3-5---9 102.260 |
|
|
|
[D] 719414387 ppl-1.1.tar.bz2 ftp://ftp.cs.unipr.it/pub/ppl/releases/1.1/
|
|
|