Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

libpoly-devel-0.1.13-6.fc40 RPM for ppc64le

From Fedora 40 for ppc64le / l

Name: libpoly-devel Distribution: Fedora Project
Version: 0.1.13 Vendor: Fedora Project
Release: 6.fc40 Build date: Thu Mar 21 21:15:59 2024
Group: Unspecified Build host: buildvm-ppc64le-12.iad2.fedoraproject.org
Size: 202750 Source RPM: libpoly-0.1.13-6.fc40.src.rpm
Packager: Fedora Project
Url: https://sri-csl.github.io/libpoly/
Summary: Development files for libpoly
The libpoly-devel package contains libraries and header files for
developing applications that use libpoly.

Provides

Requires

License

LGPL-3.0-or-later

Changelog

* Thu Mar 21 2024 Jerry James <[email protected]> - 0.1.13-6
  - Stop building for 32-bit x86
* Thu Jan 25 2024 Jerry James <[email protected]> - 0.1.13-3
  - Add patch to fix incompatible pointer type
* Thu Jan 25 2024 Fedora Release Engineering <[email protected]> - 0.1.13-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sun Jan 21 2024 Fedora Release Engineering <[email protected]> - 0.1.13-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Aug 01 2023 Jerry James <[email protected]> - 0.1.13-1
  - Version 0.1.13
* Sat Jul 29 2023 Jerry James <[email protected]> - 0.1.12-1
  - Version 0.1.12
  - Drop upstreamed patches
* Fri Jul 28 2023 Jerry James <[email protected]> - 0.1.11-8
  - Add post-release bug fixes needed by cvc5
* Thu Jul 20 2023 Fedora Release Engineering <[email protected]> - 0.1.11-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Fri Jun 30 2023 Python Maint <[email protected]> - 0.1.11-6
  - Rebuilt for Python 3.12
* Mon Feb 27 2023 Jerry James <[email protected]> - 0.1.11-5
  - Dynamically generate python BuildRequires
  - Install python dist-info
* Thu Jan 19 2023 Fedora Release Engineering <[email protected]> - 0.1.11-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Nov 28 2022 Jerry James <[email protected]> - 0.1.11-4
  - Convert License tag to SPDX
* Thu Jul 21 2022 Fedora Release Engineering <[email protected]> - 0.1.11-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Fri Jun 17 2022 Python Maint <[email protected]> - 0.1.11-3
  - Rebuilt for Python 3.11

Files

/usr/include/poly
/usr/include/poly/algebraic_number.h
/usr/include/poly/assignment.h
/usr/include/poly/dyadic_interval.h
/usr/include/poly/dyadic_rational.h
/usr/include/poly/feasibility_set.h
/usr/include/poly/integer.h
/usr/include/poly/interval.h
/usr/include/poly/monomial.h
/usr/include/poly/output_language.h
/usr/include/poly/poly.h
/usr/include/poly/polynomial.h
/usr/include/poly/polynomial_context.h
/usr/include/poly/polynomial_hash_set.h
/usr/include/poly/polynomial_vector.h
/usr/include/poly/polyxx
/usr/include/poly/polyxx.h
/usr/include/poly/polyxx/algebraic_number.h
/usr/include/poly/polyxx/assignment.h
/usr/include/poly/polyxx/context.h
/usr/include/poly/polyxx/dyadic_interval.h
/usr/include/poly/polyxx/dyadic_rational.h
/usr/include/poly/polyxx/integer.h
/usr/include/poly/polyxx/integer_ring.h
/usr/include/poly/polyxx/interval.h
/usr/include/poly/polyxx/interval_assignment.h
/usr/include/poly/polyxx/polynomial.h
/usr/include/poly/polyxx/polynomial_utils.h
/usr/include/poly/polyxx/rational.h
/usr/include/poly/polyxx/rational_interval.h
/usr/include/poly/polyxx/sign_condition.h
/usr/include/poly/polyxx/upolynomial.h
/usr/include/poly/polyxx/utils.h
/usr/include/poly/polyxx/value.h
/usr/include/poly/polyxx/variable.h
/usr/include/poly/rational.h
/usr/include/poly/rational_interval.h
/usr/include/poly/sign_condition.h
/usr/include/poly/upolynomial.h
/usr/include/poly/upolynomial_factors.h
/usr/include/poly/value.h
/usr/include/poly/variable_db.h
/usr/include/poly/variable_list.h
/usr/include/poly/variable_order.h
/usr/include/poly/version.h
/usr/lib64/libpoly.so
/usr/lib64/libpolyxx.so


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 23:56:58 2024