metamath-0.198-12.fc45 | Build Info

Information for build metamath-0.198-12.fc45

7352

Package Name

metamath

Version

0.198

Release

12.fc45

Epoch

Draft

False

Source

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

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.

VCS

site:https://github.com/metamath/metamath-exe.git

Built by

guoguo

State

complete

Volume

DEFAULT

Started

Thu, 15 Oct 2026 03:46:25 UTC

Completed

Thu, 15 Oct 2026 04:28:25 UTC

Task

build (f45, /rpms/metamath.git:f4fa0818fdadb18edc9465c6f303c1277d7b9f4f)

Extra

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

Tags

f45

RPMs

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

Logs

riscv64
	mock_config.log
	state.log
	build.log
	root.log
	dnf5.log
	noarch_rpmdiff.json
	mock_output.log
	hw_info.log
	installed_pkgs.log

Changelog

* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Jan 17 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild

Main Site Links:

Information for build metamath-0.198-12.fc45