Tue, 11 May 2021 02:01:00 UTC

Information for build Agda-stdlib-0.15-2.fc29

ID1105419
Package NameAgda-stdlib
Version0.15
Release2.fc29
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#6b177a1c91c693b6ba648b773909ccae96f00b6c
SummaryAgda standard libraries
DescriptionAgda standard libraries
Built byreleng
State complete
Volume fedora_koji_archive04
StartedThu, 12 Jul 2018 18:59:23 UTC
CompletedThu, 12 Jul 2018 19:39:20 UTC
Taskbuild (f29-rebuild, /rpms/Agda-stdlib.git:6b177a1c91c693b6ba648b773909ccae96f00b6c)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#6b177a1c91c693b6ba648b773909ccae96f00b6c'}}
Tags
f29
f29-rebuild
RPMs
src
Agda-stdlib-0.15-2.fc29.src.rpm (info) (download)
aarch64
Agda-stdlib-0.15-2.fc29.aarch64.rpm (info) (download)
i686
Agda-stdlib-0.15-2.fc29.i686.rpm (info) (download)
noarch
Agda-stdlib-docs-0.15-2.fc29.noarch.rpm (info) (download)
ppc64
Agda-stdlib-0.15-2.fc29.ppc64.rpm (info) (download)
ppc64le
Agda-stdlib-0.15-2.fc29.ppc64le.rpm (info) (download)
s390x
Agda-stdlib-0.15-2.fc29.s390x.rpm (info) (download)
x86_64
Agda-stdlib-0.15-2.fc29.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
state.log
root.log
build.log
mock_output.log
ppc64le
state.log
root.log
hw_info.log
build.log
mock_output.log
aarch64
root.log
hw_info.log
build.log
state.log
mock_output.log
ppc64
state.log
hw_info.log
root.log
build.log
mock_output.log
i686
state.log
root.log
build.log
hw_info.log
mock_output.log
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * 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 * Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 0.13-1 - update to 0.13 - install standard-library.agda-lib package file * Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.11-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Mon Oct 24 2016 Jens Petersen <petersen@redhat.com> - 0.11-3 - update to 0.11