why3-proofgeneral-1.7.2-8.fc41 >t 6 6_ ԉ3!Flض zE>b$bjf7v b$bj׃qEa.,;R P$q 8EFJ٣cKUTw97tlgqTopxK<ɨOpBoiǪ01AXW& /d%50rZ;uYW%B&TmuZkGQ7.6fh'S.k5 nZnQRl7}-C q9<"~}#!{q=>3.lϰ /y[O-U`<?d ! D|  +18H P X h , 0@Th=(j8t9: GHIXY\]$^Rbdefltuv(RXCwhy3-proofgeneral1.7.28.fc41Why3 integration with ProofGeneralThis package provides a why3 plugin for ProofGeneral.f mbuildvm-x86-05.iad2.fedoraproject.org:Fedora ProjectFedora ProjectLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionFedora ProjectUnspecifiedhttps://www.why3.org/linuxnoarch /A큤ff ߟf ߟf0335e4f9f17a11e0a27f26bc737df14b8ce38431fe8ec2f4d72a23f108d7177a809da0256507de3e162e61755ae86f7e035fff5ca00d92259192bfbf435550debb5501894fa61619145f53a58ffc77d3db3d67efc53d0cbba0459e5589e5b817rootrootrootrootrootrootrootrootwhy3-1.7.2-8.fc41.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.2-8.fc414.19.92fff`f=@fr@fj@fXj@f! @fg@e@e@e@ee4@exK@e@d^@d@d\@dd~d@dd(c@cc @cca @c$e@b)Jerry James - 1.7.2-8Fedora Release Engineering - 1.7.2-7Jerry James - 1.7.2-6Jerry James - 1.7.2-5Richard W.M. Jones - 1.7.2-4Jerry James - 1.7.2-3Richard W.M. Jones - 1.7.2-2Jerry James - 1.7.2-1Richard W.M. Jones - 1.7.1-3Jerry 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-3- Rebuild for ocaml-menhir 20240715, ocaml-ppxlib 0.33.0, and ocaml-zip 1.1.2- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Rebuild for ocaml-zarith 1.14- Rebuild for ocaml-ppx-sexp-conv 0.17.0- OCaml 5.2.0 ppc64le fix- Rebuild for apron 0.9.15 - New upstream URL- OCaml 5.2.0 for Fedora 41- Version 1.7.2- Use %{bash_completions_dir} macro- 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 SPDX1.7.2-8.fc41why3-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 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19x86_64-redhat-linux-gnudirectoryLisp/Scheme program, ASCII texthttps://bugz.fedoraproject.org/why3git:https://gitlab.inria.fr/why3/why3.gitutf-8a47761bdbb7410b2bc496e214b1d07eb93d77026f8396d61be7212feb4e0a78e331d07b94478dae1b0454250f06cc8763346fce662b8fe0e2e633505e2c0de92?@(/hb*Y-`V[C*>RJCƎG]~fv0'( ^ ݟ("nUEVH o4ǵ* 5b!<طڙC üR:AY#Ѥ/cPaʈDօ9v#||+k_"rntxxRy-m<1WUe88C--vgO'iZ]ʗ2>DdKy!o݊P >>tdƁ881@x6zps*:6+;hfd3&hz76h%2X]!S]YJ$5zzn\'qoۇaƑnoIe[ٷq^W+%dޖq-떵X! aX.8vsu~./F {?em1REE4/4ZWtSp a=AnaV֯HdK؆Eˢs12 %:4ԃ}6 vvI.Gyfy,Di:Dώ<l*ʼ3XϟQ DkK3 D>ZG7#=#64YM YKh`1 LKh8-DLFXf96X4NrЙa';7mk_9v}ɍM7۵~4: f %y??R_EQ DFN'?8XNA缊ȏ]|t@]l':ȓq>傁Raa u0g5p&Ayc8 "m`h2.0*BFQP":D&(%`t-{+D4~:w]mמ9ڤDK_Aݎo^ Y2UU"Xqq,ƹT3HEwrB#уpCɳ[ MFQe B25#"$I1("giL "C!"R"&I (>NY_!W;;4_ê~Z,6-[,53tTcOT _: m4AH VֆcA@m[R<ֳZX[tM(@|MH lS?Q/֨ړN#gؑNՈzQYF=)2?}BLtP),v& U,kEgIJR!B֊^O!hPqJx:O w+&{ROi c5V*0[d"ٳqD|Z43 U:蜦Mx@A:d4qQ(#HHZINJYb7 ÃOgg]| )`nFAuޙ|W G1u񝣮͙3Ef1xUҡܹ'@Z]76{K` X[Ùxx2 ɲbNaʯS`ŋqrY)q>|8Kތa7:ۖ;='|fLWJEre2E LؤUW@al2P1l=*ۓP@`RNrv11k~GkH(yKc8ݞgȈ'(D+gz$_ce<@o\ o{vx ^6 c ,p)SQ FitiV+L$S{ p4{ :;\ծ 02oCNMc-_Nc񣉚A,Ot6RqOfPcX4۹hFU=[eF^<'M |,)>ᑜ`,>`հES`oB~\ 0'lP_7b=&x6h!l*6~4;<.%GדՆs-_E aMazcCXI!R)ށ &!HVR!UY^ X..͜Fm8rq%at=/n*Ӱ"NSWKmZ5 b%z.^tgB:k aT\nSέ^ƒ@y+&u9zN^ÇA|[QF*G(\5Jz<ڏ)'`-^,fhKH rm,bō'u7NTY !bů'ਅF-MHJB]'{>֜Kĝ~9zrYc{Di"$J87q`&q#Х2(K~uԥ* t*+uo{5m$~3`rҿ PXs 6u yϬ i(YG[֌xӳTf7 e[ Q1dy1]~oM{*&vo|"'CuT Eu(oPx^6ߗ2Ět ] 0ُy$4:LΎ-0Kŗp_)iO䏂DS 67nQTG<3w _M 8yl^[_2X$z5]An<>"V.FKk,7ZI <m## ~@Ʋ {r1n7c3U|} E=cC-K5.A "bDxKA-D8D.њՌݝ?1]ÿ1 @>})eI0- ~P`7p"W E-