Sun, 29 May 2022 06:09:51 UTC

Information for build why3-1.3.3-8.fc35

ID1718779
Package Namewhy3
Version1.3.3
Release8.fc35
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/why3.git#fa27403bfbfc12d788fe1a2e7a576d0ad13151f2
Built byjjames
State deleted
Volume DEFAULT
StartedWed, 03 Mar 2021 21:00:59 UTC
CompletedWed, 03 Mar 2021 21:17:10 UTC
Taskbuild (rawhide, /rpms/why3.git:fa27403bfbfc12d788fe1a2e7a576d0ad13151f2)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/why3.git#fa27403bfbfc12d788fe1a2e7a576d0ad13151f2'}}
Tags No tags
RPMs
src
why3-1.3.3-8.fc35.src.rpm (info)
aarch64
ocaml-why3-1.3.3-8.fc35.aarch64.rpm (info)
ocaml-why3-devel-1.3.3-8.fc35.aarch64.rpm (info)
why3-1.3.3-8.fc35.aarch64.rpm (info)
why3-all-1.3.3-8.fc35.aarch64.rpm (info)
ocaml-why3-debuginfo-1.3.3-8.fc35.aarch64.rpm (info)
why3-debuginfo-1.3.3-8.fc35.aarch64.rpm (info)
why3-debugsource-1.3.3-8.fc35.aarch64.rpm (info)
armv7hl
ocaml-why3-1.3.3-8.fc35.armv7hl.rpm (info)
ocaml-why3-devel-1.3.3-8.fc35.armv7hl.rpm (info)
why3-1.3.3-8.fc35.armv7hl.rpm (info)
why3-all-1.3.3-8.fc35.armv7hl.rpm (info)
ocaml-why3-debuginfo-1.3.3-8.fc35.armv7hl.rpm (info)
why3-debuginfo-1.3.3-8.fc35.armv7hl.rpm (info)
why3-debugsource-1.3.3-8.fc35.armv7hl.rpm (info)
i686
ocaml-why3-1.3.3-8.fc35.i686.rpm (info)
ocaml-why3-devel-1.3.3-8.fc35.i686.rpm (info)
why3-1.3.3-8.fc35.i686.rpm (info)
why3-all-1.3.3-8.fc35.i686.rpm (info)
ocaml-why3-debuginfo-1.3.3-8.fc35.i686.rpm (info)
why3-debuginfo-1.3.3-8.fc35.i686.rpm (info)
why3-debugsource-1.3.3-8.fc35.i686.rpm (info)
noarch
why3-emacs-1.3.3-8.fc35.noarch.rpm (info)
why3-examples-1.3.3-8.fc35.noarch.rpm (info)
why3-proofgeneral-1.3.3-8.fc35.noarch.rpm (info)
why3-xemacs-1.3.3-8.fc35.noarch.rpm (info)
ppc64le
ocaml-why3-1.3.3-8.fc35.ppc64le.rpm (info)
ocaml-why3-devel-1.3.3-8.fc35.ppc64le.rpm (info)
why3-1.3.3-8.fc35.ppc64le.rpm (info)
why3-all-1.3.3-8.fc35.ppc64le.rpm (info)
ocaml-why3-debuginfo-1.3.3-8.fc35.ppc64le.rpm (info)
why3-debuginfo-1.3.3-8.fc35.ppc64le.rpm (info)
why3-debugsource-1.3.3-8.fc35.ppc64le.rpm (info)
x86_64
ocaml-why3-1.3.3-8.fc35.x86_64.rpm (info)
ocaml-why3-devel-1.3.3-8.fc35.x86_64.rpm (info)
why3-1.3.3-8.fc35.x86_64.rpm (info)
why3-all-1.3.3-8.fc35.x86_64.rpm (info)
ocaml-why3-debuginfo-1.3.3-8.fc35.x86_64.rpm (info)
why3-debuginfo-1.3.3-8.fc35.x86_64.rpm (info)
why3-debugsource-1.3.3-8.fc35.x86_64.rpm (info)