Sat, 20 Apr 2024 07:16:53 UTC | login

Information for build metamath-0.188-1.fc33

ID186448
Package Namemetamath
Version0.188
Release1.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/metamath.git#eb60440def62931fd10f37e6b30221bd50a9d526
SummaryConstruct mathematics from basic axioms
DescriptionMetamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. Metamath lets you see mathematics developed in complete detail from first principles, with absolute rigor.
Built bydavidlt
State failed
Volume DEFAULT
StartedSat, 05 Sep 2020 15:13:37 UTC
CompletedSat, 05 Sep 2020 15:28:55 UTC
Taskbuild (f33, /rpms/metamath.git:eb60440def62931fd10f37e6b30221bd50a9d526)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/metamath.git#eb60440def62931fd10f37e6b30221bd50a9d526'}}
Tags No tags
RPMs No RPMs
Changelog * Mon Aug 24 2020 Jerry James <loganjerry@gmail.com> - 0.188-1 - Version 0.188 * Tue Aug 18 2020 Jerry James <loganjerry@gmail.com> - 0.187-1 - Version 0.187 * Sun Aug 09 2020 Jerry James <loganjerry@gmail.com> - 0.186-1 - Version 0.186 * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.184-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Wed Jul 22 2020 Jerry James <loganjerry@gmail.com> - 0.184-1 - Version 0.184 * Wed Jul 01 2020 Jerry James <loganjerry@gmail.com> - 0.183-1 - Version 0.183 * Mon Apr 13 2020 Jerry James <loganjerry@gmail.com> - 0.182-1 - Version 0.182 * Thu Feb 13 2020 Jerry James <loganjerry@gmail.com> - 0.181-1 - Version 0.181 * Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.180-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Tue Dec 10 2019 Jerry James <loganjerry@gmail.com> - 0.180-1 - Version 0.180 * Sat Nov 30 2019 Jerry James <loganjerry@gmail.com> - 0.179-1 - Version 0.179 * Tue Aug 13 2019 Jerry James <loganjerry@gmail.com> - 0.178-1 - New upstream version * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.177-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sun Apr 28 2019 Jerry James <loganjerry@gmail.com> - 0.177-1 - New upstream version * Tue Mar 26 2019 Jerry James <loganjerry@gmail.com> - 0.176-1 - New upstream version * Sat Mar 09 2019 Jerry James <loganjerry@gmail.com> - 0.175-1 - New upstream version * Sat Feb 23 2019 Jerry James <loganjerry@gmail.com> - 0.174-1 - New upstream version * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.172-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 0.172-1 - New upstream version * Wed Jan 02 2019 Jerry James <loganjerry@gmail.com> - 0.171-1 - New upstream version * Tue Dec 11 2018 Jerry James <loganjerry@gmail.com> - 0.168-1 - New upstream version * Mon Nov 19 2018 Jerry James <loganjerry@gmail.com> - 0.167-1 - New upstream version * Sat Nov 10 2018 Jerry James <loganjerry@gmail.com> - 0.166-1 - New upstream version * Mon Oct 29 2018 Jerry James <loganjerry@gmail.com> - 0.165-1 - New upstream version * Sat Sep 22 2018 Jerry James <loganjerry@gmail.com> - 0.164-1 - New upstream version