why3-emacs-1.7.1-2.fc40 >t 6 6_6"48 <3!]W>D] 'p~[ye 'p~[yAҖbJh-Qi7dpO.J-nKYϫ %YG=r8!0촞f&pK v~{2eUCSkq__Ҝ#&~ mE[>.Ix åNDY>o] %XF{ mWPj<$~:?2E)+a2{C eTi_P}va::h2 ;" pOGLlT?i(6nS%*p~!,a2nNʔ^a1>O'D=)E!N+n{شy%DrB:AmLgJ~H=kJlPG#Zd91f'hmB 6'{'Bsk2A:f UKߋ!R6~96b 眡/zD"!3{utпu&2;\,UVcl? \fbdca288251032ef2b713dab0d9cad62c52a130f6ca249d40e5adbb3310a590db0b19a9378022283e2e9fe5a8474eec6eee9e41a030204a3204a9e00483046022100cfdb8db97a121e74140a9614ecb33d863ef6b9555850aaa7075ee1899adbc388022100f0ee28a336b4c0c641276ac32c56766ae82d97b8853cabc127658d25feeadae6030204a3204a9e004830460221008f711c54e3d38a611498b4da161480b7bfa9464ff4835000c082e003a7f04f2e022100904f4125aac85a8c556764da9955fb1fe6929ef9820069d835c376d2341e4571#_3!]W>D] 'p~[ye 'p~[y#BCK$%ˁoՔU%dT{/eX @CtOs:G$5*b821Un $%/%׃E |}ŵPe |myawM0Rx9Δ2l%,T+itT3ADˢЇ ?b;*vH#MOs%a<cH͝1~tI ujHE{-.04'K0/&sr"TJ,F`zyx%c%9Xw'QPBac<ˑH;NeHRY® dZis8ݛYgja1~|^:JrYX$stǥpq_TȠ;j7l3#F(8aׁdLR-,yjT'3 >`;?d   < !6<DL P T \   ,D(89d:G H I X Y \ ] ^ bdefltuv 04X^Cwhy3-emacs1.7.12.fc40Emacs support file for why3 filesThis package contains an Emacs support file for working with why3 files.ebuildvm-x86-09.iad2.fedoraproject.org1eFedora ProjectFedora ProjectLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionFedora ProjectUnspecifiedhttps://why3.lri.fr/linuxnoarch^e6e0d60704255ea6de37e65561d70e173bb50c5889a3ea3e1f9e785c9116a0884bdade1909c6c9778864bc446899dc3c7e9f045af5870acc8aba03495dab467e95edrootrootrootrootwhy3-1.7.1-2.fc40.src.rpmwhy3-emacs    emacs(bin)rpmlib(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.elwhy3.elc/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-gnuLisp/Scheme program, ASCII texthttps://bugz.fedoraproject.org/why3utf-822b1c78398e83137b3e3353074ba071686f28139ebc7eb5638f0cab625e1c7ba91149339a9b9977fa611bf7fd13d826575398a22d99a85e849101ad7f52cb705?P(/h uZq+PyjP4prrJ7 8FܒqV79MLii\EVYgLdNlvj&oIn?=<n&)orY?CS3eiAISMOܑ]k 6ڵRY;O8Y0,bn60 b؄aB˵'x4L$TXΉv墳  vvR򈫝Y~&X]c$ {q&R+9,!|n '7I2i V*,~K? B=Y#hÓJ'zᑋ˒P"` &kʵ6QI\gNcIe`AQ&#GCy~Av .5")a0/GJҮՏ\/{&Ҙus%M!r뙟R'-uH(o:_6?^euRymR\;M)D".gQ<~`|X"|f?Y,|t!==sK'26sEC\;NzzËCA :۬sě Q ʘd24;lj}Z[;2wM;(rִ;n)[',-Hϵ 4( tȤP*Â#pQG:`bY ZKsUu]3$Xƙˢ&H]SƪHaOo!ee0ƺ99/RXbyudySaCUXeqTNa,,uimfΞRYMwNMLg60V֩(_)}m4O71-Fh9*t50R&SkeZn\o%|#F/Ns8/J.`XP sי7g%3~A[jUJsqKIj9H4 +|؞)*d.+ rNT4s޸#iWjU+Ac,i&$m-|aV\ >6 u࣢,aXJT G`UEP4 (OK *PDeW6kOtHT$'ax#(ԷӑƃXaCE}y?o+vAQ򣹬]Z SP97la}ok $?N6si<`bC_*$p@QD2wBbohlgE}OxfJ}P"UQ[6(c%0Qed1b $/q,A?(hi`y)`?ܫSΑ Zh2H>M &5ULVdA;@c h?\DSw f%Zv"9 !)?gN|a BWb=)%W > 0rq{L:dBa-XzZi]s$Ԕ^"Fkc!>Wd ]תLȧ!l;u$+m܌#Q*P4Rh ~|MDz%CP-HOA !}>(%IEA2e_[b Wg) @%kGsXaWGI4.)#KӾR53/a$<hE2:Uc0_3P]A?lv7ed╖kϥo&_@iOš`ƟU?Uc3+xS7l+7h!^p脖ubt,y3d˱>e8gD<Ȕ;X`(M"=D?ˉs(U [uBdH9!ͮx Er)JwV]{otbsw:}~!lULM҃=@bE<_"V:Td?<fqַP6_f71 msؼ ac8֮beI*EfWv٫ 4]goXJ=Ir1%YB (KxL:O(UDKSiMNv̡Eu{Pgy4~`275J9Wᅹ2m'8zI5ޗMm6H_Bo⨈@k,[X5w?9fL? 2^TTC