ID 302375
Package Name kissat
Version 3.1.1
Release 4.fc40
Epoch
Source git+https://src.fedoraproject.org/rpms/kissat.git#4059acbd011d9f79ea3a0261a2f30f6da9b1c069
Summary
Description
VCS https://github.com/arminbiere/kissat
Built by davidlt
State
complete
Volume
DEFAULT
Started Wed, 27 Mar 2024 11:22:38 UTC
Completed Wed, 27 Mar 2024 11:44:29 UTC
Task build (f40, /rpms/kissat.git:4059acbd011d9f79ea3a0261a2f30f6da9b1c069)
Extra {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/kissat.git#4059acbd011d9f79ea3a0261a2f30f6da9b1c069'}}
Tags
RPMs
Logs
Changelog
* Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 3.1.1-4
- Stop building for 32-bit x86
* Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.1-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Sep 15 2023 Jerry James <loganjerry@gmail.com> - 3.1.1-1
- Version 3.1.1
* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 3.1.0-1
- Version 3.1.0
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 3.0.0-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 3.0.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Wed Jul 06 2022 Jerry James <loganjerry@gmail.com> - 3.0.0-1
- Version 3.0.0