why3-all-1.6.0-6.fc39 > 6 6_6 3!92d LuZLdB uZL ÛK |PZǝLxÂJEXQd*򳓿Fҁa2$\SG&rDd%fK8#5j?yLpD`zh4 NCMV#+%$"NG|:ߕ<ǠWmD޴PS( >gB7Q$<XZ@=(N rڛkD,r`|>p+?d   K&V eq   (89X:B X Y Z[b defl@FCwhy3-all1.6.06.fc39Complete Why3 software verification platform suiteThis package provides a complete software verification platform suite based on Why3, including various automated and interactive provers.dbuildhw-x86-01.iad2.fedoraproject.orgFedora ProjectFedora ProjectLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionFedora ProjectUnspecifiedhttps://why3.lri.fr/linuxx86_64why3-1.6.0-6.fc39.src.rpmwhy-allwhy3-allwhy3-all(x86-64)    Ealt-ergocoqcvc5gapparpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)why3(x86-64)yices-toolsz3zenon3.0.4-14.6.0-14.0-15.4.18-11.6.0-6.fc394.18.92d^@d@d\@dd~d@dd(c@cc @cca @c$e@b)bb֜bbb=b@a@aaZ@aɪa@aqV@a\>@aZJerry 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-7Richard W.M. Jones - 1.5.1-6Fedora Release Engineering - 1.5.1-5Jerry James - 1.5.1-4Jerry James - 1.5.1-3Jerry James - 1.5.1-2Jerry James - 1.5.1-1Jerry James - 1.5.0-3Fedora Release Engineering - 1.5.0-2Jerry James - 1.5.0-1Jerry James - 1.5.0-1Richard W.M. Jones - 1.4.1-3Jerry James - 1.4.1-2Jerry James - 1.4.1-1Richard W.M. Jones - 1.4.0-11Fedora Release Engineering - 1.4.0-10Jerry James - 1.4.0-9Jerry James - 1.4.0-8Jerry James - 1.4.0-7Jerry James - 1.4.0-6Richard W.M. Jones - 1.4.0-5Richard W.M. Jones - 1.4.0-4- 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.0- Rebuild OCaml packages for F38- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- BR tex(tgtermes.sty) to fix FTBFS with TeXLive 2022- Rebuild for coq 8.16.1- Rebuild for ocaml-ppxlib 0.28.0- Version 1.5.1- Rebuild to fix coq dependency - Convert License tag to SPDX- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild- Remove i686 support- Version 1.5.0 - Add ocaml-mlmpfr support - Drop unmaintained man pages - Use new OCaml macros- OCaml 4.14.0 rebuild- Rebuild for coq 8.15.1- Version 1.4.1- OCaml 4.13.1 rebuild to remove package notes- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild- Rebuild for menhir 20211230- Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11- Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128- Rebuild for coq 8.14.0 and menhir 20211012 - Add -coq8.14 patch - Drop XEmacs support- OCaml 4.13.1 build- Try to build on s390x with OCaml 4.13why-all2.41-12.fc391.6.0-6.fc391.6.0-6.fc392.41-12-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19x86_64-redhat-linux-gnuhttps://bugz.fedoraproject.org/why3utf-8a40c7d44c2842691af995cb8481a68716dd35b228919357e7ef5749f0104905d23d0422b4fea28f771e872741bb370790b3cd0538eafb461233e820b84b57a2e?P(/hB mm GVsDZ,'#