ppl-devel-1.2-3.1 RPM for riscv64

From OpenSuSE Ports Tumbleweed for riscv64

The header files, Autoconf macro, and ppl-config tool for developing
applications using the Parma Polyhedra Library through its C and C++
interfaces.

Provides

• ppl-devel
• ppl-devel(riscv-64)

Requires

• gmp-devel >= 4.1.3
• ld-linux-riscv64-lp64d.so.1()(64bit)
• ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.27)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.3.1)(64bit)
• libppl.so.14()(64bit)
• libppl14 = 1.2
• libppl_c4 = 1.2
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

GPL-3.0-or-later

Changelog

* Thu May 04 2023 Dominique Leuenberger <dimstar@opensuse.org>
  - Convert to real _multibuild package: the spec already handles
    flavor differences.
* Sat Oct 24 2020 Jan Engelhardt <jengelh@inai.de>
  - Disable lpsol and lcdd.
  - Drop old bundled changelog file
* Sun Sep 20 2020 Jan Engelhardt <jengelh@inai.de>
  - Remove useless keyring (outofdate key).
* Mon Aug 26 2019 Jan Engelhardt <jengelh@inai.de>
  - Disable static builds, disable baselibs (unused).
  - Enable glpk components.
* Tue Oct 11 2016 adam.majer@suse.de
  - Update to new upstream release 1.2
    * Improved the efficiency of the conversion procedure for
      polyhedra by adding a quick adjacency check.
    * In the Java language interface, throw an exception when trying
      to build a disequality Constraint.
    * Fixed a bug in the implementation of dense rows.
    * Fixed a bug in the implementation of ::relation_with
    * Portability improved.
  - soname bumped
* Sat Nov 14 2015 jengelh@inai.de
  - Update to new upstream release 1.1
    * Remove the Sparse_Matrix class and add a Matrix<Row> class
    instead.
    * Dense_Row: remove the capacity argument from the two-argument
    OK() method.
    * Matrix: add some methods: row_capacity(), reserve_rows(),
    remove_rows() and swap_columns().
    * Dense_Matrix: add non-const iterator and the remove_rows() and
    reserve_rows() methods.
    * Matrix: rename the row_capacity() method into capacity().
    * Remove the Dense_Matrix class, and use Matrix<Dense_Row> instead.
    * Constraint_System: replace the const_iterator class with an
    external Constraint_System_const_iterator class.
    * Generator_System: replace the const_iterator class with an
    external Generator_System_const_iterator class.
    * Split the Linear_System::With_Bit_Matrix_iterator class out of
    Linear_System and rename it to Linear_System_With_Bit_Matrix_iterator.
    * Many more API changes. See the git log summary lines for details,
    provided in /usr/share/doc/packages/GLS-0.12-1.1.
  - Drop ppl-gmp-5.1.0.patch (merged upstream)
* Mon Nov 02 2015 rpm@fthiessen.de
  - Fixed dependencies of devel package.
  - Cleaned spec file: Use so-name.
* Sun Sep 27 2015 mpluskal@suse.com
  - Update to 0.12.1
    * See NEWS file for complete list of changes
* Tue Aug 04 2015 mpluskal@suse.com
  - Update to 0.12
    * See NEWS file for complete list of changes
  - Cleanup spec file with spec-clener
  - Remove no longer needed dependency on gpg-offline
  - Refresh ppl-gmp-5.1.0.patch
  - Reduce duplicate files in documentation
* Wed Sep 04 2013 rguenther@suse.com
  - Disable -g when building the testsuite.

Files

/usr/bin/ppl-config
/usr/include/ppl.hh
/usr/include/ppl_c.h
/usr/lib64/libppl.so
/usr/lib64/libppl_c.so
/usr/share/aclocal
/usr/share/aclocal/ppl.m4
/usr/share/aclocal/ppl_c.m4
/usr/share/man/man1/ppl-config.1.gz
/usr/share/man/man3/libppl.3.gz
/usr/share/man/man3/libppl_c.3.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Apr 21 23:21:28 2024