Tue, 06 Dec 2022 01:13:24 UTC

Information for build why3-1.3.3-9.fc35

ID1771031
Package Namewhy3
Version1.3.3
Release9.fc35
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/why3.git#5af1d5643b19efa5fbfce65e2d09b0c0c1eed87c
Built byjjames
State deleted
Volume DEFAULT
StartedSat, 12 Jun 2021 21:43:53 UTC
CompletedSat, 12 Jun 2021 21:59:52 UTC
Taskbuild (f35-build-side-42547, /rpms/why3.git:5af1d5643b19efa5fbfce65e2d09b0c0c1eed87c)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/why3.git#5af1d5643b19efa5fbfce65e2d09b0c0c1eed87c'}}
Tags No tags
RPMs
src
why3-1.3.3-9.fc35.src.rpm (info)
aarch64
ocaml-why3-1.3.3-9.fc35.aarch64.rpm (info)
ocaml-why3-devel-1.3.3-9.fc35.aarch64.rpm (info)
why3-1.3.3-9.fc35.aarch64.rpm (info)
why3-all-1.3.3-9.fc35.aarch64.rpm (info)
ocaml-why3-debuginfo-1.3.3-9.fc35.aarch64.rpm (info)
why3-debuginfo-1.3.3-9.fc35.aarch64.rpm (info)
why3-debugsource-1.3.3-9.fc35.aarch64.rpm (info)
armv7hl
ocaml-why3-1.3.3-9.fc35.armv7hl.rpm (info)
ocaml-why3-devel-1.3.3-9.fc35.armv7hl.rpm (info)
why3-1.3.3-9.fc35.armv7hl.rpm (info)
why3-all-1.3.3-9.fc35.armv7hl.rpm (info)
ocaml-why3-debuginfo-1.3.3-9.fc35.armv7hl.rpm (info)
why3-debuginfo-1.3.3-9.fc35.armv7hl.rpm (info)
why3-debugsource-1.3.3-9.fc35.armv7hl.rpm (info)
i686
ocaml-why3-1.3.3-9.fc35.i686.rpm (info)
ocaml-why3-devel-1.3.3-9.fc35.i686.rpm (info)
why3-1.3.3-9.fc35.i686.rpm (info)
why3-all-1.3.3-9.fc35.i686.rpm (info)
ocaml-why3-debuginfo-1.3.3-9.fc35.i686.rpm (info)
why3-debuginfo-1.3.3-9.fc35.i686.rpm (info)
why3-debugsource-1.3.3-9.fc35.i686.rpm (info)
noarch
why3-emacs-1.3.3-9.fc35.noarch.rpm (info)
why3-examples-1.3.3-9.fc35.noarch.rpm (info)
why3-proofgeneral-1.3.3-9.fc35.noarch.rpm (info)
why3-xemacs-1.3.3-9.fc35.noarch.rpm (info)
ppc64le
ocaml-why3-1.3.3-9.fc35.ppc64le.rpm (info)
ocaml-why3-devel-1.3.3-9.fc35.ppc64le.rpm (info)
why3-1.3.3-9.fc35.ppc64le.rpm (info)
why3-all-1.3.3-9.fc35.ppc64le.rpm (info)
ocaml-why3-debuginfo-1.3.3-9.fc35.ppc64le.rpm (info)
why3-debuginfo-1.3.3-9.fc35.ppc64le.rpm (info)
why3-debugsource-1.3.3-9.fc35.ppc64le.rpm (info)
x86_64
ocaml-why3-1.3.3-9.fc35.x86_64.rpm (info)
ocaml-why3-devel-1.3.3-9.fc35.x86_64.rpm (info)
why3-1.3.3-9.fc35.x86_64.rpm (info)
why3-all-1.3.3-9.fc35.x86_64.rpm (info)
ocaml-why3-debuginfo-1.3.3-9.fc35.x86_64.rpm (info)
why3-debuginfo-1.3.3-9.fc35.x86_64.rpm (info)
why3-debugsource-1.3.3-9.fc35.x86_64.rpm (info)