Thu, 12 Dec 2024 01:13:12 UTC | login

Information for build metamath-0.163-1.fc29

ID70493
Package Namemetamath
Version0.163
Release1.fc29
Epoch
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 complete
Volume DEFAULT
StartedMon, 13 Aug 2018 07:57:39 UTC
CompletedMon, 13 Aug 2018 10:19:48 UTC
Taskbuild (f29-candidate, metamath-0.163-1.fc29.src.rpm)
Tags
f29
RPMs
src
metamath-0.163-1.fc29.src.rpm (info) (download)
noarch
metamath-doc-0.163-1.fc29.noarch.rpm (info) (download)
metamath-theories-0.163-1.fc29.noarch.rpm (info) (download)
riscv64
metamath-0.163-1.fc29.riscv64.rpm (info) (download)
metamath-debuginfo-0.163-1.fc29.riscv64.rpm (info) (download)
metamath-debugsource-0.163-1.fc29.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Sat Aug 04 2018 Jerry James <loganjerry@gmail.com> - 0.163-1 - New upstream version (bz 1612479) * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.162-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Mon Jun 04 2018 Jerry James <loganjerry@gmail.com> - 0.162-1 - New upstream version (bz 1585859) * Tue Feb 06 2018 Jerry James <loganjerry@gmail.com> - 0.161-1 - New upstream version (bz 1541620) * Thu Jan 25 2018 Jerry James <loganjerry@gmail.com> - 0.160-1 - New upstream version (bz 1538606) * Thu Jan 18 2018 Jerry James <loganjerry@gmail.com> - 0.157-1 - New upstream version (bz 1536242) * Tue Dec 19 2017 Jerry James <loganjerry@gmail.com> - 0.156-1 - New upstream version (bz 1527497) * Mon Oct 23 2017 Jerry James <loganjerry@gmail.com> - 0.155-1 - New upstream version (bz 1504397) * Sat Sep 30 2017 Jerry James <loganjerry@gmail.com> - 0.152-1 - New upstream version (bz 1497491) * Tue Sep 26 2017 Jerry James <loganjerry@gmail.com> - 0.151-1 - New upstream version (bz 1495184) * Sat Sep 02 2017 Jerry James <loganjerry@gmail.com> - 0.150-1 - New upstream version (bz 1485749) * Wed Aug 23 2017 Jerry James <loganjerry@gmail.com> - 0.149-1 - New upstream version (bz 1484389) * Thu Aug 17 2017 Jerry James <loganjerry@gmail.com> - 0.148-1 - New upstream version (bz 1482724) * Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.146-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.146-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Mon Jul 03 2017 Jerry James <loganjerry@gmail.com> - 0.146-1 - New upstream version (bz 1467070) * Tue Jun 27 2017 Jerry James <loganjerry@gmail.com> - 0.145-1 - New upstream version (bz 1462574) * Tue May 16 2017 Jerry James <loganjerry@gmail.com> - 0.144-1 - New upstream version (bz 1450652) * Mon May 08 2017 Jerry James <loganjerry@gmail.com> - 0.141-1 - New upstream version (bz 1448745) * Tue Feb 14 2017 Jerry James <loganjerry@gmail.com> - 0.139-1 - New upstream version (bz 1406763) - Install all of the theories (bz 1422091) * Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.138-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Thu Dec 29 2016 Jerry James <loganjerry@gmail.com> - 0.138-1 - New upstream version (bz 1406763) * Mon Sep 19 2016 Jerry James <loganjerry@gmail.com> - 0.135-1 - New upstream version (bz 1377308) * Sat Aug 27 2016 Jerry James <loganjerry@gmail.com> - 0.134-1 - New upstream version (bz 1370745) * Fri Aug 19 2016 Jerry James <loganjerry@gmail.com> - 0.133-1 - New upstream version