Tue, 12 Nov 2019 21:04:15 UTC

Information for build Agda-2.5.2-8.fc27

ID998288
Package NameAgda
Version2.5.2
Release8.fc27
Epoch
Built bypetersen
State deleted
Volume DEFAULT
StartedMon, 13 Nov 2017 07:45:55 UTC
CompletedMon, 13 Nov 2017 14:28:28 UTC
Taskbuild (f27-candidate, /rpms/Agda:56bc32af70267f56f9481c5a529d9dcbc4732001)
Tags No tags
RPMs
src
Agda-2.5.2-8.fc27.src.rpm (info) (download)
aarch64
Agda-2.5.2-8.fc27.aarch64.rpm (info) (download)
ghc-Agda-2.5.2-8.fc27.aarch64.rpm (info) (download)
ghc-Agda-devel-2.5.2-8.fc27.aarch64.rpm (info) (download)
ghc-EdisonAPI-1.3.1-8.fc27.aarch64.rpm (info) (download)
ghc-EdisonAPI-devel-1.3.1-8.fc27.aarch64.rpm (info) (download)
ghc-EdisonCore-1.3.1.1-8.fc27.aarch64.rpm (info) (download)
ghc-EdisonCore-devel-1.3.1.1-8.fc27.aarch64.rpm (info) (download)
ghc-geniplate-mirror-0.7.5-8.fc27.aarch64.rpm (info) (download)
ghc-geniplate-mirror-devel-0.7.5-8.fc27.aarch64.rpm (info) (download)
ghc-gitrev-1.3.1-8.fc27.aarch64.rpm (info) (download)
ghc-gitrev-devel-1.3.1-8.fc27.aarch64.rpm (info) (download)
ghc-ieee754-0.8.0-8.fc27.aarch64.rpm (info) (download)
ghc-ieee754-devel-0.8.0-8.fc27.aarch64.rpm (info) (download)
ghc-monadplus-1.4.2-8.fc27.aarch64.rpm (info) (download)
ghc-monadplus-devel-1.4.2-8.fc27.aarch64.rpm (info) (download)
ghc-murmur-hash-0.1.0.9-8.fc27.aarch64.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.9-8.fc27.aarch64.rpm (info) (download)
i686
Agda-2.5.2-8.fc27.i686.rpm (info) (download)
ghc-Agda-2.5.2-8.fc27.i686.rpm (info) (download)
ghc-Agda-devel-2.5.2-8.fc27.i686.rpm (info) (download)
ghc-EdisonAPI-1.3.1-8.fc27.i686.rpm (info) (download)
ghc-EdisonAPI-devel-1.3.1-8.fc27.i686.rpm (info) (download)
ghc-EdisonCore-1.3.1.1-8.fc27.i686.rpm (info) (download)
ghc-EdisonCore-devel-1.3.1.1-8.fc27.i686.rpm (info) (download)
ghc-geniplate-mirror-0.7.5-8.fc27.i686.rpm (info) (download)
ghc-geniplate-mirror-devel-0.7.5-8.fc27.i686.rpm (info) (download)
ghc-gitrev-1.3.1-8.fc27.i686.rpm (info) (download)
ghc-gitrev-devel-1.3.1-8.fc27.i686.rpm (info) (download)
ghc-ieee754-0.8.0-8.fc27.i686.rpm (info) (download)
ghc-ieee754-devel-0.8.0-8.fc27.i686.rpm (info) (download)
ghc-monadplus-1.4.2-8.fc27.i686.rpm (info) (download)
ghc-monadplus-devel-1.4.2-8.fc27.i686.rpm (info) (download)
ghc-murmur-hash-0.1.0.9-8.fc27.i686.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.9-8.fc27.i686.rpm (info) (download)
ppc64
Agda-2.5.2-8.fc27.ppc64.rpm (info) (download)
ghc-Agda-2.5.2-8.fc27.ppc64.rpm (info) (download)
ghc-Agda-devel-2.5.2-8.fc27.ppc64.rpm (info) (download)
ghc-EdisonAPI-1.3.1-8.fc27.ppc64.rpm (info) (download)
ghc-EdisonAPI-devel-1.3.1-8.fc27.ppc64.rpm (info) (download)
ghc-EdisonCore-1.3.1.1-8.fc27.ppc64.rpm (info) (download)
ghc-EdisonCore-devel-1.3.1.1-8.fc27.ppc64.rpm (info) (download)
ghc-geniplate-mirror-0.7.5-8.fc27.ppc64.rpm (info) (download)
ghc-geniplate-mirror-devel-0.7.5-8.fc27.ppc64.rpm (info) (download)
ghc-gitrev-1.3.1-8.fc27.ppc64.rpm (info) (download)
ghc-gitrev-devel-1.3.1-8.fc27.ppc64.rpm (info) (download)
ghc-ieee754-0.8.0-8.fc27.ppc64.rpm (info) (download)
ghc-ieee754-devel-0.8.0-8.fc27.ppc64.rpm (info) (download)
ghc-monadplus-1.4.2-8.fc27.ppc64.rpm (info) (download)
ghc-monadplus-devel-1.4.2-8.fc27.ppc64.rpm (info) (download)
ghc-murmur-hash-0.1.0.9-8.fc27.ppc64.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.9-8.fc27.ppc64.rpm (info) (download)
ppc64le
Agda-2.5.2-8.fc27.ppc64le.rpm (info) (download)
ghc-Agda-2.5.2-8.fc27.ppc64le.rpm (info) (download)
ghc-Agda-devel-2.5.2-8.fc27.ppc64le.rpm (info) (download)
ghc-EdisonAPI-1.3.1-8.fc27.ppc64le.rpm (info) (download)
ghc-EdisonAPI-devel-1.3.1-8.fc27.ppc64le.rpm (info) (download)
ghc-EdisonCore-1.3.1.1-8.fc27.ppc64le.rpm (info) (download)
ghc-EdisonCore-devel-1.3.1.1-8.fc27.ppc64le.rpm (info) (download)
ghc-geniplate-mirror-0.7.5-8.fc27.ppc64le.rpm (info) (download)
ghc-geniplate-mirror-devel-0.7.5-8.fc27.ppc64le.rpm (info) (download)
ghc-gitrev-1.3.1-8.fc27.ppc64le.rpm (info) (download)
ghc-gitrev-devel-1.3.1-8.fc27.ppc64le.rpm (info) (download)
ghc-ieee754-0.8.0-8.fc27.ppc64le.rpm (info) (download)
ghc-ieee754-devel-0.8.0-8.fc27.ppc64le.rpm (info) (download)
ghc-monadplus-1.4.2-8.fc27.ppc64le.rpm (info) (download)
ghc-monadplus-devel-1.4.2-8.fc27.ppc64le.rpm (info) (download)
ghc-murmur-hash-0.1.0.9-8.fc27.ppc64le.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.9-8.fc27.ppc64le.rpm (info) (download)
s390x
Agda-2.5.2-8.fc27.s390x.rpm (info) (download)
ghc-Agda-2.5.2-8.fc27.s390x.rpm (info) (download)
ghc-Agda-devel-2.5.2-8.fc27.s390x.rpm (info) (download)
ghc-EdisonAPI-1.3.1-8.fc27.s390x.rpm (info) (download)
ghc-EdisonAPI-devel-1.3.1-8.fc27.s390x.rpm (info) (download)
ghc-EdisonCore-1.3.1.1-8.fc27.s390x.rpm (info) (download)
ghc-EdisonCore-devel-1.3.1.1-8.fc27.s390x.rpm (info) (download)
ghc-geniplate-mirror-0.7.5-8.fc27.s390x.rpm (info) (download)
ghc-geniplate-mirror-devel-0.7.5-8.fc27.s390x.rpm (info) (download)
ghc-gitrev-1.3.1-8.fc27.s390x.rpm (info) (download)
ghc-gitrev-devel-1.3.1-8.fc27.s390x.rpm (info) (download)
ghc-ieee754-0.8.0-8.fc27.s390x.rpm (info) (download)
ghc-ieee754-devel-0.8.0-8.fc27.s390x.rpm (info) (download)
ghc-monadplus-1.4.2-8.fc27.s390x.rpm (info) (download)
ghc-monadplus-devel-1.4.2-8.fc27.s390x.rpm (info) (download)
ghc-murmur-hash-0.1.0.9-8.fc27.s390x.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.9-8.fc27.s390x.rpm (info) (download)
x86_64
Agda-2.5.2-8.fc27.x86_64.rpm (info) (download)
ghc-Agda-2.5.2-8.fc27.x86_64.rpm (info) (download)
ghc-Agda-devel-2.5.2-8.fc27.x86_64.rpm (info) (download)
ghc-EdisonAPI-1.3.1-8.fc27.x86_64.rpm (info) (download)
ghc-EdisonAPI-devel-1.3.1-8.fc27.x86_64.rpm (info) (download)
ghc-EdisonCore-1.3.1.1-8.fc27.x86_64.rpm (info) (download)
ghc-EdisonCore-devel-1.3.1.1-8.fc27.x86_64.rpm (info) (download)
ghc-geniplate-mirror-0.7.5-8.fc27.x86_64.rpm (info) (download)
ghc-geniplate-mirror-devel-0.7.5-8.fc27.x86_64.rpm (info) (download)
ghc-gitrev-1.3.1-8.fc27.x86_64.rpm (info) (download)
ghc-gitrev-devel-1.3.1-8.fc27.x86_64.rpm (info) (download)
ghc-ieee754-0.8.0-8.fc27.x86_64.rpm (info) (download)
ghc-ieee754-devel-0.8.0-8.fc27.x86_64.rpm (info) (download)
ghc-monadplus-1.4.2-8.fc27.x86_64.rpm (info) (download)
ghc-monadplus-devel-1.4.2-8.fc27.x86_64.rpm (info) (download)
ghc-murmur-hash-0.1.0.9-8.fc27.x86_64.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.9-8.fc27.x86_64.rpm (info) (download)