Fedora Packages

Agda-stdlib-1.7.3-5.fc40 in Fedora 40

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

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2024-01-22 Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-19 Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-18 Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2023-12-07 Jens Petersen <petersen at redhat dot com> - 1.7.3-2 - bump for Agda-2.6.4.1
2023-10-16 Jens Petersen <petersen at redhat dot com> - 1.7.3-1 - update to 1.7.3 for Agda 2.6.4
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

Dependencies

Provides

  • Agda-stdlib
  • agda-stdlib

Files


Sources on Pagure