Tue, 11 May 2021 17:00:54 UTC

Information for build Agda-stdlib-0.15-5.fc30

ID1183441
Package NameAgda-stdlib
Version0.15
Release5.fc30
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#053b2eb0d188eba073694fd0a408f0a0ed84d2ce
SummaryAgda standard libraries
DescriptionAgda standard libraries
Built byreleng
State complete
Volume fedora_koji_archive04
StartedThu, 31 Jan 2019 11:23:31 UTC
CompletedThu, 31 Jan 2019 11:56:58 UTC
Taskbuild (f30-rebuild, /rpms/Agda-stdlib.git:053b2eb0d188eba073694fd0a408f0a0ed84d2ce)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#053b2eb0d188eba073694fd0a408f0a0ed84d2ce'}}
Tags
f30
f30-Beta
f30-rebuild
RPMs
src
Agda-stdlib-0.15-5.fc30.src.rpm (info) (download)
aarch64
Agda-stdlib-0.15-5.fc30.aarch64.rpm (info) (download)
i686
Agda-stdlib-0.15-5.fc30.i686.rpm (info) (download)
noarch
Agda-stdlib-docs-0.15-5.fc30.noarch.rpm (info) (download)
ppc64le
Agda-stdlib-0.15-5.fc30.ppc64le.rpm (info) (download)
s390x
Agda-stdlib-0.15-5.fc30.s390x.rpm (info) (download)
x86_64
Agda-stdlib-0.15-5.fc30.x86_64.rpm (info) (download)
Logs
aarch64
hw_info.log
root.log
state.log
build.log
mock_output.log
noarch_rpmdiff.json
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
i686
build.log
root.log
hw_info.log
state.log
mock_output.log
noarch_rpmdiff.json
ppc64le
hw_info.log
root.log
state.log
build.log
mock_output.log
noarch_rpmdiff.json
Changelog * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.15-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Tue Aug 28 2018 Jens Petersen <petersen@redhat.com> - 0.15-4 - keep README*.agdai - require ghc-Agda * Wed Aug 22 2018 Jens Petersen <petersen@redhat.com> - 0.15-3 - install library files correctly under src/ * 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