Tue, 07 May 2024 00:16:03 UTC | login

Information for build lfsc-0.20190808-1.fc31

ID129537
Package Namelfsc
Version0.20190808
Release1.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/lfsc.git#df78c43abab7c23d75589059b042a758aa7bd43a
SummarySMT proof checker
DescriptionThis package contains an SMT proof checker.
Built bydavidlt
State complete
Volume DEFAULT
StartedSat, 21 Sep 2019 00:03:39 UTC
CompletedSat, 21 Sep 2019 01:13:02 UTC
Taskbuild (f31-candidate, /rpms/lfsc.git:df78c43abab7c23d75589059b042a758aa7bd43a)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/lfsc.git#df78c43abab7c23d75589059b042a758aa7bd43a'}}
Tags
f31
f32
f33
RPMs
src
lfsc-0.20190808-1.fc31.src.rpm (info) (download)
riscv64
lfsc-0.20190808-1.fc31.riscv64.rpm (info) (download)
lfsc-devel-0.20190808-1.fc31.riscv64.rpm (info) (download)
lfsc-debuginfo-0.20190808-1.fc31.riscv64.rpm (info) (download)
lfsc-debugsource-0.20190808-1.fc31.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Mon Sep 09 2019 Jerry James <loganjerry@gmail.com> - 0.20190808-1 - Update to latest git snapshot * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.20190226-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Wed Jun 12 2019 Jerry James <loganjerry@gmail.com> - 0.20190226-1 - Update to latest git snapshot * Thu Feb 07 2019 Jerry James <loganjerry@gmail.com> - 0.20190113-1 - Update to latest git snapshot for identifier bug fix - Add -map patch to fix use of deprecated interface * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.20181122-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Mon Nov 26 2018 Jerry James <loganjerry@gmail.com> - 0.20181122-1 - Update to latest git snapshot for 2 bug fixes - Use upstream's new test suite * Wed Nov 07 2018 Jerry James <loganjerry@gmail.com> - 0.20181029-1 - Update to latest git snapshot * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.20180322-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Thu Jul 05 2018 Jerry James <loganjerry@gmail.com> - 0.20180322-1 - Initial RPM (unretired)