Fedora Packages

Agda-stdlib-docs-1.7-1.fc35 in Fedora 35

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

Package Info
🠗 Changelog
🠗 Provides
🠗 Files

Changelog

Date Author Change
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
2021-07-21 Fedora Release Engineering <releng at fedoraproject dot org> - 1.3-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-01-25 Fedora Release Engineering <releng at fedoraproject dot org> - 1.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-08-24 Jens Petersen <petersen at redhat dot com> - 1.3-4 - Agda-2.6.1 puts .agdai files under _build/ - move Everything and README modules to docs
2020-07-27 Fedora Release Engineering <releng at fedoraproject dot org> - 1.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-07-20 Jens Petersen <petersen at redhat dot com> - 1.3-2 - make package noarch
2020-06-27 Jens Petersen <petersen at redhat dot com> - 1.3-1 - https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md
2020-05-26 Jens Petersen <petersen at redhat dot com> - 1.2-1 - update to 1.2 - https://github.com/agda/agda-stdlib/blob/v1.2/CHANGELOG.md - requires Agda instead of ghc-Agda now
2020-01-28 Fedora Release Engineering <releng at fedoraproject dot org> - 1.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
2019-08-17 Jens Petersen <petersen at redhat dot com> - 1.1-1 - update to 1.1

Provides

  • Agda-stdlib-docs

Files


Sources on Pagure