Tue, 11 May 2021 17:44:26 UTC

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

ID1543717
Package NameAgda-stdlib
Version1.3
Release1.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#538d3cabe072d9bb51203592663e254196acf571
Built bypetersen
State deleted
Volume DEFAULT
StartedMon, 20 Jul 2020 03:17:42 UTC
CompletedMon, 20 Jul 2020 03:48:12 UTC
Taskbuild (f33-build-side-25385, /rpms/Agda-stdlib.git:538d3cabe072d9bb51203592663e254196acf571)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#538d3cabe072d9bb51203592663e254196acf571'}}
Tags No tags
RPMs
src
Agda-stdlib-1.3-1.fc33.src.rpm (info) (download)
aarch64
Agda-stdlib-1.3-1.fc33.aarch64.rpm (info) (download)
i686
Agda-stdlib-1.3-1.fc33.i686.rpm (info) (download)
noarch
Agda-stdlib-docs-1.3-1.fc33.noarch.rpm (info) (download)
ppc64le
Agda-stdlib-1.3-1.fc33.ppc64le.rpm (info) (download)
s390x
Agda-stdlib-1.3-1.fc33.s390x.rpm (info) (download)
x86_64
Agda-stdlib-1.3-1.fc33.x86_64.rpm (info) (download)