Sat, 18 May 2024 15:48:15 UTC | login

Information for build lfsc-0.20181122-1.fc30

ID78857
Package Namelfsc
Version0.20181122
Release1.fc30
Epoch
SummarySMT proof checker
DescriptionThis package contains an SMT proof checker.
Built bydavidlt
State complete
Volume DEFAULT
StartedSun, 02 Dec 2018 14:54:33 UTC
CompletedSun, 02 Dec 2018 15:11:43 UTC
Taskbuild (f30-candidate, lfsc-0.20181122-1.fc30.src.rpm)
Tags
f30
f31
RPMs
src
lfsc-0.20181122-1.fc30.src.rpm (info) (download)
riscv64
lfsc-0.20181122-1.fc30.riscv64.rpm (info) (download)
lfsc-devel-0.20181122-1.fc30.riscv64.rpm (info) (download)
lfsc-debuginfo-0.20181122-1.fc30.riscv64.rpm (info) (download)
lfsc-debugsource-0.20181122-1.fc30.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * 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)