why3-1.8.0-1.fc42 | Build Info

Information for build why3-1.8.0-1.fc42

345146

Package Name

why3

Version

1.8.0

Release

1.fc42

Epoch

Source

git+https://src.fedoraproject.org/rpms/why3.git#d46d748db4f410b4117a3991120477b724062201

Summary

Software verification platform

Description

Why3 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.

VCS

git:https://gitlab.inria.fr/why3/why3.git

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Sun, 12 Jan 2025 20:28:57 UTC

Completed

Mon, 13 Jan 2025 00:00:37 UTC

Task

build (f42, /rpms/why3.git:d46d748db4f410b4117a3991120477b724062201)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/why3.git#d46d748db4f410b4117a3991120477b724062201'}}

Tags

f42

RPMs

src
	why3-1.8.0-1.fc42.src.rpm (info) (download)
noarch
	why3-emacs-1.8.0-1.fc42.noarch.rpm (info) (download)
	why3-examples-1.8.0-1.fc42.noarch.rpm (info) (download)
	why3-proofgeneral-1.8.0-1.fc42.noarch.rpm (info) (download)
riscv64
	ocaml-why3-1.8.0-1.fc42.riscv64.rpm (info) (download)
	ocaml-why3-devel-1.8.0-1.fc42.riscv64.rpm (info) (download)
	why3-1.8.0-1.fc42.riscv64.rpm (info) (download)
	why3-all-1.8.0-1.fc42.riscv64.rpm (info) (download)
	ocaml-why3-debuginfo-1.8.0-1.fc42.riscv64.rpm (info) (download)
	why3-debuginfo-1.8.0-1.fc42.riscv64.rpm (info) (download)
	why3-debugsource-1.8.0-1.fc42.riscv64.rpm (info) (download)

Logs

riscv64
	state.log
	root.log
	hw_info.log
	build.log
	mock_output.log
	noarch_rpmdiff.json

Changelog

* Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> 1.8.0-1 - OCaml 5.3.0 rebuild for Fedora 42 * Mon Oct 14 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-10 - Fix the location of the icon * Sun Oct 06 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-9 - Rebuild for ocaml-re 1.13.3 * Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-8 - Rebuild for ocaml-menhir 20240715, ocaml-ppxlib 0.33.0, and ocaml-zip 1.1.2 * Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.2-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-6 - Rebuild for ocaml-zarith 1.14 * Wed Jul 03 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-5 - Rebuild for ocaml-ppx-sexp-conv 0.17.0 * Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 1.7.2-4 - OCaml 5.2.0 ppc64le fix * Thu Jun 13 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-3 - Rebuild for apron 0.9.15 - New upstream URL * Thu May 30 2024 Richard W.M. Jones <rjones@redhat.com> - 1.7.2-2 - OCaml 5.2.0 for Fedora 41 * Thu Apr 18 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-1 - Version 1.7.2 * Mon Mar 25 2024 Richard W.M. Jones <rjones@redhat.com> - 1.7.1-3 - Use %{bash_completions_dir} macro * Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 1.7.1-2 - Build again because koji ran out of disk space * Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 1.7.1-1 - Version 1.7.1 * Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 1.7.0-1 - Version 1.7.0 - Drop upstreamed coq patch * Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 1.6.0-9 - OCaml 5.1.1 + s390x code gen fix for Fedora 40 * Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 1.6.0-8 - OCaml 5.1.1 rebuild for Fedora 40 * Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 1.6.0-7 - OCaml 5.1 rebuild for Fedora 40 * Sat Sep 09 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-6 - Rebuild for ocaml-ocamlgraph 2.1.0 * Sat Jul 29 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-5 - Require cvc5 instead of cvc4 * Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-4 - Rebuild for ocaml-zarith 1.13 * Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.6.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-2 - Validate metadata with appstream-util * Thu Jul 13 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-2 - Rebuild for mpfr 4.2.0 * Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-1 - Version 1.6.0 - Enable inference with BDDs - Add patch for coq 8.17 support * Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 1.5.1-7 - Rebuild for coq 8.17.0 * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 1.5.1-6 - Rebuild OCaml packages for F38 * Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.1-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

Main Site Links:

Information for build why3-1.8.0-1.fc42