[COPY] --- T2-COPYRIGHT-NOTE-BEGIN --- [COPY] T2 SDE: package/*/ppl/ppl.desc [COPY] Copyright (C) 2009 - 2023 The T2 SDE Project [COPY] [COPY] This Copyright note is generated by scripts/Create-CopyPatch, [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 version 2. [COPY] --- T2-COPYRIGHT-NOTE-END --- [I] Parma Polyhedra Library [T] The Parma Polyhedra Library (PPL) provides numerical [T] abstractions especially targeted at applications in [T] the field of analysis and verification of complex systems. [U] https://bugseng.com/products/ppl/ [A] Roberto Bagnara [M] The T2 Project [C] base/development [F] NO-LTO.gcc [L] GPL [S] Stable [V] 1.2 [P] X 0----5---9 102.290 [CV-URL] http://bugseng.com/products/ppl/download [D] 1aef8db1cf2774bdbedc751cf9f9c6199e802682515895f8005ebd9e ppl-1.2.tar.xz http://bugseng.com/products/ppl/download/ftp/releases/1.2/