kissat-devel-4.0.2-1.fc42 in Fedora Rawhide
↵ Return to the main page of kissat-devel
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2025-01-24 | Jerry James <loganjerry at gmail dot com> - 4.0.2-1 | - Version 4.0.2 |
| 2025-01-17 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.0.1-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild |
| 2025-01-14 | Jerry James <loganjerry at gmail dot com> - 4.0.1-2 | - Move configuration steps to %conf |
| 2024-09-13 | Jerry James <loganjerry at gmail dot com> - 4.0.1-1 | - Version 4.0.1 |
| 2024-08-07 | Jerry James <loganjerry at gmail dot com> - 4.0.0-1 | - Version 4.0.0 |
| 2024-07-18 | Fedora Release Engineering <releng at fedoraproject dot org> - 3.1.1-5 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild |
| 2024-03-14 | Jerry James <loganjerry at gmail dot com> - 3.1.1-4 | - Stop building for 32-bit x86 |
| 2024-01-25 | Fedora Release Engineering <releng at fedoraproject dot org> - 3.1.1-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 3.1.1-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2023-09-15 | Jerry James <loganjerry at gmail dot com> - 3.1.1-1 | - Version 3.1.1 |
Dependencies
- kissat-libs = 4.0.2-1.fc42
Provides
- kissat-devel
- kissat-devel(x86-64)
Files
- usr/
- include/
- kissat.h
- lib64/
- libkissat.so
- include/
Sources on Pagure