fedora
This site has been archived!!! Click here to visit the new openkoji buildsystem!

Information for build Agda-stdlib-1.7.1-2.fc37

ID24598
Package NameAgda-stdlib
Version1.7.1
Release2.fc37
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#a68f6b74d1f9ee46d5dc317693b67e28e67fbb1d
SummaryAgda standard libraries
DescriptionAgda standard libraries
Built bykojiadmin
State failed
Volume DEFAULT
StartedMon, 30 Jan 2023 12:18:24 CST
CompletedMon, 30 Jan 2023 12:33:15 CST
Taskbuild (f37-build-side-32-misc-devel, /rpms/Agda-stdlib.git:a68f6b74d1f9ee46d5dc317693b67e28e67fbb1d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#a68f6b74d1f9ee46d5dc317693b67e28e67fbb1d'}}
Tags No tags
RPMs No RPMs
Changelog * Tue Jun 21 2022 Jens Petersen <petersen@redhat.com> - 1.7.1-2 - rebuild against Agda-2.6.2.2 * Wed Mar 09 2022 Jens Petersen <petersen@redhat.com> - 1.7.1-1 - https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md * Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Aug 09 2021 Jens Petersen <petersen@redhat.com> - 1.7-1 - https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md - disable armv7hl: no Agda - runs out of memory * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Mon Jan 25 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * 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