[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Fedora 10 Update: ppl-0.10.2-6.fc10



--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2009-9929
2009-09-25 19:42:16
--------------------------------------------------------------------------------

Name        : ppl
Product     : Fedora 10
Version     : 0.10.2
Release     : 6.fc10
URL         : http://www.cs.unipr.it/ppl/
Summary     : The Parma Polyhedra Library: a library of numerical abstractions
Description :
The Parma Polyhedra Library (PPL) is a library for the manipulation of
(not necessarily closed) convex polyhedra and other numerical
abstractions.  The applications of convex polyhedra include program
analysis, optimized compilation, integer and combinatorial
optimization and statistical data-editing.  The Parma Polyhedra
Library comes with several user friendly interfaces, is fully dynamic
(available virtual memory is the only limitation to the dimension of
anything), written in accordance to all the applicable standards,
exception-safe, rather efficient, thoroughly documented, and free
software.  This package provides all what is necessary to run
applications using the PPL through its C and C++ interfaces.

--------------------------------------------------------------------------------
Update Information:

Fix broken dependencies.
--------------------------------------------------------------------------------
ChangeLog:

* Wed Sep  9 2009 Roberto Bagnara <bagnara cs unipr it> 0.10.2-6
- Force rebuild.
* Fri Aug 21 2009 Roberto Bagnara <bagnara cs unipr it> 0.10.2-5
- Force rebuild.
* Tue Aug 18 2009 Roberto Bagnara <bagnara cs unipr it> 0.10.2-4
- Force rebuild.
* Fri Jun 19 2009 Roberto Bagnara <bagnara cs unipr it> 0.10.2-3
- The `gprolog' and `yap' packages are not available on the sparc64 and
  sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and
  `ppl-yap'.
* Sat Apr 18 2009 Roberto Bagnara <bagnara cs unipr it> 0.10.2-2
- Force rebuild.
* Sat Apr 18 2009 Roberto Bagnara <bagnara cs unipr it> 0.10.2-1
- Updated for PPL 0.10.2.
* Tue Apr 14 2009 Roberto Bagnara <bagnara cs unipr it> 0.10.1-1
- Updated for PPL 0.10.1.
* Sun Mar 29 2009 Roberto Bagnara <bagnara cs unipr it> 0.10-11
- Moved changelogs and PostScript and PDF versions of the GPL to the
  `docs' subpackages. This saves considerable space on the live media.
* Tue Mar 24 2009 Roberto Bagnara <bagnara cs unipr it> 0.10-10
- There are no GNU Prolog packages available on ia64: disable the GNU Prolog
  interface also on those platforms (besides ppc64, s390 and s390x).
* Thu Feb 26 2009 Fedora Release Engineering <rel-eng lists fedoraproject org> - 0.10-9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild.
* Wed Feb 18 2009 Roberto Bagnara <bagnara cs unipr it> 0.10-8
- Install the documentation according to the Fedora packaging conventions.
* Tue Feb 17 2009 Karsten Hopp <karsten redhat comt> 0.10-7
- There are no GNU Prolog packages available on s390 and s390x: disable
  the GNU Prolog interface also on those platforms (besides ppc64).
* Wed Feb  4 2009 Roberto Bagnara <bagnara cs unipr it> 0.10-6
- Better workaround for the bug affecting PPL 0.10 on big-endian
  architectures.
* Tue Feb  3 2009 Roberto Bagnara <bagnara cs unipr it> 0.10-5
- Work around the bug affecting PPL 0.10 on big-endian architectures.
* Fri Dec  5 2008 Roberto Bagnara <bagnara cs unipr it> 0.10-4
- Added `%dir %{_datadir}/doc/pwl' to the `%files' section
  of the `ppl-pwl' package.
* Tue Nov  4 2008 Roberto Bagnara <bagnara cs unipr it> 0.10-3
- Fixed the requirements of the `ppl-java' package.
* Tue Nov  4 2008 Roberto Bagnara <bagnara cs unipr it> 0.10-2
- Added m4 >= 1.4.8 to build requirements.
* Tue Nov  4 2008 Roberto Bagnara <bagnara cs unipr it> 0.10-1
- Updated and extended for PPL 0.10.  In particular, the `ppl-config'
  program, being useful also for non-development activities, has been
  brought back to the main package.
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update ppl' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
http://fedoraproject.org/keys
--------------------------------------------------------------------------------


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]