Mon, 10 May 2021 08:19:17 UTC

Information for build Agda-stdlib-0.7-3.fc19

ID497732
Package NameAgda-stdlib
Version0.7
Release3.fc19
Epoch
SummaryAgda standard libraries
DescriptionAgda standard libraries
Built bypetersen
State complete
Volume fedora_koji_archive00
StartedWed, 12 Feb 2014 07:29:43 UTC
CompletedWed, 12 Feb 2014 07:48:06 UTC
Taskbuild (f19-candidate, /Agda-stdlib:357e012495fd82f64a290c04036328ced08e6956)
Tags
f19-updates
RPMs
src
Agda-stdlib-0.7-3.fc19.src.rpm (info) (download)
i686
Agda-stdlib-0.7-3.fc19.i686.rpm (info) (download)
ghc-agda-lib-ffi-0.0.2-3.fc19.i686.rpm (info) (download)
ghc-agda-lib-ffi-devel-0.0.2-3.fc19.i686.rpm (info) (download)
noarch
Agda-stdlib-docs-0.7-3.fc19.noarch.rpm (info) (download)
x86_64
Agda-stdlib-0.7-3.fc19.x86_64.rpm (info) (download)
ghc-agda-lib-ffi-0.0.2-3.fc19.x86_64.rpm (info) (download)
ghc-agda-lib-ffi-devel-0.0.2-3.fc19.x86_64.rpm (info) (download)
Logs
x86_64
state.log
root.log
build.log
i686
root.log
state.log
build.log
Changelog * 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