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

Information for build Agda-stdlib-1.7.3-5.fc40

ID142916
Package NameAgda-stdlib
Version1.7.3
Release5.fc40
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#98c46c32fa0eabe71737721e377ef91bea6c46a4
SummaryAgda standard libraries
DescriptionAgda standard libraries
Built byhezhengyu
State failed
Volume DEFAULT
StartedTue, 16 Apr 2024 09:57:39 CST
CompletedTue, 16 Apr 2024 10:00:34 CST
Taskbuild (f40, /rpms/Agda-stdlib.git:98c46c32fa0eabe71737721e377ef91bea6c46a4)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#98c46c32fa0eabe71737721e377ef91bea6c46a4'}}
Tags No tags
RPMs No RPMs
Changelog * Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Thu Jan 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Thu Dec 07 2023 Jens Petersen <petersen@redhat.com> - 1.7.3-2 - bump for Agda-2.6.4.1 * Mon Oct 16 2023 Jens Petersen <petersen@redhat.com> - 1.7.3-1 - update to 1.7.3 for Agda 2.6.4 * Fri Jul 28 2023 Jens Petersen <petersen@redhat.com> - 1.7.2-1 - https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Mon Feb 20 2023 Jens Petersen <petersen@redhat.com> - 1.7.1-5 - rebuild * Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * 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