Mon, 23 Sep 2019 11:43:59 UTC

Information for build metamath-0.178-1.fc29

ID1354269
Package Namemetamath
Version0.178
Release1.fc29
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/metamath.git#fb9ffacba97b9365f1fc100ac0d0afa7a6afc44d
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 byjjames
State complete
Volume DEFAULT
StartedTue, 13 Aug 2019 15:31:23 UTC
CompletedTue, 13 Aug 2019 15:39:29 UTC
Taskbuild (f29-candidate, /rpms/metamath.git:fb9ffacba97b9365f1fc100ac0d0afa7a6afc44d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/metamath.git#fb9ffacba97b9365f1fc100ac0d0afa7a6afc44d'}}
Tags
f29-updates
RPMs
src
metamath-0.178-1.fc29.src.rpm (info) (download)
aarch64
metamath-0.178-1.fc29.aarch64.rpm (info) (download)
metamath-debuginfo-0.178-1.fc29.aarch64.rpm (info) (download)
metamath-debugsource-0.178-1.fc29.aarch64.rpm (info) (download)
armv7hl
metamath-0.178-1.fc29.armv7hl.rpm (info) (download)
metamath-debuginfo-0.178-1.fc29.armv7hl.rpm (info) (download)
metamath-debugsource-0.178-1.fc29.armv7hl.rpm (info) (download)
i686
metamath-0.178-1.fc29.i686.rpm (info) (download)
metamath-debuginfo-0.178-1.fc29.i686.rpm (info) (download)
metamath-debugsource-0.178-1.fc29.i686.rpm (info) (download)
noarch
metamath-doc-0.178-1.fc29.noarch.rpm (info) (download)
metamath-theories-0.178-1.fc29.noarch.rpm (info) (download)
ppc64le
metamath-0.178-1.fc29.ppc64le.rpm (info) (download)
metamath-debuginfo-0.178-1.fc29.ppc64le.rpm (info) (download)
metamath-debugsource-0.178-1.fc29.ppc64le.rpm (info) (download)
s390x
metamath-0.178-1.fc29.s390x.rpm (info) (download)
metamath-debuginfo-0.178-1.fc29.s390x.rpm (info) (download)
metamath-debugsource-0.178-1.fc29.s390x.rpm (info) (download)
x86_64
metamath-0.178-1.fc29.x86_64.rpm (info) (download)
metamath-debuginfo-0.178-1.fc29.x86_64.rpm (info) (download)
metamath-debugsource-0.178-1.fc29.x86_64.rpm (info) (download)
Logs
x86_64
build.log
root.log
state.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
ppc64le
state.log
root.log
build.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
aarch64
build.log
root.log
hw_info.log
state.log
mock_output.log
noarch_rpmdiff.json
i686
build.log
root.log
state.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
armv7hl
hw_info.log
root.log
build.log
state.log
mock_output.log
noarch_rpmdiff.json
Changelog * 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 * 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)