Wed, 26 Jan 2022 06:18:22 UTC

Information for build why3-1.4.0-1.fc35

ID1780738
Package Namewhy3
Version1.4.0
Release1.fc35
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/why3.git#8fbcc2ddf47ac10301c46d3e5f04bb45d39d95ec
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
StartedThu, 15 Jul 2021 00:38:37 UTC
CompletedThu, 15 Jul 2021 00:52:43 UTC
Taskbuild (f35-build-side-43581, /rpms/why3.git:8fbcc2ddf47ac10301c46d3e5f04bb45d39d95ec)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/why3.git#8fbcc2ddf47ac10301c46d3e5f04bb45d39d95ec'}}
Tags
f35
RPMs
src
why3-1.4.0-1.fc35.src.rpm (info) (download)
aarch64
ocaml-why3-1.4.0-1.fc35.aarch64.rpm (info) (download)
ocaml-why3-devel-1.4.0-1.fc35.aarch64.rpm (info) (download)
why3-1.4.0-1.fc35.aarch64.rpm (info) (download)
why3-all-1.4.0-1.fc35.aarch64.rpm (info) (download)
ocaml-why3-debuginfo-1.4.0-1.fc35.aarch64.rpm (info) (download)
why3-debuginfo-1.4.0-1.fc35.aarch64.rpm (info) (download)
why3-debugsource-1.4.0-1.fc35.aarch64.rpm (info) (download)
armv7hl
ocaml-why3-1.4.0-1.fc35.armv7hl.rpm (info) (download)
ocaml-why3-devel-1.4.0-1.fc35.armv7hl.rpm (info) (download)
why3-1.4.0-1.fc35.armv7hl.rpm (info) (download)
why3-all-1.4.0-1.fc35.armv7hl.rpm (info) (download)
ocaml-why3-debuginfo-1.4.0-1.fc35.armv7hl.rpm (info) (download)
why3-debuginfo-1.4.0-1.fc35.armv7hl.rpm (info) (download)
why3-debugsource-1.4.0-1.fc35.armv7hl.rpm (info) (download)
i686
ocaml-why3-1.4.0-1.fc35.i686.rpm (info) (download)
ocaml-why3-devel-1.4.0-1.fc35.i686.rpm (info) (download)
why3-1.4.0-1.fc35.i686.rpm (info) (download)
why3-all-1.4.0-1.fc35.i686.rpm (info) (download)
ocaml-why3-debuginfo-1.4.0-1.fc35.i686.rpm (info) (download)
why3-debuginfo-1.4.0-1.fc35.i686.rpm (info) (download)
why3-debugsource-1.4.0-1.fc35.i686.rpm (info) (download)
noarch
why3-emacs-1.4.0-1.fc35.noarch.rpm (info) (download)
why3-examples-1.4.0-1.fc35.noarch.rpm (info) (download)
why3-proofgeneral-1.4.0-1.fc35.noarch.rpm (info) (download)
why3-xemacs-1.4.0-1.fc35.noarch.rpm (info) (download)
ppc64le
ocaml-why3-1.4.0-1.fc35.ppc64le.rpm (info) (download)
ocaml-why3-devel-1.4.0-1.fc35.ppc64le.rpm (info) (download)
why3-1.4.0-1.fc35.ppc64le.rpm (info) (download)
why3-all-1.4.0-1.fc35.ppc64le.rpm (info) (download)
ocaml-why3-debuginfo-1.4.0-1.fc35.ppc64le.rpm (info) (download)
why3-debuginfo-1.4.0-1.fc35.ppc64le.rpm (info) (download)
why3-debugsource-1.4.0-1.fc35.ppc64le.rpm (info) (download)
x86_64
ocaml-why3-1.4.0-1.fc35.x86_64.rpm (info) (download)
ocaml-why3-devel-1.4.0-1.fc35.x86_64.rpm (info) (download)
why3-1.4.0-1.fc35.x86_64.rpm (info) (download)
why3-all-1.4.0-1.fc35.x86_64.rpm (info) (download)
ocaml-why3-debuginfo-1.4.0-1.fc35.x86_64.rpm (info) (download)
why3-debuginfo-1.4.0-1.fc35.x86_64.rpm (info) (download)
why3-debugsource-1.4.0-1.fc35.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
Changelog * 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 * Mon Jun 15 2020 Jerry James <loganjerry@gmail.com> - 1.3.1-10 - Rebuild for coq 8.11.2 * Sat Jun 13 2020 Jerry James <loganjerry@gmail.com> - 1.3.1-9 - Rebuild for flocq 3.3.1 - Build the coq files with the native compiler when possible * Wed May 20 2020 Jerry James <loganjerry@gmail.com> - 1.3.1-8 - Rebuild for coq 8.11.1 * Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3.1-7 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Sun Apr 12 2020 Jerry James <loganjerry@gmail.com> - 1.3.1-6 - Make the dependencies on ocaml-num and ocaml-zip explicit (bz 1795083) * Wed Apr 08 2020 Jerry James <loganjerry@gmail.com> - 1.3.1-5 - Rebuild for flocq 3.2.1 * Sun Apr 05 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3.1-4 - Update all OCaml dependencies for RPM 4.16. * Wed Apr 01 2020 Jerry James <loganjerry@gmail.com> - 1.3.1-3 - Do not build with mlmpfr; symbols clash with mlgmpidl, causing frama-c to fail to start - Obsolete the why2 packages * Sat Mar 28 2020 Jerry James <loganjerry@gmail.com> - 1.3.1-2 - Remove useless BRs and Rs (bz 1817878) * Wed Mar 25 2020 Jerry James <loganjerry@gmail.com> - 1.3.1-1 - Version 1.3.1 * Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Wed Jan 22 2020 Jerry James <loganjerry@gmail.com> - 1.2.1-3 - OCaml 4.10.0+beta1 rebuild. * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 1.2.1-2 - OCaml 4.09.0 (final) rebuild. * Tue Oct 29 2019 Jerry James <loganjerry@gmail.com> - 1.2.1-1 - New upstream release - Add -proofgeneral subpackage - Add desktop and AppData files * Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 1.2.0-6 - Rebuild for ocaml-menhir 20190924 * Fri Sep 06 2019 Jerry James <loganjerry@gmail.com> - 1.2.0-5 - Rebuild for ocaml-zarith 1.9 * Thu Aug 01 2019 Jerry James <loganjerry@gmail.com> - 1.2.0-4 - Also install the library, for consumption by frama-c * Thu Aug 01 2019 Jerry James <loganjerry@gmail.com> - 1.2.0-3 - Rebuild for flocq 3.2.0 * Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.2.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild