yices-devel-2.7.0-8.fc45 in Fedora Rawhide
↵ Return to the main page of yices-devel
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2026-04-30 | Jerry James <loganjerry at gmail dot com> - 2.7.0-8 | - BR tex(epstopdf.sty) |
| 2026-04-30 | Jerry James <loganjerry at gmail dot com> - 2.7.0-7 | - Rebuild for cryptominisat 5.14.4 |
| 2026-02-20 | Jerry James <loganjerry at gmail dot com> - 2.7.0-6 | - Adapt to changes in TeXLive packaging |
| 2026-01-17 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.7.0-5 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild |
| 2026-01-14 | Jerry James <loganjerry at gmail dot com> - 2.7.0-4 | - Be more precise about globbing in %files |
| 2025-12-05 | Jerry James <loganjerry at gmail dot com> - 2.7.0-3 | - Rebuild for cadical 2.2.0 |
| 2025-07-25 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.7.0-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild |
| 2025-07-18 | Jerry James <loganjerry at gmail dot com> - 2.7.0-1 | - Version 2.7.0 |
| 2025-05-01 | Jerry James <loganjerry at gmail dot com> - 2.6.5-8 | - Rebuild for cryptominisat 5.13.0 |
| 2025-02-11 | Jerry James <loganjerry at gmail dot com> - 2.6.5-7 | - Rebuild for cryptominisat 5.12.1 |
Files
- usr/
- include/
- yices/
- yices.h
- yices_exit_codes.h
- yices_limits.h
- yices_types.h
- yices/
- lib64/
- libyices.so
- include/
Sources on Pagure