From 7822d283939e8935e5bb9d26b733eecafa82a4b1 Mon Sep 17 00:00:00 2001 From: Christian Wiese Date: Fri, 27 Nov 2009 10:48:52 +0100 Subject: [PATCH] ppl: Added ppl 0.10.2 - Parma Polyhedra Library --- develop/ppl/ppl.desc | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 develop/ppl/ppl.desc diff --git a/develop/ppl/ppl.desc b/develop/ppl/ppl.desc new file mode 100644 index 000000000..4ae967b37 --- /dev/null +++ b/develop/ppl/ppl.desc @@ -0,0 +1,33 @@ +[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 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 +[M] The OpenSDE Community + +[C] base/development + +[L] GPL +[S] Stable +[V] 0.10.2 +[P] X 01---5---9 102.260 + +[D] 793246000 ppl-0.10.2.tar.bz2 http://www.cs.unipr.it/ppl/Download/ftp/releases/0.10.2/