why3-all-1.5.1-1.red80> K KtĉH2!c31^ Wgeh support@red-soft.ru  Wg0F! BsN*7o +Cߍe0"*~+$Ѕ)ٴ*毅T?q$,SZތAb|yYʳ1_@ <7}T;1ˀ&EC3,RHMޏ<7ʪ|>*?d   L6 ?K_el   (890:~B tX |Y Z [ b d3e8f=l@\`fCwhy3-all1.5.11.red80Complete Why3 software verification platform suiteThis package provides a complete software verification platform suite based on Why3, including various automated and interactive provers.e'stapel80.red-soft.ruredosredsoftLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionRED SOFTUnspecifiedhttp://why3.lri.fr/linuxx86_64why3-1.5.1-1.red80.src.rpmwhy-allwhy3-allwhy3-all(x86-64)    Ealt-ergocoqcvc4gapparpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)why3(x86-64)yices-toolsz3zenon3.0.4-14.6.0-14.0-15.4.18-11.5.1-1.red804.18.0c$e@b)bb֜bbb=b@a@aaZ@aɪa@aqV@a\>@aZa`@``[`?z@`>`0`U_`@_1@_ǁ_mJerry 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-4Jerry James - 1.4.0-3Fedora Release Engineering - 1.4.0-2Jerry James - 1.4.0-1Jerry James - 1.3.3-9Jerry James - 1.3.3-8Richard W.M. Jones - 1.3.3-7Jerry James - 1.3.3-6Fedora Release Engineering - 1.3.3-5Jerry James - 1.3.3-4Jerry James - 1.3.3-3Jerry James - 1.3.3-2Jerry James - 1.3.3-1- 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.13- Rebuild for rebuilt coq- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild- Version 1.4.0 - Drop all patches - Validate with appstreamcli instead of appstream-util- Rebuild for ocaml-menhir 20210419- Rebuild for coq 8.13.1 and ocaml-zarith 1.12- OCaml 4.12.0 build- Rebuild for coq 8.13.0 - Update metainfo and install in metainfodir- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild- Rebuild for flocq 3.4.0- Rebuild for coq 8.12.2- Rebuild for coq 8.12.1 and menhir 20201201- Version 1.3.3why-all2.41-12.red801.5.1-1.red801.5.1-1.red802.41-12-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redsoft/redsoft-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redsoft/redsoft-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19x86_64-redsoft-linux-gnuutf-8aaada29e7a9cab643ee3cc4eee876ea240668b776a129e9787b275f57c1e91d523d0422b4fea28f771e872741bb370790b3cd0538eafb461233e820b84b57a2e?`(/h070701010bTRAILER!!!,8