-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2025-3b699f421b 2025-02-07 02:06:08.585099+00:00 -------------------------------------------------------------------------------- Name : prooftree Product : Fedora 41 Version : 0.14 Release : 5.fc41 URL : https://askra.de/software/prooftree/ Summary : Proof tree visualization for Proof General Description : Prooftree is a program for proof-tree visualization during interactive proof development in a theorem prover. It is currently being developed for Coq and Proof General. Prooftree helps against getting lost between different subgoals in interactive proof development. It clearly shows where the current subgoal comes from and thus helps in developing the right plan for solving it. Prooftree uses different colors for the already proven subgoals, the current branch in the proof and the still open subgoals. Sequent texts are not displayed in the proof tree itself, but they are shown as a tool-tip when the mouse rests over a sequent symbol. Long proof commands are abbreviated in the tree display, but show up in full length as tool-tip. Both, sequents and proof commands, can be shown in the display below the tree (on single click) or in a separate window (on double or shift-click). Prooftree can mark the proof command that introduced a certain existential variable and thus help to locate the problem when Coq says: No more subgoals but non-instantiated existential variables. -------------------------------------------------------------------------------- Update Information: See https://ocaml.org/releases/5.2.1 for changes in ocaml 5.2.1. All other packages were rebuilt for OCaml 5.2.1. VCS fields were added for packages lacking them. Other changes are as follows: alt-ergo: Correct the License fields from Apache-2.0 to CECILL-C apron: Add an upstream patch to fix segfaults in OCaml GC coccinelle: Build in verbose mode haxe: Add patch to fix missing labels errors and warnings hevea: Install into %_texmf_main instead of %_texmf ocaml-cairo: Update to version 0.6.5; see https://github.com/Chris00/ocaml- cairo/blob/master/CHANGES.md ocaml-calendar: Add a patch for a time zone-specific test failure ocaml-camlidl: Add an upstream patch to fix segfaults in OCaml GC ocaml-camlp5-buildscripts: Update to version 0.04; see https://github.com/camlp5/camlp5-buildscripts/blob/master/CHANGES ocaml-camomile: Correct the Licene field from Unicode-TOU to Unicode-3.0 ocaml-cppo: Update to version 1.8.0; see https://github.com/ocaml- community/cppo/blob/master/Changes.md ocaml-cryptokit: Use zlib-ng instead of zlib ocaml-csexp: Bump dune lang from 3.15 to 3.17 ocaml-ctypes: Add patch to fix FTBFS in a test ocaml-dune: Update to version 3.17.2; see https://github.com/ocaml/dune/blob/main/CHANGES.md. Also update the License field for changes in vendored dependencies and drop the upstreamed furo patch. ocaml-extlib: Update to version 1.8.0; see https://github.com/ygrek/ocaml- extlib/blob/master/CHANGES ocaml-fileutiles: Update to version 0.6.6 ocaml-findlib: Update to version 1.9.8; see https://github.com/ocaml/ocamlfind/blob/master/doc/README.xml. Also change config name to findlib.conf to match upstream. ocaml-gsl: Update to version 1.25.1; see https://github.com/mmottl/gsl- ocaml/blob/master/CHANGES.md. Also, drop upstreamed patch to link with flexiblas after gsl. ocaml-lacaml: Update to version 11.1.1; see https://github.com/mmottl/lacaml/blob/master/CHANGES.md ocaml-lwt: Update to version 5.9.0; see https://github.com/ocsigen/lwt/blob/master/CHANGES ocaml-mdx: Update to version 2.5.0; see https://github.com/realworldocaml/mdx/blob/main/CHANGES.md ocaml-merlin: Update to version 5.3-502; see https://github.com/ocaml/merlin/releases/tag/v5.3-502 ocaml-odoc: Update to version 2.4.4; see https://github.com/ocaml/odoc/blob/master/CHANGES.md ocaml-pcre: Update to version 8.0.2; see https://github.com/mmottl/pcre- ocaml/blob/master/CHANGES.md ocaml-pcre2: Update to version 8.0.2; https://github.com/mmottl/pcre2-ocaml/blob/main/CHANGES.md ocaml-postgresql: Update to version 5.1.3; drop all patches ocaml-pp: Update to version 2.0.0; see https://github.com/ocaml- dune/pp/blob/master/CHANGES.md ocaml-ppx-deriving-yojson: Update to version 3.9.1; see https://github.com/ocaml-ppx/ppx_deriving_yojson/blob/master/CHANGELOG.md ocaml-qcheck: Update to version 0.23; see https://github.com/c-cube/qcheck/blob/main/CHANGELOG.md ocaml-re: Update to version 1.13.3; see https://github.com/ocaml/ocaml- re/blob/master/CHANGES.md ocaml-res: Update to version 5.0.2; see https://github.com/mmottl/res/releases/tag/5.0.2 ocaml-sedlex: Update to version 3.3; see https://github.com/ocaml- community/sedlex/blob/master/CHANGES.md ocaml-spdx-licenses: Update to version 1.3.0; see https://github.com/kit-ty- kate/spdx_licenses/blob/main/CHANGES.md ocaml-sqlite: Update to version 5.2.0; see https://github.com/mmottl/sqlite3-ocaml/releases/tag/5.2.0 ocaml-version: Update to version 3.7.3; see https://github.com/ocurrent/ocaml- version/blob/master/CHANGES.md ocaml-zip: Update to version 1.13; see https://github.com/xavierleroy/camlzip/blob/master/Changes. Also, use zlib-ng instead of zlib. opam: Update to version 2.3.0; see https://github.com/ocaml/opam/blob/master/CHANGES z3: Update to version 4.13.4; see https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md -------------------------------------------------------------------------------- ChangeLog: * Wed Jan 29 2025 Jerry James <loganjerry@xxxxxxxxx> - 0.14-5 - OCaml 5.2.1 rebuild for Fedora 41 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2025-3b699f421b' at the command line. For more information, refer to the dnf documentation available at http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- -- _______________________________________________ package-announce mailing list -- package-announce@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-announce-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/package-announce@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
