cbmc-utils-6.8.0-1.fc44 in Fedora Rawhide
↵ Return to the main page of cbmc-utils
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2025-12-05 | Lukáš Zaoral <lzaoral at redhat dot com> - 6.8.0-1 | - rebase to the latest upstream release (rhbz#2412627) |
| 2025-07-23 | Fedora Release Engineering <releng at fedoraproject dot org> - 6.7.1-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild |
| 2025-07-11 | Lukáš Zaoral <lzaoral at redhat dot com> - 6.7.1-1 | - rebase to the latest upstream release (rhbz#2379159) |
| 2025-07-08 | Lukáš Zaoral <lzaoral at redhat dot com> - 6.7.0-1 | - rebase to the latest upstream release (rhbz#2374934) |
| 2025-05-05 | Lukáš Zaoral <lzaoral at redhat dot com> - 6.6.0-1 | - rebase to the latest upstream release (rhbz#2362802) |
| 2025-04-23 | Lukáš Zaoral <lzaoral at redhat dot com> - 6.5.0-1 | - rebase to the latest upstream release (rhbz#2352414) |
| 2025-01-16 | Fedora Release Engineering <releng at fedoraproject dot org> - 6.4.1-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild |
| 2024-11-29 | Lukáš Zaoral <lzaoral at redhat dot com> - 6.4.1-1 | - rebase to latest upstream version (rhbz#2292926) |
| 2024-07-17 | Fedora Release Engineering <releng at fedoraproject dot org> - 5.95.1-5 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild |
| 2024-02-09 | Lukáš Zaoral <lzaoral at redhat dot com> - 5.95.1-4 | - fix FTBFS on Rawhide (rhbz#2259235) |
Provides
- cbmc-utils
- cbmc-utils(x86-64)
Files
- usr/
- bin/
- cbmc-convert-output
- csexec-cbmc
- share/
- licenses/
- cbmc-utils/
- LICENSE
- cbmc-utils/
- licenses/
- bin/
Sources on Pagure