lfsc-0.20230914-5.fc45
completeDescription
This package contains an SMT proof checker.
RPMs
5 files, 2 archessrc
riscv64
Logs
riscv64
Changelog
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.20230914-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.20230914-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Jan 17 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.20230914-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.20230914-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 0.20230914-1 - Update to 20230914 git snapshot - Drop upstreamed stdint patch * Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.20230523-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.20230523-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild