Fri, 14 May 2021 22:29:34 UTC

Information for build Agda-stdlib-1.1-3.fc32

ID1526849
Package NameAgda-stdlib
Version1.1
Release3.fc32
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#92e4cb1122de238ecc109ce3227ce918a5952f4a
SummaryAgda standard libraries
DescriptionAgda standard libraries
Built bypetersen
State complete
Volume DEFAULT
StartedTue, 23 Jun 2020 02:19:12 UTC
CompletedTue, 23 Jun 2020 02:40:02 UTC
Taskbuild (f32, /rpms/Agda-stdlib.git:92e4cb1122de238ecc109ce3227ce918a5952f4a)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#92e4cb1122de238ecc109ce3227ce918a5952f4a'}}
Tags
f32-updates
RPMs
src
Agda-stdlib-1.1-3.fc32.src.rpm (info) (download)
aarch64
Agda-stdlib-1.1-3.fc32.aarch64.rpm (info) (download)
i686
Agda-stdlib-1.1-3.fc32.i686.rpm (info) (download)
noarch
Agda-stdlib-docs-1.1-3.fc32.noarch.rpm (info) (download)
ppc64le
Agda-stdlib-1.1-3.fc32.ppc64le.rpm (info) (download)
s390x
Agda-stdlib-1.1-3.fc32.s390x.rpm (info) (download)
x86_64
Agda-stdlib-1.1-3.fc32.x86_64.rpm (info) (download)
Logs
i686
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
aarch64
state.log
root.log
build.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
ppc64le
state.log
root.log
build.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
s390x
hw_info.log
root.log
build.log
state.log
mock_output.log
noarch_rpmdiff.json
Changelog * Mon Jun 22 2020 Jens Petersen <petersen@redhat.com> - 1.1-3 - requires Agda instead of ghc-Agda now * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Sat Aug 17 2019 Jens Petersen <petersen@redhat.com> - 1.1-1 - update to 1.1 * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.17-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Mon Feb 25 2019 Jens Petersen <petersen@redhat.com> - 0.17-1 - update to 0.17 * 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