why3-proofgeneral-1.7.1-2.fc40 >t 6 6_6 3!]W>D] 'p~[ye 'p~[yOqȵ@l ~R1ex!Fy}l%: >/\N&O4V2g_@F>k?|dJ=+I6~Sk%Y姾irj'wʜ2Z f3^>= aSB:;]%8;sqYx01\ǜF(F27)Yաh>@uKټ<^_tGq Q:0K%Bc: [;seIxk"ovI}ąa賘[]5,q.f#sڦR [Å#@->-gV_g9ITiz;xr[D-A1cc76e1d4951e3c34a30abd96b99614434fc281cf1249ab05b05b69b25794e19483fb7e9df12fb900277118eed4523382e6585c6030204a3204a9e00483046022100c26004890a28fb3452bcc4850d8d299e6cc576d28201e801ce9b02e7cf03e647022100fedea48cda50a56c19ef3eb1404ab36b6b92f36da9452a0dc4ce9b23022a2a58030204a3204a9e00473045022100f7fe837a0d39d385d432fece2955d1061be53eb35d03b5678bee5b37678661440220281c20343b2248016e9181b41e8b6587a5dd762fbcdd47155c9834cd683653ec030204a3204a9e00473045022023b40efb1a0b86434d3dd37fe1064395badaadd1e05bf86fc221984d92be39c1022100e4823bd5d6efe643463a7c04c081cef4c0c0be083a85e4857abdaf988961206d"3!]W>D] 'p~[ye 'p~[y@Jjn=N;"1e_؟ ad I?nby?#%*)r[ȧkBXebU^j/ 3lQpٜɌzsŊ/ z} S{UYqy@.ڹ~#7ڼJD * P7T3sN>*"qÍǭPcʔ-rB[rpd Ahynk: ;)R>zUOҐָ[X/='zA//kSJ #T7+r=>`;?d ! D|  *08H P X h , 0@Th=(j8t9: fG,H<ILXPYT\d]t^bdefltuv48\bCwhy3-proofgeneral1.7.12.fc40Why3 integration with ProofGeneralThis package provides a why3 plugin for ProofGeneral.ebuildvm-x86-09.iad2.fedoraproject.org:Fedora ProjectFedora ProjectLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionFedora ProjectUnspecifiedhttps://why3.lri.fr/linuxnoarch /A큤e0e6e6e00335e4f9f17a11e0a27f26bc737df14b8ce38431fe8ec2f4d72a23f108d7177a809da0256507de3e162e61755ae86f7e035fff5ca00d92259192bfbf435550dec162e11da74198f7d6e6ecc11e2de57a4c0c792500dce6cde8531e93a16b77a1rootrootrootrootrootrootrootrootwhy3-1.7.1-2.fc40.src.rpmwhy3-proofgeneral    emacs-proofgeneralrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)why33.0.4-14.6.0-14.0-15.4.18-11.7.1-2.fc404.19.1e@e@e@ee4@exK@e@d^@d@d\@dd~d@dd(c@cc @cca @c$e@b)bb֜bbb=b@a@Jerry 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-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-11- 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.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 notes1.7.1-2.fc40why3-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 -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-gnudirectoryLisp/Scheme program, ASCII texthttps://bugz.fedoraproject.org/why3utf-89c7f8fc16bbaabf5de9683c5663676659169899d529d1fd7fc4129dd19a4b96e456b8fb2df977b1819e7ebd59b89028858da292632974de31e6a0268dec9ff3b?P(/hbJZ,`X[-kEƀ NEz6 N'kgu1  ?D$G׹/sfvO`ni-rGG2vx R]wv.Rtr͠xҔĉ1bTU1Qj39»ȍ_ -d02$DZ V۵A($ɬCs],l8lK:r72h΍UP!um-$Ik04gNH; βÌ#lޭ۸Z>%:okZyEJ AO,X)ҪW)sX|7{yIw\Xtxq6I'f.0!""cB25#"$I1 "giPK Be#CD D$AR肍\~ղCV;ViUZ,6P+߇8^NZY;Ƽ먊 庴5 ɤAhDys& %MNR[8^ɨkP g5 NuAЧzR7 ~ΣP;!Q)p`N/egؑ)N_PCN)Z _];S1%"/JasV@ (=炞W"T>,ҍ:|?YCdD7?Ku}j;JhYhReDsLpRdMQ#O$Ex@LPEԉ(E4D != AB7B# T[q5 b`AП8^ f hacqY#,2a|G؞vј\Ң$*)u<$#UuM|񝜠9LZCpLX%J:Q9[,+puis] 'Jh{1\jY2!ӐWL_!LG~Q I'w-z),z%`<<,V6"V 'Z 8[)hW\Z Yltn=a])*!(ϧI_,`3ؒjP dPd&c7En|?OkIbjX#/vD;_H?O ׬?8U˶rх^&\=9x[p{'7zj8Tۻ{Qz cgqXx& 1m˜*C-?_fH2 VтxQ tP u;ƌ] Gxa ކA[G5X!̬"vN#9ûiq ~Kz/o*Ӱ"N̩I ZȎCK?ѯ!x=zG˞ vجY.6pԆEnRqVd;y&r\&σvI\<(i;`h ON:.v'^l@ahG$fI R ‡W=C4aG@O l"핖ZM_2JL^8 ')Xs Vt|f@- _hRrI]䃏D%M#`yFgfKNWzA'X1q}ziKFaN1XJ 97JlÓvF.&04OrWĞ,ko0kI(B