fedora

Information for build metamath-0.198-9.fc42

ID8955
Package Namemetamath
Version0.198
Release9.fc42
Epoch
DraftFalse
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.
site:https://github.com/metamath/metamath-exe.git
Built bydavidlt
State complete
Volume DEFAULT
StartedMon, 09 Jun 2025 16:32:00 UTC
CompletedMon, 09 Jun 2025 16:32:00 UTC
Tags
f42
RPMs
src
metamath-0.198-9.fc42.src.rpm (info) (download)
noarch
metamath-doc-0.198-9.fc42.noarch.rpm (info) (download)
metamath-theories-0.198-9.fc42.noarch.rpm (info) (download)
riscv64
metamath-0.198-9.fc42.riscv64.rpm (info) (download)
metamath-debuginfo-0.198-9.fc42.riscv64.rpm (info) (download)
metamath-debugsource-0.198-9.fc42.riscv64.rpm (info) (download)
Changelog * 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 * Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 0.198-5 - Stop building for 32-bit x86 * Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild