| ID | 126097 |
| Package Name | Agda-stdlib |
| Version | 1.1 |
| Release | 1.fc31 |
| Epoch | |
| Source | git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0 |
| Summary |
| Description |
| Built by | davidlt |
| State |
failed
|
| Volume |
DEFAULT |
| Started | Sat, 21 Sep 2019 10:47:51 UTC |
| Completed | Sat, 21 Sep 2019 10:53:31 UTC |
| Task | build (f31-candidate, /rpms/Agda-stdlib.git:ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0) |
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0'}} |
| Tags |
No tags
|
| RPMs |
No RPMs
|
| Changelog |
* 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
* Wed Aug 22 2018 Jens Petersen <petersen@redhat.com> - 0.15-3
- install library files correctly under src/
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.15-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Sun Jul 01 2018 Jens Petersen <petersen@redhat.com> - 0.15-1
- update to 0.15 for Agda-2.5.3
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
