metamath-0.181-1.fc33 | Build Info

Information for build metamath-0.181-1.fc33

150447

Package Name

metamath

Version

0.181

Release

1.fc33

Epoch

Source

git+https://src.fedoraproject.org/rpms/metamath.git#29a507ca750c40b07e33557b55b4a9afadf5e6dc

Summary

Construct mathematics from basic axioms

Description

Metamath 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 by

davidlt

State

complete

Volume

DEFAULT

Started

Sat, 28 Mar 2020 03:23:20 UTC

Completed

Sat, 28 Mar 2020 04:42:42 UTC

Task

build (f33, /rpms/metamath.git:29a507ca750c40b07e33557b55b4a9afadf5e6dc)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/metamath.git#29a507ca750c40b07e33557b55b4a9afadf5e6dc'}}

Tags

f33

RPMs

src
	metamath-0.181-1.fc33.src.rpm (info) (download)
noarch
	metamath-doc-0.181-1.fc33.noarch.rpm (info) (download)
	metamath-theories-0.181-1.fc33.noarch.rpm (info) (download)
riscv64
	metamath-0.181-1.fc33.riscv64.rpm (info) (download)
	metamath-debuginfo-0.181-1.fc33.riscv64.rpm (info) (download)
	metamath-debugsource-0.181-1.fc33.riscv64.rpm (info) (download)

Logs

riscv64
	build.log
	hw_info.log
	mock_output.log
	noarch_rpmdiff.json
	root.log
	state.log

Changelog

* 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 * 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)

Main Site Links:

Information for build metamath-0.181-1.fc33