Sun, 17 Nov 2019 00:05:14 UTC

Information for build why3-1.2.0-6.fc31

ID1399534
Package Namewhy3
Version1.2.0
Release6.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/why3.git#778f46c2737dcefb954be9e2ac2aaef776361cab
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
StartedFri, 11 Oct 2019 21:54:42 UTC
CompletedFri, 11 Oct 2019 22:15:38 UTC
Taskbuild (f31-candidate, /rpms/why3.git:778f46c2737dcefb954be9e2ac2aaef776361cab)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/why3.git#778f46c2737dcefb954be9e2ac2aaef776361cab'}}
Tags
f31-updates
RPMs
src
why3-1.2.0-6.fc31.src.rpm (info) (download)
aarch64
ocaml-why3-1.2.0-6.fc31.aarch64.rpm (info) (download)
ocaml-why3-devel-1.2.0-6.fc31.aarch64.rpm (info) (download)
why3-1.2.0-6.fc31.aarch64.rpm (info) (download)
why3-all-1.2.0-6.fc31.aarch64.rpm (info) (download)
ocaml-why3-debuginfo-1.2.0-6.fc31.aarch64.rpm (info) (download)
why3-debuginfo-1.2.0-6.fc31.aarch64.rpm (info) (download)
why3-debugsource-1.2.0-6.fc31.aarch64.rpm (info) (download)
armv7hl
ocaml-why3-1.2.0-6.fc31.armv7hl.rpm (info) (download)
ocaml-why3-devel-1.2.0-6.fc31.armv7hl.rpm (info) (download)
why3-1.2.0-6.fc31.armv7hl.rpm (info) (download)
why3-all-1.2.0-6.fc31.armv7hl.rpm (info) (download)
ocaml-why3-debuginfo-1.2.0-6.fc31.armv7hl.rpm (info) (download)
why3-debuginfo-1.2.0-6.fc31.armv7hl.rpm (info) (download)
why3-debugsource-1.2.0-6.fc31.armv7hl.rpm (info) (download)
i686
ocaml-why3-1.2.0-6.fc31.i686.rpm (info) (download)
ocaml-why3-devel-1.2.0-6.fc31.i686.rpm (info) (download)
why3-1.2.0-6.fc31.i686.rpm (info) (download)
why3-all-1.2.0-6.fc31.i686.rpm (info) (download)
ocaml-why3-debuginfo-1.2.0-6.fc31.i686.rpm (info) (download)
why3-debuginfo-1.2.0-6.fc31.i686.rpm (info) (download)
why3-debugsource-1.2.0-6.fc31.i686.rpm (info) (download)
noarch
why3-emacs-1.2.0-6.fc31.noarch.rpm (info) (download)
why3-examples-1.2.0-6.fc31.noarch.rpm (info) (download)
why3-xemacs-1.2.0-6.fc31.noarch.rpm (info) (download)
ppc64le
ocaml-why3-1.2.0-6.fc31.ppc64le.rpm (info) (download)
ocaml-why3-devel-1.2.0-6.fc31.ppc64le.rpm (info) (download)
why3-1.2.0-6.fc31.ppc64le.rpm (info) (download)
why3-all-1.2.0-6.fc31.ppc64le.rpm (info) (download)
ocaml-why3-debuginfo-1.2.0-6.fc31.ppc64le.rpm (info) (download)
why3-debuginfo-1.2.0-6.fc31.ppc64le.rpm (info) (download)
why3-debugsource-1.2.0-6.fc31.ppc64le.rpm (info) (download)
s390x
ocaml-why3-1.2.0-6.fc31.s390x.rpm (info) (download)
ocaml-why3-devel-1.2.0-6.fc31.s390x.rpm (info) (download)
why3-1.2.0-6.fc31.s390x.rpm (info) (download)
why3-all-1.2.0-6.fc31.s390x.rpm (info) (download)
ocaml-why3-debuginfo-1.2.0-6.fc31.s390x.rpm (info) (download)
why3-debuginfo-1.2.0-6.fc31.s390x.rpm (info) (download)
why3-debugsource-1.2.0-6.fc31.s390x.rpm (info) (download)
x86_64
ocaml-why3-1.2.0-6.fc31.x86_64.rpm (info) (download)
ocaml-why3-devel-1.2.0-6.fc31.x86_64.rpm (info) (download)
why3-1.2.0-6.fc31.x86_64.rpm (info) (download)
why3-all-1.2.0-6.fc31.x86_64.rpm (info) (download)
ocaml-why3-debuginfo-1.2.0-6.fc31.x86_64.rpm (info) (download)
why3-debuginfo-1.2.0-6.fc31.x86_64.rpm (info) (download)
why3-debugsource-1.2.0-6.fc31.x86_64.rpm (info) (download)
Logs
x86_64
root.log
state.log
hw_info.log
build.log
mock_output.log
noarch_rpmdiff.json
ppc64le
hw_info.log
root.log
state.log
build.log
mock_output.log
noarch_rpmdiff.json
aarch64
root.log
state.log
hw_info.log
build.log
mock_output.log
noarch_rpmdiff.json
i686
state.log
build.log
root.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
s390x
root.log
hw_info.log
build.log
state.log
mock_output.log
noarch_rpmdiff.json
armv7hl
root.log
hw_info.log
state.log
build.log
mock_output.log
noarch_rpmdiff.json
Changelog * 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 * Wed Jun 05 2019 Jerry James <loganjerry@gmail.com> - 1.2.0-1 - New upstream release * Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.1.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 1.1.1-1 - New upstream release * Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.88.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Thu Jul 12 2018 Richard W.M. Jones <rjones@redhat.com> - 0.88.3-4 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.88.3-3 - Bump release and rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.88.3-2 - OCaml 4.07.0-rc1 rebuild. * Mon Feb 12 2018 Jerry James <loganjerry@gmail.com> - 0.88.3-1 - New upstream release * Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.88.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Sat Dec 09 2017 Jerry James <loganjerry@gmail.com> - 0.88.2-1 - New upstream release * Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 0.88.1-1 - New upstream version 0.88.1. - OCaml 4.06.0 rebuild.