Fri, 22 Oct 2021 07:49:06 UTC

Information for build lfsc-0.20190226-1.fc30

ID1286871
Package Namelfsc
Version0.20190226
Release1.fc30
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/lfsc.git#0a96d94af6457f691f6525fdf021da4c54ff75ef
SummarySMT proof checker
DescriptionThis package contains an SMT proof checker.
Built byjjames
State complete
Volume fedora_koji_archive04
StartedThu, 13 Jun 2019 02:30:36 UTC
CompletedThu, 13 Jun 2019 02:34:49 UTC
Taskbuild (f30-candidate, /rpms/lfsc.git:0a96d94af6457f691f6525fdf021da4c54ff75ef)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/lfsc.git#0a96d94af6457f691f6525fdf021da4c54ff75ef'}}
Tags
f30-updates
RPMs
src
lfsc-0.20190226-1.fc30.src.rpm (info) (download)
aarch64
lfsc-0.20190226-1.fc30.aarch64.rpm (info) (download)
lfsc-devel-0.20190226-1.fc30.aarch64.rpm (info) (download)
lfsc-debuginfo-0.20190226-1.fc30.aarch64.rpm (info) (download)
lfsc-debugsource-0.20190226-1.fc30.aarch64.rpm (info) (download)
armv7hl
lfsc-0.20190226-1.fc30.armv7hl.rpm (info) (download)
lfsc-devel-0.20190226-1.fc30.armv7hl.rpm (info) (download)
lfsc-debuginfo-0.20190226-1.fc30.armv7hl.rpm (info) (download)
lfsc-debugsource-0.20190226-1.fc30.armv7hl.rpm (info) (download)
i686
lfsc-0.20190226-1.fc30.i686.rpm (info) (download)
lfsc-devel-0.20190226-1.fc30.i686.rpm (info) (download)
lfsc-debuginfo-0.20190226-1.fc30.i686.rpm (info) (download)
lfsc-debugsource-0.20190226-1.fc30.i686.rpm (info) (download)
ppc64le
lfsc-0.20190226-1.fc30.ppc64le.rpm (info) (download)
lfsc-devel-0.20190226-1.fc30.ppc64le.rpm (info) (download)
lfsc-debuginfo-0.20190226-1.fc30.ppc64le.rpm (info) (download)
lfsc-debugsource-0.20190226-1.fc30.ppc64le.rpm (info) (download)
s390x
lfsc-0.20190226-1.fc30.s390x.rpm (info) (download)
lfsc-devel-0.20190226-1.fc30.s390x.rpm (info) (download)
lfsc-debuginfo-0.20190226-1.fc30.s390x.rpm (info) (download)
lfsc-debugsource-0.20190226-1.fc30.s390x.rpm (info) (download)
x86_64
lfsc-0.20190226-1.fc30.x86_64.rpm (info) (download)
lfsc-devel-0.20190226-1.fc30.x86_64.rpm (info) (download)
lfsc-debuginfo-0.20190226-1.fc30.x86_64.rpm (info) (download)
lfsc-debugsource-0.20190226-1.fc30.x86_64.rpm (info) (download)
Logs
x86_64
build.log
root.log
state.log
hw_info.log
mock_output.log
ppc64le
state.log
hw_info.log
build.log
root.log
mock_output.log
aarch64
hw_info.log
root.log
state.log
build.log
mock_output.log
i686
hw_info.log
build.log
state.log
root.log
mock_output.log
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
armv7hl
hw_info.log
build.log
root.log
state.log
mock_output.log
Changelog * 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)