why3-proofgeneral-1.5.1-1.red80> K KtĉH2!c31^ Wgeh support@red-soft.ru  Wg2KӖeI-kiOV[xt>pZ>tM.?sGD'{I>xpx~£@FqbG]FmSZ )ܙ跾I]Mvy>1i)WIӇ|!k&(1=kW͋MyAM x-n:M?=d " E|    ( 0 @  ,@\l(C8L9: GHI X$Y(\8]H^vbd7e<fAlDt`upvCwhy3-proofgeneral1.5.11.red80Why3 integration with ProofGeneralThis package provides a why3 plugin for ProofGeneral.e'stapel80.red-soft.ru=redosredsoftLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionRED SOFTUnspecifiedhttp://why3.lri.fr/linuxnoarch 1MA큤eQc2c2eC0335e4f9f17a11e0a27f26bc737df14b8ce38431fe8ec2f4d72a23f108d7177a809da0256507de3e162e61755ae86f7e035fff5ca00d92259192bfbf435550decc81d0a7182f7591d1face40d01d2b9e939fabb317ff11755f019b4093b2e8f3rootrootrootrootrootrootrootrootwhy3-1.5.1-1.red80.src.rpmwhy3-proofgeneral    emacs-proofgeneralrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)why33.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.31.5.1-1.red80why3-proofgeneralREADMEwhyitp.elwhyitp.elc/usr/share/doc//usr/share/doc/why3-proofgeneral//usr/share/emacs/site-lisp/-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-gnudirectoryLisp/Scheme program, ASCII textutf-81e7ffc329583ec79bf6ae849db3088e99e4014a9bf38065b1282a9e9d052bcaa92850d4c5ec12bc891404d2cd10db3ed7a4e4233be535d7886d2edd03e04975d?`(/h g ]h-`XQsBT AH!$7yB ssh27Yy'_? k-^dݽAdarOU*7:){n~Mu|# |TUF#!V;sHR.;}_j:nPiDi*(OMq[ƔTO_Z6ÓLoi;y_$ yhog.okt?z]'NrO!LJL'⍿[("i]maY"D4ޮᬽBf%H  Ҵ:%2'uFw:? ~? ?~N:As//j;0Gy0ԲO6Ki`DLFSM0m08RͷOӭ۸Zp2oKu港3)i]3T+%RQ\3$^o)|q0 hڵB){cJn'8|KiO_iHipu鷕 n:9ԛ~"c{}Ux nfX'짂0Ud 5UvY, l|$vTv^켩w3c.$ Qx?piC_VЂ#WŲ %XF(;]Jc.+8Lyv!JN'Z.,s0i&s!ߨB1E#"$I1 BQ"aH1BDh:t5 y=j@Nu  m-ˁ)bsZjDLVt|\LT$XC@'1wL9zrN)\ #q-!Ec?x Cj9y MܮeiM Za‘ ?tM&=+,!E(>Ij]f5$hw gb~IQkGY`@Ҿ' `ykPŗDl"=ˑBH%IL(AJAS2+u╥ t͚/a"ҡD$Ik"<7sJ8qlqMމhqfJV/(4% f-P*pWkJ|I|^ˍl_|\]k+XdJH( BI[J2YPplԬ ߡkvd8bg5d!i# "a=5 *E_* ¹QPC^ <vXW9&$Qa87{TY|c3 43tAf$a}e1KcyzE;^d \MJ+ CǾj{S_na` ]ɖ9(hz7д|qθ%DU&qFQB1`H w <.ߓrn*ϲߪ;>zVmȠz֤ (wԃxIȽyksN̰1 (;ɦ1(hb^f*{YA - VQƒi%@wDS}t٩F }3VC$#Ƅvsh/=k>=۽dpqUG^dKJ84j>1!M!2ύ^=ROO8$"]V𧸦g?MR2q_"? _BUAMbWhg-)4}L3Ŧlmʘr\8.c1aYI-^,ɾGSP5iF&Z-)uTdMG̫:S8ϰ>;Swmv n(Iyhʛ[{G|Z: OمhSSD5dϊ 5% QQRe6^%̻ 0?}\^gTOE_kMebҿ/PGۚ_𤸧{e޷;'bj@xP r"bY>&A[d$h=Oej ~R/͹gXZ-JkwV/mR؆rD)@D( ZTcʀ ռi ~Ciu%H&Qbe7}Ro?oϮF:uS#8 h5C ^^d[qV0ōR&ϻ-${4ocY<'6?GnϢw\f%KOOi, ؄Y$htS- VGY>qYF;dZ5#ጘh&$^z; Ǐ"_&*!=Hx#.\f ,Xf/[>SB 9YGƷPnMŻnsɳK<4.L>.h}\|w!1Zxy:j'-q{vN