Mon, 10 May 2021 07:15:53 UTC

Information for build Agda-stdlib-0.15-1.fc29

ID1102047
Package NameAgda-stdlib
Version0.15
Release1.fc29
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#ea1ad25e63faeddba9b537db464f263f19f871a7
Built bypetersen
State deleted
Volume DEFAULT
StartedMon, 09 Jul 2018 10:23:20 UTC
CompletedMon, 09 Jul 2018 10:40:23 UTC
Taskbuild (rawhide, /rpms/Agda-stdlib.git:ea1ad25e63faeddba9b537db464f263f19f871a7)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#ea1ad25e63faeddba9b537db464f263f19f871a7'}}
Tags No tags
RPMs
src
Agda-stdlib-0.15-1.fc29.src.rpm (info) (download)
aarch64
Agda-stdlib-0.15-1.fc29.aarch64.rpm (info) (download)
i686
Agda-stdlib-0.15-1.fc29.i686.rpm (info) (download)
noarch
Agda-stdlib-docs-0.15-1.fc29.noarch.rpm (info) (download)
ppc64
Agda-stdlib-0.15-1.fc29.ppc64.rpm (info) (download)
ppc64le
Agda-stdlib-0.15-1.fc29.ppc64le.rpm (info) (download)
s390x
Agda-stdlib-0.15-1.fc29.s390x.rpm (info) (download)
x86_64
Agda-stdlib-0.15-1.fc29.x86_64.rpm (info) (download)