Wed, 12 May 2021 08:51:00 UTC

Information for build Agda-stdlib-0.9-6.fc23

ID628963
Package NameAgda-stdlib
Version0.9
Release6.fc23
Epoch
Built bypetersen
State deleted
Volume DEFAULT
StartedFri, 17 Apr 2015 06:20:15 UTC
CompletedFri, 17 Apr 2015 06:27:47 UTC
Taskbuild (rawhide, /Agda-stdlib:7bb5a0ef9e00dde11a6587aa802d80b8b00ac3e9)
Tags No tags
RPMs
src
Agda-stdlib-0.9-6.fc23.src.rpm (info) (download)
i686
Agda-stdlib-0.9-6.fc23.i686.rpm (info) (download)
ghc-agda-lib-ffi-0.0.2-6.fc23.i686.rpm (info) (download)
ghc-agda-lib-ffi-devel-0.0.2-6.fc23.i686.rpm (info) (download)
noarch
Agda-stdlib-docs-0.9-6.fc23.noarch.rpm (info) (download)
x86_64
Agda-stdlib-0.9-6.fc23.x86_64.rpm (info) (download)
ghc-agda-lib-ffi-0.0.2-6.fc23.x86_64.rpm (info) (download)
ghc-agda-lib-ffi-devel-0.0.2-6.fc23.x86_64.rpm (info) (download)