| ID | 186781 |
| Package Name | Agda-stdlib |
| Version | 1.3 |
| Release | 4.fc33 |
| Epoch | |
| Summary |
| Description |
| Built by | davidlt |
| State |
complete
|
| Volume |
DEFAULT |
| Started | Fri, 27 Nov 2020 11:51:42 UTC |
| Completed | Fri, 27 Nov 2020 11:51:42 UTC |
| Tags |
|
| RPMs |
|
| Changelog |
* Mon Aug 24 2020 Jens Petersen <petersen@redhat.com> - 1.3-4
- Agda-2.6.1 puts .agdai files under _build/
- move Everything and README modules to docs
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon Jul 20 2020 Jens Petersen <petersen@redhat.com> - 1.3-2
- make package noarch
* Sat Jun 27 2020 Jens Petersen <petersen@redhat.com> - 1.3-1
- https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md
* Tue May 26 2020 Jens Petersen <petersen@redhat.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
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Sat Aug 17 2019 Jens Petersen <petersen@redhat.com> - 1.1-1
- update to 1.1
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.17-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Mon Feb 25 2019 Jens Petersen <petersen@redhat.com> - 0.17-1
- update to 0.17
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.15-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Tue Aug 28 2018 Jens Petersen <petersen@redhat.com> - 0.15-4
- keep README*.agdai
- require ghc-Agda
|
