Fedora Packages

Agda-stdlib-1.7.2-1.fc39 in Fedora 39

↵ Return to the main page of Agda-stdlib
View build
Search for updates

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2023-07-28 Jens Petersen <petersen at redhat dot com> - 1.7.2-1 - https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md
2023-07-19 Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.1-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-02-20 Jens Petersen <petersen at redhat dot com> - 1.7.1-5 - rebuild
2023-01-18 Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-07-20 Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-21 Jens Petersen <petersen at redhat dot com> - 1.7.1-2 - rebuild against Agda-2.6.2.2
2022-03-09 Jens Petersen <petersen at redhat dot com> - 1.7.1-1 - https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md
2022-01-19 Fedora Release Engineering <releng at fedoraproject dot org> - 1.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-08-09 Jens Petersen <petersen at redhat dot com> - 1.7-1 - https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md - disable armv7hl: no Agda - runs out of memory

Dependencies

Provides

  • Agda-stdlib

Files


Sources on Pagure