Tue, 18 Feb 2025 19:30:48 UTC | login

Information for build metamath-0.198-4.fc38

ID239860
Package Namemetamath
Version0.198
Release4.fc38
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/metamath.git#f3562ec45c01d43017bcb6f2937d59dda102ad55
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 bydavidlt
State complete
Volume DEFAULT
StartedTue, 14 Mar 2023 17:00:36 UTC
CompletedTue, 14 Mar 2023 18:21:06 UTC
Taskbuild (f38, /rpms/metamath.git:f3562ec45c01d43017bcb6f2937d59dda102ad55)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/metamath.git#f3562ec45c01d43017bcb6f2937d59dda102ad55'}}
Tags
f38
f39
f40
RPMs
src
metamath-0.198-4.fc38.src.rpm (info) (download)
noarch
metamath-doc-0.198-4.fc38.noarch.rpm (info) (download)
metamath-theories-0.198-4.fc38.noarch.rpm (info) (download)
riscv64
metamath-0.198-4.fc38.riscv64.rpm (info) (download)
metamath-debuginfo-0.198-4.fc38.riscv64.rpm (info) (download)
metamath-debugsource-0.198-4.fc38.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.198-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Mon Nov 28 2022 Jerry James <loganjerry@gmail.com> - 0.198-3 - Convert License tags to SPDX * 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