why3-proofgeneral-1.5.1-2.red80> K KtĉH2!c31^ Wgehsupport@red-soft.ru  Wgo3-hB8Zสe?Icu FawPkh<~ek+cSIAJ!nۈ-t! N>;y3hhB6HI)Ȃ,u6AV]*K8iZ!` xDŽF6,IN"]GXyە Cʔ\ hꌗɕW 8NO7&, ޑc߬FTb|QEt'=pD~6b080aac26f0eafb04af5d08aad6a8005ca7c48262d0a87d50e7a5caeb3adb3ef701cab39a549771027dd5f7b9ca3e617cbfa5faPLzuݩ8 ?>: I? 9d " E|    ( 0 @  ,@\l(C8L 9t :b GH IX Y$\4]D^rbd 3e 8f =l @t \u lv |     Cwhy3-proofgeneral1.5.12.red80Why3 integration with ProofGeneralThis package provides a why3 plugin for ProofGeneral.eTxstapel80.red-soft.ru=redosredsoftLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionRED SOFTUnspecifiedhttp://why3.lri.fr/linuxnoarch 1MA큤eUc2c2eU0335e4f9f17a11e0a27f26bc737df14b8ce38431fe8ec2f4d72a23f108d7177a809da0256507de3e162e61755ae86f7e035fff5ca00d92259192bfbf435550decc81d0a7182f7591d1face40d01d2b9e939fabb317ff11755f019b4093b2e8f3rootrootrootrootrootrootrootrootwhy3-1.5.1-2.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-2.red804.18.0eAc$e@b)bb֜bbb=b@a@Alexandr Subbotin - 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-11- rebuild with new ocaml-mlmpfr- 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 notes1.5.1-2.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-82bdfca54c6fae9e07ca1d7286299151e130b13d41c7a22931aaab81906d2ab9afc2bfcb34cbda5fe38b83428d617966e396b32fc76307b368475383509fc2009?`(/h gj\X-`XQsBT AH!$7yB ssh27Yy'_? /2 20ȧMqݔy7|?䦊:~\KI\#}9^RT_/5^g7(k44mbYUUu듥iu9v#|ܘܯe=Lh[ vdzKA/m"%IGy(xŮ-~6:NzO Kޟ|)C'O5<&QD! !22xz0 }@ }\XB4MGd_3`+שM9$,1=L=7[ҏø0HO6z?MojVI6ʼ-ay[ԧi{wB$RUHEqG9W'$zK[$@Ri{ )uPv[T*U}h/=}!z եV:+`SofUnaV֯j T'T7], l|$vT(ySew3[y:;Q) Y?ۙÝP5azuTD}Ǹ͕i" x`[w` \0W YOX.DZLTaG8L]qidؤ7q5n#~`a_ KvoV~]!yDc{uJ IHqd2RˉBgη1Rb;7mk_9v}sʍM7۵~4QE"H:Xaҹ ϼjɎ<`x4 8 `! hѠ&4Cc#ccCiXs{Qbi,dد LƱ`،tdpdD%4*hD`s 12 Ӯ IߵsK.dkɵAVka6? I|\.I 7O%Ҋ:xg/g4GL*eyuJ\Qv.+8Lyv!JN'Z 0is!B1E#"$I1 BQ0qb !DHDDD4I t5 y=j@tu  m-ˁ)bsZjDLVLt¹vs!h';p<(C.LH.tKjH~hoTzHm6')ŵS^.Ԕ-{:@0\8R KGxbٳUB^FeVC&?`:[4)jM# (T],ym*7M$g9R$`#B4Ɂ%H)hJcR4C5{Y%j-SD:iMxNI'~c-I;-ԬUi LCD[pr-TqJՠ4hT^% &R'i(KΨجk2%x$?$y%D(8DB6jVlHP5;NL3{{Ѵ^Qd/(\ C^ vlb@{.Yf<&Qe 4R9q=Ĉܫf<yhVݸ!N2 Dbю]dY4.-eG|(eTSSqF?):o&ȶp/mEeB/'N1ʘ.v៱"P&KuyT7Es^i^+z wtW0+l<Cdёf;!.\+\3YŦXiɯگb #e8j:^pjFx&_#kLic`)6}y*hw <9j?xQ? N}0mJkҧmtNM9恄8dapI?= 1qO=;):柴ig R&k&߫N## e"0ARCᙴƴ5!:J3JjLq>>kڽyw!槏+LYT NX&T&P0#tj@>ƓRy{O &TTw"_Np}B6KD9d Tn5 dDY 悁5L7{eWlC2f6k@;t(M's] RQ1MAf IX9o+1F$4bU+fr4B!mWF7JJ.カ2 N'Yy A ݴ4X?p \ecGYSq9}2U5#Xneŝ&פ^&z;EK8~[z\`x\fA p5>Hu4 pT9fh/L)o F ]PǦ84Hqatp[Q .qy,Ã۱UɢLCTZ6 ࠓ@ѣ &I\>2' }ĢQz7C¡Y,w`=ؐP/|Eduqecs;2pLL5>a9POi0 ]; gq`$޹m:A wlXUJ v*R-+\zmyEEq^Qj9=}NizA10Mia2%oߨ