Tue, 12 Nov 2019 00:21:03 UTC

Information for build Agda-2.5.2-4.fc26

ID867493
Package NameAgda
Version2.5.2
Release4.fc26
Epoch
Built bypetersen
State deleted
Volume DEFAULT
StartedFri, 10 Mar 2017 15:23:28 UTC
CompletedFri, 10 Mar 2017 19:05:22 UTC
Taskbuild (f26-candidate, /rpms/Agda:4e6c542e8f12224e2dcacdf0149eaaa6b78a2356)
Tags No tags
RPMs
src
Agda-2.5.2-4.fc26.src.rpm (info) (download)
aarch64
Agda-2.5.2-4.fc26.aarch64.rpm (info) (download)
ghc-Agda-2.5.2-4.fc26.aarch64.rpm (info) (download)
ghc-Agda-devel-2.5.2-4.fc26.aarch64.rpm (info) (download)
ghc-EdisonAPI-1.3.1-4.fc26.aarch64.rpm (info) (download)
ghc-EdisonAPI-devel-1.3.1-4.fc26.aarch64.rpm (info) (download)
ghc-EdisonCore-1.3.1.1-4.fc26.aarch64.rpm (info) (download)
ghc-EdisonCore-devel-1.3.1.1-4.fc26.aarch64.rpm (info) (download)
ghc-geniplate-mirror-0.7.4-4.fc26.aarch64.rpm (info) (download)
ghc-geniplate-mirror-devel-0.7.4-4.fc26.aarch64.rpm (info) (download)
ghc-gitrev-1.2.0-4.fc26.aarch64.rpm (info) (download)
ghc-gitrev-devel-1.2.0-4.fc26.aarch64.rpm (info) (download)
ghc-ieee754-0.8.0-4.fc26.aarch64.rpm (info) (download)
ghc-ieee754-devel-0.8.0-4.fc26.aarch64.rpm (info) (download)
ghc-monadplus-1.4.2-4.fc26.aarch64.rpm (info) (download)
ghc-monadplus-devel-1.4.2-4.fc26.aarch64.rpm (info) (download)
ghc-murmur-hash-0.1.0.9-4.fc26.aarch64.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.9-4.fc26.aarch64.rpm (info) (download)
i686
Agda-2.5.2-4.fc26.i686.rpm (info) (download)
ghc-Agda-2.5.2-4.fc26.i686.rpm (info) (download)
ghc-Agda-devel-2.5.2-4.fc26.i686.rpm (info) (download)
ghc-EdisonAPI-1.3.1-4.fc26.i686.rpm (info) (download)
ghc-EdisonAPI-devel-1.3.1-4.fc26.i686.rpm (info) (download)
ghc-EdisonCore-1.3.1.1-4.fc26.i686.rpm (info) (download)
ghc-EdisonCore-devel-1.3.1.1-4.fc26.i686.rpm (info) (download)
ghc-geniplate-mirror-0.7.4-4.fc26.i686.rpm (info) (download)
ghc-geniplate-mirror-devel-0.7.4-4.fc26.i686.rpm (info) (download)
ghc-gitrev-1.2.0-4.fc26.i686.rpm (info) (download)
ghc-gitrev-devel-1.2.0-4.fc26.i686.rpm (info) (download)
ghc-ieee754-0.8.0-4.fc26.i686.rpm (info) (download)
ghc-ieee754-devel-0.8.0-4.fc26.i686.rpm (info) (download)
ghc-monadplus-1.4.2-4.fc26.i686.rpm (info) (download)
ghc-monadplus-devel-1.4.2-4.fc26.i686.rpm (info) (download)
ghc-murmur-hash-0.1.0.9-4.fc26.i686.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.9-4.fc26.i686.rpm (info) (download)
ppc64
Agda-2.5.2-4.fc26.ppc64.rpm (info) (download)
ghc-Agda-2.5.2-4.fc26.ppc64.rpm (info) (download)
ghc-Agda-devel-2.5.2-4.fc26.ppc64.rpm (info) (download)
ghc-EdisonAPI-1.3.1-4.fc26.ppc64.rpm (info) (download)
ghc-EdisonAPI-devel-1.3.1-4.fc26.ppc64.rpm (info) (download)
ghc-EdisonCore-1.3.1.1-4.fc26.ppc64.rpm (info) (download)
ghc-EdisonCore-devel-1.3.1.1-4.fc26.ppc64.rpm (info) (download)
ghc-geniplate-mirror-0.7.4-4.fc26.ppc64.rpm (info) (download)
ghc-geniplate-mirror-devel-0.7.4-4.fc26.ppc64.rpm (info) (download)
ghc-gitrev-1.2.0-4.fc26.ppc64.rpm (info) (download)
ghc-gitrev-devel-1.2.0-4.fc26.ppc64.rpm (info) (download)
ghc-ieee754-0.8.0-4.fc26.ppc64.rpm (info) (download)
ghc-ieee754-devel-0.8.0-4.fc26.ppc64.rpm (info) (download)
ghc-monadplus-1.4.2-4.fc26.ppc64.rpm (info) (download)
ghc-monadplus-devel-1.4.2-4.fc26.ppc64.rpm (info) (download)
ghc-murmur-hash-0.1.0.9-4.fc26.ppc64.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.9-4.fc26.ppc64.rpm (info) (download)
ppc64le
Agda-2.5.2-4.fc26.ppc64le.rpm (info) (download)
ghc-Agda-2.5.2-4.fc26.ppc64le.rpm (info) (download)
ghc-Agda-devel-2.5.2-4.fc26.ppc64le.rpm (info) (download)
ghc-EdisonAPI-1.3.1-4.fc26.ppc64le.rpm (info) (download)
ghc-EdisonAPI-devel-1.3.1-4.fc26.ppc64le.rpm (info) (download)
ghc-EdisonCore-1.3.1.1-4.fc26.ppc64le.rpm (info) (download)
ghc-EdisonCore-devel-1.3.1.1-4.fc26.ppc64le.rpm (info) (download)
ghc-geniplate-mirror-0.7.4-4.fc26.ppc64le.rpm (info) (download)
ghc-geniplate-mirror-devel-0.7.4-4.fc26.ppc64le.rpm (info) (download)
ghc-gitrev-1.2.0-4.fc26.ppc64le.rpm (info) (download)
ghc-gitrev-devel-1.2.0-4.fc26.ppc64le.rpm (info) (download)
ghc-ieee754-0.8.0-4.fc26.ppc64le.rpm (info) (download)
ghc-ieee754-devel-0.8.0-4.fc26.ppc64le.rpm (info) (download)
ghc-monadplus-1.4.2-4.fc26.ppc64le.rpm (info) (download)
ghc-monadplus-devel-1.4.2-4.fc26.ppc64le.rpm (info) (download)
ghc-murmur-hash-0.1.0.9-4.fc26.ppc64le.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.9-4.fc26.ppc64le.rpm (info) (download)
x86_64
Agda-2.5.2-4.fc26.x86_64.rpm (info) (download)
ghc-Agda-2.5.2-4.fc26.x86_64.rpm (info) (download)
ghc-Agda-devel-2.5.2-4.fc26.x86_64.rpm (info) (download)
ghc-EdisonAPI-1.3.1-4.fc26.x86_64.rpm (info) (download)
ghc-EdisonAPI-devel-1.3.1-4.fc26.x86_64.rpm (info) (download)
ghc-EdisonCore-1.3.1.1-4.fc26.x86_64.rpm (info) (download)
ghc-EdisonCore-devel-1.3.1.1-4.fc26.x86_64.rpm (info) (download)
ghc-geniplate-mirror-0.7.4-4.fc26.x86_64.rpm (info) (download)
ghc-geniplate-mirror-devel-0.7.4-4.fc26.x86_64.rpm (info) (download)
ghc-gitrev-1.2.0-4.fc26.x86_64.rpm (info) (download)
ghc-gitrev-devel-1.2.0-4.fc26.x86_64.rpm (info) (download)
ghc-ieee754-0.8.0-4.fc26.x86_64.rpm (info) (download)
ghc-ieee754-devel-0.8.0-4.fc26.x86_64.rpm (info) (download)
ghc-monadplus-1.4.2-4.fc26.x86_64.rpm (info) (download)
ghc-monadplus-devel-1.4.2-4.fc26.x86_64.rpm (info) (download)
ghc-murmur-hash-0.1.0.9-4.fc26.x86_64.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.9-4.fc26.x86_64.rpm (info) (download)