metamath-0.198-3.fc37 | Build Info

Information for build metamath-0.198-3.fc37

217684

Package Name

metamath

Version

0.198

Release

3.fc37

Epoch

Source

git+https://src.fedoraproject.org/rpms/metamath.git#9ea30c25d7179929836557ccd002cf3344a1dfbc

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

Mon, 07 Nov 2022 11:25:30 UTC

Completed

Mon, 07 Nov 2022 14:12:34 UTC

Task

build (f37, /rpms/metamath.git:9ea30c25d7179929836557ccd002cf3344a1dfbc)

Extra

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

Tags

f37

f38

RPMs

src
	metamath-0.198-3.fc37.src.rpm (info) (download)
noarch
	metamath-doc-0.198-3.fc37.noarch.rpm (info) (download)
	metamath-theories-0.198-3.fc37.noarch.rpm (info) (download)
riscv64
	metamath-0.198-3.fc37.riscv64.rpm (info) (download)
	metamath-debuginfo-0.198-3.fc37.riscv64.rpm (info) (download)
	metamath-debugsource-0.198-3.fc37.riscv64.rpm (info) (download)

Logs

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

Changelog

* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Mon Jul 18 2022 Jerry James <loganjerry@gmail.com> - 0.198-2 - Add %check script * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Sun Aug 08 2021 Jerry James <loganjerry@gmail.com> - 0.198-1 - Version 0.198 * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.196-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.196-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Tue Jan 05 2021 Jerry James <loganjerry@gmail.com> - 0.196-1 - Version 0.196 * Mon Dec 28 2020 Jerry James <loganjerry@gmail.com> - 0.194-1 - Version 0.194 * Thu Sep 17 2020 Jerry James <loganjerry@gmail.com> - 0.193-1 - Version 0.193 * Mon Sep 07 2020 Jerry James <loganjerry@gmail.com> - 0.192-1 - Version 0.192 * 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

Main Site Links:

Information for build metamath-0.198-3.fc37