why3-all-1.8.0-4.fc42> 6 6_ ܉3!XPȬI^Dg ȬI^DXX8dg7(ul+ugJxZNs"("kYQ 9z !+ mh?y3Cb&Fz}?ëgwzX6(}R|m`ؾ_THX L=򘨗ӯ-RŁ1xKb=Aߞ'Zd`;хp|uߊ!x*$ʨ')?d   K&V eq   (89X: XYb6defl $(Lv|Cwhy3-all1.8.04.fc42Complete Why3 software verification platform suiteThis package provides a complete software verification platform suite based on Why3, including various automated and interactive provers.gbuildvm-a64-22.iad2.fedoraproject.orgFedora ProjectFedora ProjectLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionFedora ProjectUnspecifiedhttps://www.why3.org/linuxaarch64why3-1.8.0-4.fc42.src.rpmwhy3-allwhy3-all(aarch-64)    Ealt-ergocoqcvc5gapparpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)why3(aarch-64)yices-toolsz3zenon3.0.4-14.6.0-14.0-15.4.18-11.8.0-4.fc424.20.0ggg@g g g{fff`f=@fr@fj@fXj@f! @fg@e@e@e@ee4@exK@e@d^@d@d\@dd~d@dd(Jerry James - 1.8.0-4Jerry James - 1.8.0-3Fedora Release Engineering - 1.8.0-2Jerry James - 1.8.0-1Jerry James - 1.7.2-10Jerry James - 1.7.2-9Jerry James - 1.7.2-8Fedora Release Engineering - 1.7.2-7Jerry James - 1.7.2-6Jerry James - 1.7.2-5Richard W.M. Jones - 1.7.2-4Jerry James - 1.7.2-3Richard W.M. Jones - 1.7.2-2Jerry James - 1.7.2-1Richard W.M. Jones - 1.7.1-3Jerry James - 1.7.1-2Jerry James - 1.7.1-1Fedora Release Engineering - 1.7.0-2Jerry James - 1.7.0-1Richard W.M. Jones - 1.6.0-9Richard W.M. Jones - 1.6.0-8Richard W.M. Jones - 1.6.0-7Jerry James - 1.6.0-6Jerry James - 1.6.0-5Jerry James - 1.6.0-4Fedora Release Engineering - 1.6.0-3Jerry James - 1.6.0-2Jerry James - 1.6.0-2Jerry James - 1.6.0-1Jerry James - 1.5.1-7- Rebuild for flocq 4.2.1- Add patch for C23 compatibility- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- OCaml 5.3.0 rebuild for Fedora 42 - Version 1.8.0 - Disable documentation build due to bugs in 1.8.0- Fix the location of the icon- Rebuild for ocaml-re 1.13.3- Rebuild for ocaml-menhir 20240715, ocaml-ppxlib 0.33.0, and ocaml-zip 1.1.2- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Rebuild for ocaml-zarith 1.14- Rebuild for ocaml-ppx-sexp-conv 0.17.0- OCaml 5.2.0 ppc64le fix- Rebuild for apron 0.9.15 - New upstream URL- OCaml 5.2.0 for Fedora 41- Version 1.7.2- Use %{bash_completions_dir} macro- Build again because koji ran out of disk space- Version 1.7.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Version 1.7.0 - Drop upstreamed coq patch- OCaml 5.1.1 + s390x code gen fix for Fedora 40- OCaml 5.1.1 rebuild for Fedora 40- OCaml 5.1 rebuild for Fedora 40- Rebuild for ocaml-ocamlgraph 2.1.0- Require cvc5 instead of cvc4- Rebuild for ocaml-zarith 1.13- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Validate metadata with appstream-util- Rebuild for mpfr 4.2.0- Version 1.6.0 - Enable inference with BDDs - Add patch for coq 8.17 support- Rebuild for coq 8.17.01.8.0-4.fc421.8.0-4.fc42-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wno-complain-wrong-lang -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19aarch64-redhat-linux-gnuhttps://bugz.fedoraproject.org/why3git:https://gitlab.inria.fr/why3/why3.gitutf-8a40c7d44c2842691af995cb8481a68716dd35b228919357e7ef5749f0104905d23d0422b4fea28f771e872741bb370790b3cd0538eafb461233e820b84b57a2e?p(/hB mm GVsDZ,'#