Tue, 11 May 2021 00:24:32 UTC

Information for build Agda-stdlib-1.2-1.fc33

ID1521810
Package NameAgda-stdlib
Version1.2
Release1.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#474862f3fe5c8548436eb1dea8bacc3e89f24b85
Built bypetersen
State deleted
Volume DEFAULT
StartedSun, 07 Jun 2020 04:03:56 UTC
CompletedSun, 07 Jun 2020 04:48:51 UTC
Taskbuild (rawhide, /rpms/Agda-stdlib.git:474862f3fe5c8548436eb1dea8bacc3e89f24b85)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#474862f3fe5c8548436eb1dea8bacc3e89f24b85'}}
Tags No tags
RPMs
src
Agda-stdlib-1.2-1.fc33.src.rpm (info) (download)
aarch64
Agda-stdlib-1.2-1.fc33.aarch64.rpm (info) (download)
i686
Agda-stdlib-1.2-1.fc33.i686.rpm (info) (download)
noarch
Agda-stdlib-docs-1.2-1.fc33.noarch.rpm (info) (download)
ppc64le
Agda-stdlib-1.2-1.fc33.ppc64le.rpm (info) (download)
s390x
Agda-stdlib-1.2-1.fc33.s390x.rpm (info) (download)
x86_64
Agda-stdlib-1.2-1.fc33.x86_64.rpm (info) (download)