Mon, 18 Nov 2019 23:27:40 UTC

Information for build Agda-2.3.2.1-5.fc21

ID460782
Package NameAgda
Version2.3.2.1
Release5.fc21
Epoch
Built bypetersen
State deleted
Volume DEFAULT
StartedMon, 02 Sep 2013 03:44:18 UTC
CompletedMon, 02 Sep 2013 04:12:33 UTC
Taskbuild (rawhide, /Agda:4ea8724782cd8aaa3e8d3ced10f0fac91a4bc7cd)
Tags No tags
RPMs
src
Agda-2.3.2.1-5.fc21.src.rpm (info) (download)
i686
Agda-2.3.2.1-5.fc21.i686.rpm (info) (download)
emacs-agda-2.3.2.1-5.fc21.i686.rpm (info) (download)
emacs-agda-el-2.3.2.1-5.fc21.i686.rpm (info) (download)
ghc-Agda-2.3.2.1-5.fc21.i686.rpm (info) (download)
ghc-Agda-devel-2.3.2.1-5.fc21.i686.rpm (info) (download)
x86_64
Agda-2.3.2.1-5.fc21.x86_64.rpm (info) (download)
emacs-agda-2.3.2.1-5.fc21.x86_64.rpm (info) (download)
emacs-agda-el-2.3.2.1-5.fc21.x86_64.rpm (info) (download)
ghc-Agda-2.3.2.1-5.fc21.x86_64.rpm (info) (download)
ghc-Agda-devel-2.3.2.1-5.fc21.x86_64.rpm (info) (download)