Mon, 10 May 2021 08:37:22 UTC

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

ID628973
Package NameAgda-stdlib
Version0.9
Release1.fc23
Epoch
Built bypetersen
State deleted
Volume DEFAULT
StartedFri, 17 Apr 2015 06:46:42 UTC
CompletedFri, 17 Apr 2015 06:54:44 UTC
Taskbuild (rawhide, /Agda-stdlib:001ba0471e5fc98ded6c36df3faa3be633e968dd)
Tags No tags
RPMs
src
Agda-stdlib-0.9-1.fc23.src.rpm (info) (download)
i686
Agda-stdlib-0.9-1.fc23.i686.rpm (info) (download)
noarch
Agda-stdlib-docs-0.9-1.fc23.noarch.rpm (info) (download)
x86_64
Agda-stdlib-0.9-1.fc23.x86_64.rpm (info) (download)