Fri, 02 Dec 2022 10:36:45 UTC

Information for build why3-1.4.1-3.fc36

ID1991160
Package Namewhy3
Version1.4.1
Release3.fc36
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/why3.git#1c09f7fef375107d11d270f4cf5c3a049bbb1997
SummarySoftware verification platform
DescriptionWhy3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
Built byjjames
State complete
Volume DEFAULT
StartedWed, 22 Jun 2022 16:45:18 UTC
CompletedWed, 22 Jun 2022 16:59:57 UTC
Taskbuild (f36-candidate, /rpms/why3.git:1c09f7fef375107d11d270f4cf5c3a049bbb1997)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/why3.git#1c09f7fef375107d11d270f4cf5c3a049bbb1997'}}
Tags
f36-updates
RPMs
src
why3-1.4.1-3.fc36.src.rpm (info) (download)
aarch64
ocaml-why3-1.4.1-3.fc36.aarch64.rpm (info) (download)
ocaml-why3-devel-1.4.1-3.fc36.aarch64.rpm (info) (download)
why3-1.4.1-3.fc36.aarch64.rpm (info) (download)
why3-all-1.4.1-3.fc36.aarch64.rpm (info) (download)
ocaml-why3-debuginfo-1.4.1-3.fc36.aarch64.rpm (info) (download)
why3-debuginfo-1.4.1-3.fc36.aarch64.rpm (info) (download)
why3-debugsource-1.4.1-3.fc36.aarch64.rpm (info) (download)
armv7hl
ocaml-why3-1.4.1-3.fc36.armv7hl.rpm (info) (download)
ocaml-why3-devel-1.4.1-3.fc36.armv7hl.rpm (info) (download)
why3-1.4.1-3.fc36.armv7hl.rpm (info) (download)
why3-all-1.4.1-3.fc36.armv7hl.rpm (info) (download)
ocaml-why3-debuginfo-1.4.1-3.fc36.armv7hl.rpm (info) (download)
why3-debuginfo-1.4.1-3.fc36.armv7hl.rpm (info) (download)
why3-debugsource-1.4.1-3.fc36.armv7hl.rpm (info) (download)
i686
ocaml-why3-1.4.1-3.fc36.i686.rpm (info) (download)
ocaml-why3-devel-1.4.1-3.fc36.i686.rpm (info) (download)
why3-1.4.1-3.fc36.i686.rpm (info) (download)
why3-all-1.4.1-3.fc36.i686.rpm (info) (download)
ocaml-why3-debuginfo-1.4.1-3.fc36.i686.rpm (info) (download)
why3-debuginfo-1.4.1-3.fc36.i686.rpm (info) (download)
why3-debugsource-1.4.1-3.fc36.i686.rpm (info) (download)
noarch
why3-emacs-1.4.1-3.fc36.noarch.rpm (info) (download)
why3-examples-1.4.1-3.fc36.noarch.rpm (info) (download)
why3-proofgeneral-1.4.1-3.fc36.noarch.rpm (info) (download)
ppc64le
ocaml-why3-1.4.1-3.fc36.ppc64le.rpm (info) (download)
ocaml-why3-devel-1.4.1-3.fc36.ppc64le.rpm (info) (download)
why3-1.4.1-3.fc36.ppc64le.rpm (info) (download)
why3-all-1.4.1-3.fc36.ppc64le.rpm (info) (download)
ocaml-why3-debuginfo-1.4.1-3.fc36.ppc64le.rpm (info) (download)
why3-debuginfo-1.4.1-3.fc36.ppc64le.rpm (info) (download)
why3-debugsource-1.4.1-3.fc36.ppc64le.rpm (info) (download)
s390x
ocaml-why3-1.4.1-3.fc36.s390x.rpm (info) (download)
ocaml-why3-devel-1.4.1-3.fc36.s390x.rpm (info) (download)
why3-1.4.1-3.fc36.s390x.rpm (info) (download)
why3-all-1.4.1-3.fc36.s390x.rpm (info) (download)
ocaml-why3-debuginfo-1.4.1-3.fc36.s390x.rpm (info) (download)
why3-debuginfo-1.4.1-3.fc36.s390x.rpm (info) (download)
why3-debugsource-1.4.1-3.fc36.s390x.rpm (info) (download)
x86_64
ocaml-why3-1.4.1-3.fc36.x86_64.rpm (info) (download)
ocaml-why3-devel-1.4.1-3.fc36.x86_64.rpm (info) (download)
why3-1.4.1-3.fc36.x86_64.rpm (info) (download)
why3-all-1.4.1-3.fc36.x86_64.rpm (info) (download)
ocaml-why3-debuginfo-1.4.1-3.fc36.x86_64.rpm (info) (download)
why3-debuginfo-1.4.1-3.fc36.x86_64.rpm (info) (download)
why3-debugsource-1.4.1-3.fc36.x86_64.rpm (info) (download)
Logs
armv7hl
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
i686
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
aarch64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
ppc64le
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Wed Jun 22 2022 Jerry James <loganjerry@gmail.com> - 1.4.1-3 - Rebuild for coq 8.15.2 * Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 1.4.1-2 - Rebuild for coq 8.15.1 * Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 1.4.1-1 - Version 1.4.1 * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-11 - OCaml 4.13.1 rebuild to remove package notes * Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Jan 17 2022 Jerry James <loganjerry@gmail.com> - 1.4.0-9 - Rebuild for menhir 20211230 * Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-8 - Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11 * Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-7 - Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128 * Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-6 - Rebuild for coq 8.14.0 and menhir 20211012 - Add -coq8.14 patch - Drop XEmacs support * Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-5 - OCaml 4.13.1 build * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-4 - Try to build on s390x with OCaml 4.13 * Fri Jul 30 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-3 - Rebuild for rebuilt coq * Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Wed Jul 14 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-1 - Version 1.4.0 - Drop all patches - Validate with appstreamcli instead of appstream-util * Tue Jun 08 2021 Jerry James <loganjerry@gmail.com> - 1.3.3-9 - Rebuild for ocaml-menhir 20210419 * Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 1.3.3-8 - Rebuild for coq 8.13.1 and ocaml-zarith 1.12 * Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 1.3.3-7 - OCaml 4.12.0 build * Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 1.3.3-6 - Rebuild for coq 8.13.0 - Update metainfo and install in metainfodir * Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Sat Jan 02 2021 Jerry James <loganjerry@gmail.com> - 1.3.3-4 - Rebuild for flocq 3.4.0 * Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 1.3.3-3 - Rebuild for coq 8.12.2 * Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 1.3.3-2 - Rebuild for coq 8.12.1 and menhir 20201201 * Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 1.3.3-1 - Version 1.3.3 * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3.1-14 - OCaml 4.11.1 rebuild * Tue Sep 01 2020 Jerry James <loganjerry@gmail.com> - 1.3.1-13 - Rebuild for coq 8.12.0 * Mon Aug 24 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3.1-13 - OCaml 4.11.0 rebuild * Thu Aug 06 2020 Jerry James <loganjerry@gmail.com> - 1.3.1-12 - Rebuild for ocaml-lablgtk3 3.1.1 and ocaml-menhir 20200624 * Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.1-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild