Wed, 04 Nov 2026 11:21:24 UTC Log in
SMT proof checker built by guoguo completed Thu, 29 Oct 2026 12:36:39 UTC

Description

This package contains an SMT proof checker.

RPMs

5 files, 2 arches
src
riscv64
  • lfsc-0.20230914-5.fc45.riscv64.rpm 176.06 KB info · download
  • lfsc-devel-0.20230914-5.fc45.riscv64.rpm 8.15 KB info · download
  • lfsc-debuginfo-0.20230914-5.fc45.riscv64.rpm 1.56 MB info · download
  • lfsc-debugsource-0.20230914-5.fc45.riscv64.rpm 57.10 KB info · download

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