Your message dated Thu, 17 Jul 2008 01:02:23 +0200
with message-id <[EMAIL PROTECTED]>
and subject line Closed by version that never made it into the archive
has caused the Debian Bug report #409786,
regarding ITP: ppl -- A modern C++ library providing numerical abstractions
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [EMAIL PROTECTED]
immediately.)
--
409786: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=409786
Debian Bug Tracking System
Contact [EMAIL PROTECTED] with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
* Package name : ppl
Version : 0.9
Upstream Author : Roberto Bagnara <bagnara at cs.unipr.it>
* URL : http://www.cs.unipr.it/ppl
* License : GPL
Description : A modern C++ library providing numerical abstractions
The Parma Polyhedra Library (PPL) is a modern C++ library providing
numerical abstractions especially targeted at applications in the field
of analysis and verification of complex systems. The PPL can handle all
the convex polyhedra that can be defined as the intersection of a finite
number of (open or closed) hyperspaces, each described by an equality or
inequality (strict or non-strict) with rational coefficients. The PPL
also handles restricted classes of polyhedra that offer interesting
complexity/precision tradeoffs. The library also supports finite
powersets of (any kind of) polyhedra and linear programming problems
solved with an exact-arithmetic version of the simplex algorithm.
Additional infos:
The Parma Polyhedra Library development team already provides a .deb
package for sarge
that they are, of course, willing to improve as required.
--- End Message ---
--- Begin Message ---
Version: 0.9-2
The closes message was part of 0.9-1, which never really made it to the archive.
pgpRGZLXuWwBU.pgp
Description: PGP signature
--- End Message ---
