Information for build why3-1.5.1-3.fc38

ID2093448
Package Namewhy3
Version1.5.1
Release3.fc38
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/why3.git#207ba180d9cf8e7c4874aad963e9ec0d0a91cf16
Built byjjames
State deleted
Volume DEFAULT
StartedSun, 27 Nov 2022 01:48:25 UTC
CompletedSun, 27 Nov 2022 02:06:21 UTC
Taskbuild (f38-build-side-60413, /rpms/why3.git:207ba180d9cf8e7c4874aad963e9ec0d0a91cf16)
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)