coq-8.12.1-1.fc34 | Build Info

Information for build coq-8.12.1-1.fc34

1651619

Package Name

coq

Version

8.12.1

Release

1.fc34

Epoch

Source

git+https://src.fedoraproject.org/rpms/coq.git#c384828abe7ded2fccf05fca9dc8a30aa2df6d6c

Built by

jjames

State

deleted

Volume

DEFAULT

Started

Wed, 02 Dec 2020 22:07:51 UTC

Completed

Wed, 02 Dec 2020 22:57:11 UTC

Task

build (f34-build-side-34773, /rpms/coq.git:c384828abe7ded2fccf05fca9dc8a30aa2df6d6c)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/coq.git#c384828abe7ded2fccf05fca9dc8a30aa2df6d6c'}}

Tags

No tags

RPMs

src
	coq-8.12.1-1.fc34.src.rpm (info)
aarch64
	coq-8.12.1-1.fc34.aarch64.rpm (info)
	coq-coqide-8.12.1-1.fc34.aarch64.rpm (info)
	coq-coqide-server-8.12.1-1.fc34.aarch64.rpm (info)
	coq-coqide-debuginfo-8.12.1-1.fc34.aarch64.rpm (info)
	coq-coqide-server-debuginfo-8.12.1-1.fc34.aarch64.rpm (info)
	coq-debuginfo-8.12.1-1.fc34.aarch64.rpm (info)
	coq-debugsource-8.12.1-1.fc34.aarch64.rpm (info)
armv7hl
	coq-8.12.1-1.fc34.armv7hl.rpm (info)
	coq-coqide-8.12.1-1.fc34.armv7hl.rpm (info)
	coq-coqide-server-8.12.1-1.fc34.armv7hl.rpm (info)
	coq-coqide-debuginfo-8.12.1-1.fc34.armv7hl.rpm (info)
	coq-coqide-server-debuginfo-8.12.1-1.fc34.armv7hl.rpm (info)
	coq-debuginfo-8.12.1-1.fc34.armv7hl.rpm (info)
	coq-debugsource-8.12.1-1.fc34.armv7hl.rpm (info)
i686
	coq-8.12.1-1.fc34.i686.rpm (info)
	coq-coqide-8.12.1-1.fc34.i686.rpm (info)
	coq-coqide-server-8.12.1-1.fc34.i686.rpm (info)
	coq-coqide-debuginfo-8.12.1-1.fc34.i686.rpm (info)
	coq-coqide-server-debuginfo-8.12.1-1.fc34.i686.rpm (info)
	coq-debuginfo-8.12.1-1.fc34.i686.rpm (info)
	coq-debugsource-8.12.1-1.fc34.i686.rpm (info)
noarch
	coq-doc-8.12.1-1.fc34.noarch.rpm (info)
ppc64le
	coq-8.12.1-1.fc34.ppc64le.rpm (info)
	coq-coqide-8.12.1-1.fc34.ppc64le.rpm (info)
	coq-coqide-server-8.12.1-1.fc34.ppc64le.rpm (info)
	coq-coqide-debuginfo-8.12.1-1.fc34.ppc64le.rpm (info)
	coq-coqide-server-debuginfo-8.12.1-1.fc34.ppc64le.rpm (info)
	coq-debuginfo-8.12.1-1.fc34.ppc64le.rpm (info)
	coq-debugsource-8.12.1-1.fc34.ppc64le.rpm (info)
x86_64
	coq-8.12.1-1.fc34.x86_64.rpm (info)
	coq-coqide-8.12.1-1.fc34.x86_64.rpm (info)
	coq-coqide-server-8.12.1-1.fc34.x86_64.rpm (info)
	coq-coqide-debuginfo-8.12.1-1.fc34.x86_64.rpm (info)
	coq-coqide-server-debuginfo-8.12.1-1.fc34.x86_64.rpm (info)
	coq-debuginfo-8.12.1-1.fc34.x86_64.rpm (info)
	coq-debugsource-8.12.1-1.fc34.x86_64.rpm (info)