fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for build Agda-stdlib-1.7.3-7.fc41

ID66306
Package NameAgda-stdlib
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version1.7.3
Release7.fc41
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#6a21abb43482f14eef53db98dda3d3f4f8e65c68
SummaryAgda standard libraries
DescriptionAgda standard libraries
Built bykojiadmin
State complete
Volume DEFAULT
StartedThu, 05 Sep 2024 16:13:42 CST
CompletedThu, 05 Sep 2024 18:29:37 CST
Taskbuild (f41-build-side-1, /rpms/Agda-stdlib.git:6a21abb43482f14eef53db98dda3d3f4f8e65c68)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#6a21abb43482f14eef53db98dda3d3f4f8e65c68'}}
Tags
f41
f41-build-side-1
RPMs
src
Agda-stdlib-1.7.3-7.fc41.src.rpm (info) (download)
noarch
Agda-stdlib-1.7.3-7.fc41.noarch.rpm (info) (download)
Agda-stdlib-docs-1.7.3-7.fc41.noarch.rpm (info) (download)
Logs
noarch
build.log
installed_pkgs.log
hw_info.log
state.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Sat May 18 2024 Jens Petersen <petersen@redhat.com> - 1.7.3-6 - rebuild for Agda 2.6.4.3 * 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