Thu, 06 May 2021 19:06:18 UTC

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

ID1102048
Package NameAgda-stdlib
Version0.15
Release1.fc28
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#ea1ad25e63faeddba9b537db464f263f19f871a7
Built bypetersen
State deleted
Volume DEFAULT
StartedMon, 09 Jul 2018 10:52:24 UTC
CompletedMon, 09 Jul 2018 11:13:51 UTC
Taskbuild (f28-candidate, /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.fc28.src.rpm (info) (download)
aarch64
Agda-stdlib-0.15-1.fc28.aarch64.rpm (info) (download)
i686
Agda-stdlib-0.15-1.fc28.i686.rpm (info) (download)
noarch
Agda-stdlib-docs-0.15-1.fc28.noarch.rpm (info) (download)
ppc64
Agda-stdlib-0.15-1.fc28.ppc64.rpm (info) (download)
ppc64le
Agda-stdlib-0.15-1.fc28.ppc64le.rpm (info) (download)
s390x
Agda-stdlib-0.15-1.fc28.s390x.rpm (info) (download)
x86_64
Agda-stdlib-0.15-1.fc28.x86_64.rpm (info) (download)