ID | 39747 |
Package Name | python-pysmt |
Links |
Fedora Package Sources |
Fedora Official Koji Buildsystem |
Rocks RISC-V Koji Buildsystem |
Fedora RISC-V GitHub |
Old Koji Buildsystem
|
Version | 0.9.5 |
Release | 5.fc40 |
Epoch | |
Draft | False |
Source | git+https://src.fedoraproject.org/rpms/python-pysmt.git#d24be09e2e4bdcd2bd41088e758b4eb4581c138e |
Summary |
Description |
Built by | kojiadmin |
State |
complete
|
Volume |
DEFAULT |
Started | Sat, 04 May 2024 17:18:15 CST |
Completed | Sat, 04 May 2024 17:30:09 CST |
Task | build (f40, /rpms/python-pysmt.git:d24be09e2e4bdcd2bd41088e758b4eb4581c138e) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/python-pysmt.git#d24be09e2e4bdcd2bd41088e758b4eb4581c138e'}} |
Tags |
|
RPMs |
|
Logs |
|
Changelog |
* Fri Jan 26 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.5-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.5-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.5-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jun 13 2023 Python Maint <python-maint@redhat.com> - 0.9.5-2
- Rebuilt for Python 3.12
* Sat Feb 11 2023 Fabian Affolter <mail@fabian-affolter.ch> - 0.9.5-1
- Update to latest upstream release 0.9.5 (closes rhbz#2157764)
* Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 0.9.0-6
- Rebuilt for Python 3.11
|