Thu, 04 Jun 2020 08:13:43 UTC

Information for build coq-8.9.1-8.fc32

ID1420161
Package Namecoq
Version8.9.1
Release8.fc32
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/coq.git#56b9ac6cea5b4ff849c2b293e2f8242d68a091d2
Built byrjones
State deleted
Volume fedora_koji_archive03
StartedFri, 06 Dec 2019 08:44:24 UTC
CompletedFri, 06 Dec 2019 09:22:34 UTC
Taskbuild (f32-build-side-14856, /rpms/coq.git:56b9ac6cea5b4ff849c2b293e2f8242d68a091d2)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/coq.git#56b9ac6cea5b4ff849c2b293e2f8242d68a091d2'}}
Tags No tags
RPMs
src
coq-8.9.1-8.fc32.src.rpm (info) (download)
aarch64
coq-8.9.1-8.fc32.aarch64.rpm (info) (download)
coq-coqide-8.9.1-8.fc32.aarch64.rpm (info) (download)
coq-coqide-debuginfo-8.9.1-8.fc32.aarch64.rpm (info) (download)
coq-debuginfo-8.9.1-8.fc32.aarch64.rpm (info) (download)
coq-debugsource-8.9.1-8.fc32.aarch64.rpm (info) (download)
armv7hl
coq-8.9.1-8.fc32.armv7hl.rpm (info) (download)
coq-coqide-8.9.1-8.fc32.armv7hl.rpm (info) (download)
coq-coqide-debuginfo-8.9.1-8.fc32.armv7hl.rpm (info) (download)
coq-debuginfo-8.9.1-8.fc32.armv7hl.rpm (info) (download)
coq-debugsource-8.9.1-8.fc32.armv7hl.rpm (info) (download)
i686
coq-8.9.1-8.fc32.i686.rpm (info) (download)
coq-coqide-8.9.1-8.fc32.i686.rpm (info) (download)
coq-coqide-debuginfo-8.9.1-8.fc32.i686.rpm (info) (download)
coq-debuginfo-8.9.1-8.fc32.i686.rpm (info) (download)
coq-debugsource-8.9.1-8.fc32.i686.rpm (info) (download)
noarch
antlr4-python3-runtime-4.7.2-5.fc32.1.noarch.rpm (info) (download)
coq-doc-8.9.1-8.fc32.noarch.rpm (info) (download)
ppc64le
coq-8.9.1-8.fc32.ppc64le.rpm (info) (download)
coq-coqide-8.9.1-8.fc32.ppc64le.rpm (info) (download)
coq-coqide-debuginfo-8.9.1-8.fc32.ppc64le.rpm (info) (download)
coq-debuginfo-8.9.1-8.fc32.ppc64le.rpm (info) (download)
coq-debugsource-8.9.1-8.fc32.ppc64le.rpm (info) (download)
s390x
coq-8.9.1-8.fc32.s390x.rpm (info) (download)
coq-coqide-8.9.1-8.fc32.s390x.rpm (info) (download)
coq-coqide-debuginfo-8.9.1-8.fc32.s390x.rpm (info) (download)
coq-debuginfo-8.9.1-8.fc32.s390x.rpm (info) (download)
coq-debugsource-8.9.1-8.fc32.s390x.rpm (info) (download)
x86_64
coq-8.9.1-8.fc32.x86_64.rpm (info) (download)
coq-coqide-8.9.1-8.fc32.x86_64.rpm (info) (download)
coq-coqide-debuginfo-8.9.1-8.fc32.x86_64.rpm (info) (download)
coq-debuginfo-8.9.1-8.fc32.x86_64.rpm (info) (download)
coq-debugsource-8.9.1-8.fc32.x86_64.rpm (info) (download)