Tue, 17 Dec 2024 04:40:17 UTC | login

Information for build why3-1.3.1-6.fc33

ID155847
Package Namewhy3
Version1.3.1
Release6.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/why3.git#957d86beca9b1aa57fe94e8a5944d5e03a22f0e9
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 bydavidlt
State failed
Volume DEFAULT
StartedThu, 16 Apr 2020 14:54:59 UTC
CompletedThu, 16 Apr 2020 15:10:55 UTC
Taskbuild (f33, /rpms/why3.git:957d86beca9b1aa57fe94e8a5944d5e03a22f0e9)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/why3.git#957d86beca9b1aa57fe94e8a5944d5e03a22f0e9'}}
Tags No tags
RPMs No RPMs
Changelog * 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 * 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.