Sat, 20 Apr 2024 15:55:28 UTC | login

Information for build lfsc-0.20200815-1.fc33

ID186357
Package Namelfsc
Version0.20200815
Release1.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/lfsc.git#03037272affd1f807d5141ad85218f8e101644f4
SummarySMT proof checker
DescriptionThis package contains an SMT proof checker.
Built bydavidlt
State failed
Volume DEFAULT
StartedFri, 07 May 2021 16:35:37 UTC
CompletedFri, 07 May 2021 17:02:07 UTC
Taskbuild (f33, /rpms/lfsc.git:03037272affd1f807d5141ad85218f8e101644f4)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/lfsc.git#03037272affd1f807d5141ad85218f8e101644f4'}}
Tags No tags
RPMs No RPMs
Changelog * Mon Aug 24 2020 Jerry James <loganjerry@gmail.com> - 0.20200815-1 - Update to 20200815 git snapshot * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.20200719-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Sat Jul 25 2020 Jerry James <loganjerry@gmail.com> - 0.20200719-1 - Update to 20200719 git snapshot - Adapt to cmake changes in Rawhide * Thu Mar 05 2020 Jerry James <loganjerry@gmail.com> - 0.20200115-1 - Update to latest git snapshot - Link the library with gmp - Generate a man page for the binary with help2man * Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.20190808-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * 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