why3-1.5.1-3.fc38 | Build Info

2093448

Package Name

Version

1.5.1

Release

3.fc38

Epoch

Source

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

Built by

State

deleted

Volume

DEFAULT

Started

Sun, 27 Nov 2022 01:48:25 UTC

Completed

Sun, 27 Nov 2022 02:06:21 UTC

Task

Extra

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

Tags

No tags

RPMs

src
	why3-1.5.1-3.fc38.src.rpm (info)
aarch64
	ocaml-why3-1.5.1-3.fc38.aarch64.rpm (info)
	ocaml-why3-devel-1.5.1-3.fc38.aarch64.rpm (info)
	why3-1.5.1-3.fc38.aarch64.rpm (info)
	why3-all-1.5.1-3.fc38.aarch64.rpm (info)
	ocaml-why3-debuginfo-1.5.1-3.fc38.aarch64.rpm (info)
	why3-debuginfo-1.5.1-3.fc38.aarch64.rpm (info)
	why3-debugsource-1.5.1-3.fc38.aarch64.rpm (info)
noarch
	why3-emacs-1.5.1-3.fc38.noarch.rpm (info)
	why3-examples-1.5.1-3.fc38.noarch.rpm (info)
	why3-proofgeneral-1.5.1-3.fc38.noarch.rpm (info)
ppc64le
	ocaml-why3-1.5.1-3.fc38.ppc64le.rpm (info)
	ocaml-why3-devel-1.5.1-3.fc38.ppc64le.rpm (info)
	why3-1.5.1-3.fc38.ppc64le.rpm (info)
	why3-all-1.5.1-3.fc38.ppc64le.rpm (info)
	ocaml-why3-debuginfo-1.5.1-3.fc38.ppc64le.rpm (info)
	why3-debuginfo-1.5.1-3.fc38.ppc64le.rpm (info)
	why3-debugsource-1.5.1-3.fc38.ppc64le.rpm (info)
s390x
	ocaml-why3-1.5.1-3.fc38.s390x.rpm (info)
	ocaml-why3-devel-1.5.1-3.fc38.s390x.rpm (info)
	why3-1.5.1-3.fc38.s390x.rpm (info)
	why3-all-1.5.1-3.fc38.s390x.rpm (info)
	ocaml-why3-debuginfo-1.5.1-3.fc38.s390x.rpm (info)
	why3-debuginfo-1.5.1-3.fc38.s390x.rpm (info)
	why3-debugsource-1.5.1-3.fc38.s390x.rpm (info)
x86_64
	ocaml-why3-1.5.1-3.fc38.x86_64.rpm (info)
	ocaml-why3-devel-1.5.1-3.fc38.x86_64.rpm (info)
	why3-1.5.1-3.fc38.x86_64.rpm (info)
	why3-all-1.5.1-3.fc38.x86_64.rpm (info)
	ocaml-why3-debuginfo-1.5.1-3.fc38.x86_64.rpm (info)
	why3-debuginfo-1.5.1-3.fc38.x86_64.rpm (info)
	why3-debugsource-1.5.1-3.fc38.x86_64.rpm (info)