Thu, 06 May 2021 19:01:34 UTC

Information for build Agda-stdlib-0.15-4.fc28

ID1140249
Package NameAgda-stdlib
Version0.15
Release4.fc28
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#6fa5d455eedd87d6f45f80281569f71624667d74
SummaryAgda standard libraries
DescriptionAgda standard libraries
Built bypetersen
State complete
Volume fedora_koji_archive02
StartedWed, 29 Aug 2018 04:31:05 UTC
CompletedWed, 29 Aug 2018 04:51:39 UTC
Taskbuild (f28-candidate, /rpms/Agda-stdlib.git:6fa5d455eedd87d6f45f80281569f71624667d74)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#6fa5d455eedd87d6f45f80281569f71624667d74'}}
Tags
f28-updates
RPMs
src
Agda-stdlib-0.15-4.fc28.src.rpm (info) (download)
aarch64
Agda-stdlib-0.15-4.fc28.aarch64.rpm (info) (download)
i686
Agda-stdlib-0.15-4.fc28.i686.rpm (info) (download)
noarch
Agda-stdlib-docs-0.15-4.fc28.noarch.rpm (info) (download)
ppc64
Agda-stdlib-0.15-4.fc28.ppc64.rpm (info) (download)
ppc64le
Agda-stdlib-0.15-4.fc28.ppc64le.rpm (info) (download)
s390x
Agda-stdlib-0.15-4.fc28.s390x.rpm (info) (download)
x86_64
Agda-stdlib-0.15-4.fc28.x86_64.rpm (info) (download)
Logs
x86_64
build.log
hw_info.log
state.log
root.log
mock_output.log
ppc64le
build.log
root.log
hw_info.log
state.log
mock_output.log
aarch64
root.log
state.log
build.log
hw_info.log
mock_output.log
ppc64
root.log
state.log
hw_info.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 * 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 * Mon Oct 24 2016 Jens Petersen <petersen@redhat.com> - 0.11-3 - update to 0.11 * Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 0.9-1 - update to 0.9 - include ffi lib in main package * Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Fri Jun 06 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Wed Feb 05 2014 Jens Petersen <petersen@redhat.com> - 0.7-3 - no ghc-rpm-macros-extra on F19 * Mon Feb 03 2014 Jens Petersen <petersen@redhat.com> - 0.7-2 - only build on arch's where Agda builds * Tue Jun 25 2013 Jens Petersen <petersen@redhat.com> - 0.7-1 - update to 0.7 with agda-lib-ffi-0.0.2 - use ghc-rpm-macros-extra - add ffi_ver macro for agda-lib-ffi version * Thu Jul 12 2012 Jens Petersen <petersen@redhat.com> - 0.6-4 - move stdlib files to datadir - subpackage html docs * Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-3 - subpackage agda-lib-ffi for MAlonzo backend * Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-2 - fix the manifest to include the libraries - add html - turn off debuginfo - remove README interface files * Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-1 - update to 0.6 * Sat Jun 04 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - initial packaging for Fedora automatically generated by cabal2spec-0.23