Thu, 06 May 2021 18:15:54 UTC

Information for build Agda-stdlib-0.15-3.fc30

ID1138569
Package NameAgda-stdlib
Version0.15
Release3.fc30
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#262553a3a6e9c27396a8c8b4cfc09a4690dad8f7
Built bypetersen
State deleted
Volume DEFAULT
StartedWed, 22 Aug 2018 21:09:33 UTC
CompletedWed, 22 Aug 2018 21:26:42 UTC
Taskbuild (rawhide, /rpms/Agda-stdlib.git:262553a3a6e9c27396a8c8b4cfc09a4690dad8f7)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#262553a3a6e9c27396a8c8b4cfc09a4690dad8f7'}}
Tags No tags
RPMs
src
Agda-stdlib-0.15-3.fc30.src.rpm (info) (download)
aarch64
Agda-stdlib-0.15-3.fc30.aarch64.rpm (info) (download)
i686
Agda-stdlib-0.15-3.fc30.i686.rpm (info) (download)
noarch
Agda-stdlib-docs-0.15-3.fc30.noarch.rpm (info) (download)
ppc64le
Agda-stdlib-0.15-3.fc30.ppc64le.rpm (info) (download)
s390x
Agda-stdlib-0.15-3.fc30.s390x.rpm (info) (download)
x86_64
Agda-stdlib-0.15-3.fc30.x86_64.rpm (info) (download)