why3-1.3.3-2.fc34 | Build Info

Information for build why3-1.3.3-2.fc34

1653240

Package Name

why3

Version

1.3.3

Release

2.fc34

Epoch

Source

git+https://src.fedoraproject.org/rpms/why3.git#d67e103d2448b515b516c75ae44da48b1d14e76a

Built by

jjames

State

deleted

Volume

DEFAULT

Started

Wed, 02 Dec 2020 23:47:54 UTC

Completed

Thu, 03 Dec 2020 00:08:25 UTC

Task

build (f34-build-side-34773, /rpms/why3.git:d67e103d2448b515b516c75ae44da48b1d14e76a)

Extra

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

Tags

No tags

RPMs

src
	why3-1.3.3-2.fc34.src.rpm (info)
aarch64
	ocaml-why3-1.3.3-2.fc34.aarch64.rpm (info)
	ocaml-why3-devel-1.3.3-2.fc34.aarch64.rpm (info)
	why3-1.3.3-2.fc34.aarch64.rpm (info)
	why3-all-1.3.3-2.fc34.aarch64.rpm (info)
	ocaml-why3-debuginfo-1.3.3-2.fc34.aarch64.rpm (info)
	why3-debuginfo-1.3.3-2.fc34.aarch64.rpm (info)
	why3-debugsource-1.3.3-2.fc34.aarch64.rpm (info)
armv7hl
	ocaml-why3-1.3.3-2.fc34.armv7hl.rpm (info)
	ocaml-why3-devel-1.3.3-2.fc34.armv7hl.rpm (info)
	why3-1.3.3-2.fc34.armv7hl.rpm (info)
	why3-all-1.3.3-2.fc34.armv7hl.rpm (info)
	ocaml-why3-debuginfo-1.3.3-2.fc34.armv7hl.rpm (info)
	why3-debuginfo-1.3.3-2.fc34.armv7hl.rpm (info)
	why3-debugsource-1.3.3-2.fc34.armv7hl.rpm (info)
i686
	ocaml-why3-1.3.3-2.fc34.i686.rpm (info)
	ocaml-why3-devel-1.3.3-2.fc34.i686.rpm (info)
	why3-1.3.3-2.fc34.i686.rpm (info)
	why3-all-1.3.3-2.fc34.i686.rpm (info)
	ocaml-why3-debuginfo-1.3.3-2.fc34.i686.rpm (info)
	why3-debuginfo-1.3.3-2.fc34.i686.rpm (info)
	why3-debugsource-1.3.3-2.fc34.i686.rpm (info)
noarch
	why3-emacs-1.3.3-2.fc34.noarch.rpm (info)
	why3-examples-1.3.3-2.fc34.noarch.rpm (info)
	why3-proofgeneral-1.3.3-2.fc34.noarch.rpm (info)
	why3-xemacs-1.3.3-2.fc34.noarch.rpm (info)
ppc64le
	ocaml-why3-1.3.3-2.fc34.ppc64le.rpm (info)
	ocaml-why3-devel-1.3.3-2.fc34.ppc64le.rpm (info)
	why3-1.3.3-2.fc34.ppc64le.rpm (info)
	why3-all-1.3.3-2.fc34.ppc64le.rpm (info)
	ocaml-why3-debuginfo-1.3.3-2.fc34.ppc64le.rpm (info)
	why3-debuginfo-1.3.3-2.fc34.ppc64le.rpm (info)
	why3-debugsource-1.3.3-2.fc34.ppc64le.rpm (info)
x86_64
	ocaml-why3-1.3.3-2.fc34.x86_64.rpm (info)
	ocaml-why3-devel-1.3.3-2.fc34.x86_64.rpm (info)
	why3-1.3.3-2.fc34.x86_64.rpm (info)
	why3-all-1.3.3-2.fc34.x86_64.rpm (info)
	ocaml-why3-debuginfo-1.3.3-2.fc34.x86_64.rpm (info)
	why3-debuginfo-1.3.3-2.fc34.x86_64.rpm (info)
	why3-debugsource-1.3.3-2.fc34.x86_64.rpm (info)