ID 55800
Package Name libpoly
Links
Fedora Package Sources |
Fedora Official Koji Buildsystem |
Rocks RISC-V Koji Buildsystem |
Fedora RISC-V GitHub |
Old Koji Buildsystem
Version 0.1.13
Release 7.fc41
Epoch
Draft False
Source git+https://src.fedoraproject.org/rpms/libpoly.git#ebb986f91eaa3571f0f5009b29a3a283a9c9062c
Summary
Description
VCS https://github.com/SRI-CSL/libpoly
Built by kojiadmin
State
complete
Volume
DEFAULT
Started Tue, 11 Jun 2024 09:47:21 CST
Completed Tue, 11 Jun 2024 10:08:40 CST
Task build (f41, /rpms/libpoly.git:ebb986f91eaa3571f0f5009b29a3a283a9c9062c)
Extra {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/libpoly.git#ebb986f91eaa3571f0f5009b29a3a283a9c9062c'}}
Tags
RPMs
src
libpoly-0.1.13-7.fc41.src.rpm (info ) (download )
riscv64
libpoly-0.1.13-7.fc41.riscv64.rpm (info ) (download )
libpoly-devel-0.1.13-7.fc41.riscv64.rpm (info ) (download )
python3-libpoly-0.1.13-7.fc41.riscv64.rpm (info ) (download )
libpoly-debuginfo-0.1.13-7.fc41.riscv64.rpm (info ) (download )
libpoly-debugsource-0.1.13-7.fc41.riscv64.rpm (info ) (download )
python3-libpoly-debuginfo-0.1.13-7.fc41.riscv64.rpm (info ) (download )
Logs
Changelog
* Mon Jun 10 2024 Python Maint <python-maint@redhat.com> - 0.1.13-7
- Rebuilt for Python 3.13
* Thu Mar 21 2024 Jerry James <loganjerry@gmail.com> - 0.1.13-6
- Stop building for 32-bit x86
* Thu Jan 25 2024 Jerry James <loganjerry@gmail.com> - 0.1.13-3
- Add patch to fix incompatible pointer type
* Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.13-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.13-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Aug 01 2023 Jerry James <loganjerry@gmail.com> - 0.1.13-1
- Version 0.1.13
* Sat Jul 29 2023 Jerry James <loganjerry@gmail.com> - 0.1.12-1
- Version 0.1.12
- Drop upstreamed patches
* Fri Jul 28 2023 Jerry James <loganjerry@gmail.com> - 0.1.11-8
- Add post-release bug fixes needed by cvc5
* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.11-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Fri Jun 30 2023 Python Maint <python-maint@redhat.com> - 0.1.11-6
- Rebuilt for Python 3.12
* Mon Feb 27 2023 Jerry James <loganjerry@gmail.com> - 0.1.11-5
- Dynamically generate python BuildRequires
- Install python dist-info
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.11-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Nov 28 2022 Jerry James <loganjerry@gmail.com> - 0.1.11-4
- Convert License tag to SPDX
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.11-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Fri Jun 17 2022 Python Maint <python-maint@redhat.com> - 0.1.11-3
- Rebuilt for Python 3.11