metamath-doc-0.198-10.fc43 in Fedora 43
↵ Return to the main page of metamath-doc
View build
Search for updates
Package Info
🠗 Changelog
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2025-07-24 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.198-10 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild |
| 2025-01-17 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.198-9 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild |
| 2024-07-18 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.198-8 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild |
| 2024-01-25 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.198-7 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.198-6 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-16 | Jerry James <loganjerry at gmail dot com> - 0.198-5 | - Stop building for 32-bit x86 |
Provides
- metamath-doc
Files
- usr/
- share/
- doc/
- metamath/
- metamath.pdf
- metamath/
- licenses/
- metamath-doc/
- LICENSE.TXT
- metamath-doc/
- doc/
- share/
Sources on Pagure