why3-proofgeneral-1.6.0-6.fc39 >t 6 6_6 3!92d LuZLdB uZLlR/_kyd-9j{/窹``ŹM#]H_7,n%fƃ`u>Ik&dݱ .>:iwj~)Cޡ~ M%Au nئ[v -LbɗzFBscϯs-=>?F1<‡_ bIDsHȼ|?du@}_Lx824@Yb\ m}CfJGut ߇{Qxe/HX][mV:N By}.j?ɩ.Y؟;)/X.%0a6R.GiMF4Jc7cy͝bHgUw8hMZ yVUq@i/ɝQC)t`A6*4'v7./*bgIXK4A.Z~UPI\-ٓ$ݕ/C2=|T͐eΖaVϊA骀6>L+Fc5868f9f885f0e2911bfc01e619b01e7eb785d7cfdab4f63756d63f755b1ba16287ade6323e468d3e88d737eb0ccef3344be41bc030204388b603e0047304502206c13a2bcff37c0fc684e62700920c20eb2198873781766d49b031edf40b39416022100f22862338591c74a244ccc7240a1274dfa8dcb8592a587a13ff9413462cc478d030204388b603e0047304502203a74612629a6d964c25f54330578eec08616c0f9c828fc7ad25c6771d5414a47022100ceb3d82126945bf3e5edce232968fcef8185ce6ec78ec66bbcadcdff560a5494030204388b603e00483046022100f0951dfa62a7394ae5543957f402c9fbaabf1acd91b21def2ec666f2d0bc68de0221009ef99f91476e2f424c3842393fe643bbebef6c214940f75c985af92aafe700b3"P3!92d LuZLdB uZL[2%6}CXܣ Ɂ*<݀UnItK(7:VBp)vׁ-&yŒv馎_pǿi)8CE)%n2Yk;4x'-涂o$eղ ȼ\ ZZk`c&X, -loJSo"ѸD#16J ʟrX3ZV=n0? \lH~Z7ڎz1vZb+~Wk# ʻv!ҙy>Y Xa/zDTi1stE#үzEuRE $\%`J)DR7 oy\b5@9ǎ~ \' _S'fq4va(1L(/²@]/t25`;5?%d ! D|  *08H P X h , 0@Th=(j8t9: cGhHxIXY\]^b,defl t$u4vDptCwhy3-proofgeneral1.6.06.fc39Why3 integration with ProofGeneralThis package provides a why3 plugin for ProofGeneral.dbuildhw-x86-01.iad2.fedoraproject.org:Fedora ProjectFedora ProjectLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionFedora ProjectUnspecifiedhttps://why3.lri.fr/linuxnoarch /A큤dddd0335e4f9f17a11e0a27f26bc737df14b8ce38431fe8ec2f4d72a23f108d7177a809da0256507de3e162e61755ae86f7e035fff5ca00d92259192bfbf435550de78ff7ac79d6b062d13f31cfde06b9748e2efe8049cbb022bf5977f5d5b7e248erootrootrootrootrootrootrootrootwhy3-1.6.0-6.fc39.src.rpmwhy3-proofgeneral    emacs-proofgeneralrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)why33.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.131.6.0-6.fc39why3-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-87313925b509fc853f81323f1bb7b1bec9fb219516ca99c32bd7bdcb169148f7d3562f6bd47e1267f4f617fc39800c128838db22e41edc769fb8d5323d26721ca?P(/hbY-`a`T|ҁaB)ˉ<́BNHL ]7 NNBW=r3s_@S{TQ7ZNSU1d[$V6AY#Q)c$c0ϣ.fs_SS0V*"GIaC[ ry^nsihq2ZYY3Ύ^qISd);/e $S $p@DȈOF-۵A($ ɬ C8.s]i8lK:1A-tn/zkenk)vvU"^#9uBiwuf)g-]ner]Oʼ-ay[Ӻ,Re-Vz$UeJTV]^̵: J?@]jsŇspA9f[k\aTKF vW~[鬷SMiG96{[qo3 ]Ȇg,\{{~;|ymŋ"s ueeu>$j)픸Qsq^y,|Di̶_)dcv{eV~$xHPX<:6V 8RXǼ,e*0Մ8N9L𨮣_'.tXl,63goaFM^p LHeK3*t|{VJ M[v-q[߼rc썧vݭ Ͷ(4ݧvH0as(T3$I L6dlY +,SWoU:H{kXN@Cf6]; APޘ14H[n4ձGF\808%҈4uE(ai.6첞E ]bcV 6R fY }C i\>Mp@^E8~|y9Ô/)٫(C[+#>l7CO\VG0CD B25#"$I1 "gaRi oQS( -CU{e<ϻHֲZǪ/킕K|[R!~@5;֪q#ZNر7N_O>='3"zԦPJ75yXb@~;:A,PnApD"L0_(g8 ChΓ +!#>D?Q/EFog"P+ Pe?LAk wޘ F>f|yXO)h"֕!>!Åe:SJˆ9łh h9 q4ٗ$> |v1>Y{v/FT.Tzf;]E cRCDTgh͙c7tG- |T~7us4N'^7(6w "$jvT/#<'la Oҿ#L0n 3^|Ə:,9'neh_MĊ~E!W``J\@}`pXy;ۦLx^.cR^$[(Sz錛UB*vNczO muv/ juЌF 3SXZy߬`5t1p]m1.Θ ƌgv_ }v_rXF_+$8ʟ-"m]@π 7_@Z;ы=>s#F&Bztt&WMzƐm?_]N,Kp \m\U@<ؠG*A 9ei{-1#[([DIy3F\\N`}C~x N^*(U.pԆ%dG [ތΡ_ʼ *0x@ (@c>iFO5J7\SZ'.` M[x_,!dhܖ'Eѳ1f4@db88J)W!E+D6uޢLӳ+/+LI="k~B:l=IN;,PѰ|p-Iz|"Qylo6-EnWpPh<(Y*:?Z|a=$C{jVF1G@!s/ět/c|0qfڨK{ת5:ihoJ~UȒgBgV 9%\ Lb ;oa/Ot8p++O`q0e@~9 ODPk>†v~Jxt8qi-J+/SOULw* '̵u(@!3Ei-/N_K;bLs Ѓ 'm tolyV&-=d'fkn^DAP6k.+):I1b8=2?=V"ʼg샃cli6ઋZ>$+&V2.v1so.]ӼlwyQ8͋{5pJAnP+"αc3< hhM*jtjk|[ XB&R%w%&oJL- Ƽ!