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

Information for build Agda-stdlib-1.7.1-5.fc38

ID44912
Package NameAgda-stdlib
Version1.7.1
Release5.fc38
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#8234f3137c4db41795b3a82e12c190eb62ba3350
SummaryAgda standard libraries
DescriptionAgda standard libraries
Built bykojiadmin
State complete
Volume DEFAULT
StartedThu, 20 Apr 2023 17:27:52 CST
CompletedFri, 21 Apr 2023 02:09:39 CST
Taskbuild (f38-build-side-42-init-devel, /rpms/Agda-stdlib.git:8234f3137c4db41795b3a82e12c190eb62ba3350)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#8234f3137c4db41795b3a82e12c190eb62ba3350'}}
Tags
f38-build-side-42-init-devel
RPMs
src
Agda-stdlib-1.7.1-5.fc38.src.rpm (info) (download)
noarch
Agda-stdlib-1.7.1-5.fc38.noarch.rpm (info) (download)
Agda-stdlib-docs-1.7.1-5.fc38.noarch.rpm (info) (download)
Logs
noarch
build.log
state.log
installed_pkgs.log
hw_info.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * 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 * 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