Wed, 20 Nov 2019 21:42:13 UTC

Information for build Agda-2.3.2.1-4.fc20

ID460084
Package NameAgda
Version2.3.2.1
Release4.fc20
Epoch
Built bypetersen
State deleted
Volume DEFAULT
StartedThu, 29 Aug 2013 09:25:43 UTC
CompletedThu, 29 Aug 2013 09:54:35 UTC
Taskbuild (f20-candidate, /Agda:f518914766ebb0a11eae212d571134430a4c91c9)
Tags No tags
RPMs
src
Agda-2.3.2.1-4.fc20.src.rpm (info) (download)
i686
Agda-2.3.2.1-4.fc20.i686.rpm (info) (download)
emacs-agda-2.3.2.1-4.fc20.i686.rpm (info) (download)
emacs-agda-el-2.3.2.1-4.fc20.i686.rpm (info) (download)
ghc-Agda-2.3.2.1-4.fc20.i686.rpm (info) (download)
ghc-Agda-devel-2.3.2.1-4.fc20.i686.rpm (info) (download)
x86_64
Agda-2.3.2.1-4.fc20.x86_64.rpm (info) (download)
emacs-agda-2.3.2.1-4.fc20.x86_64.rpm (info) (download)
emacs-agda-el-2.3.2.1-4.fc20.x86_64.rpm (info) (download)
ghc-Agda-2.3.2.1-4.fc20.x86_64.rpm (info) (download)
ghc-Agda-devel-2.3.2.1-4.fc20.x86_64.rpm (info) (download)