why3-emacs-1.7.2-8.fc41 >t 6 6_ t3!Flض zE>b$bjf7v b$bj ̇!N|zoA;[j~,9C<};M``٠$Ō9dab"wW}۔ 8<ۅ1-Rӥ#b"9(dqJZ#;%hmUcgp: ed~|W54@s"% 0`xQӁ ?́%7Y o_I)UjP+({H}o3^@ x<*ky$"82Z9$uIU+)weAg8r;ʈxXh[h֫] W)AVi Wfef27d2612e0a1d5fd0eb1417382064855cb7628618a6006b4961929aa87cd394ba787569dfc273f39c16676f1d86d56993d8a754030204876d743500473045022100f1ea9b92b671a2e32fbf7306eadd40e6aeaa43385e36d9a9801337e78daf09af0220514ba217551fb4780641373d6d1491bc0391f0c16b3a23b2313f566606495092030204876d743500473045022100d5a65d956beb662056e66b0f0085e3da58766a590b932535b464235666cb8e0f02206c2e088d4c5a17b036094f80a35f3fa859bfb9c3883c6ea93d33880cd842c853P$m|cBI#3 >`<?d   < !7=DL P T \   ,D(89l: GGXH`IhXlYp\]^bdefltuv(RXCwhy3-emacs1.7.28.fc41Emacs support file for why3 filesThis package contains an Emacs support file for working with why3 files.f mbuildvm-x86-05.iad2.fedoraproject.org1eFedora ProjectFedora ProjectLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionFedora ProjectUnspecifiedhttps://www.why3.org/linuxnoarch^f ߟfd60704255ea6de37e65561d70e173bb50c5889a3ea3e1f9e785c9116a0884bda9e8a0ac79ae66a0c03d8dbc9eb8c5573b177e2d949d26e94ad3a82b7dc1e873frootrootrootrootwhy3-1.7.2-8.fc41.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.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.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 -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-gnuLisp/Scheme program, ASCII texthttps://bugz.fedoraproject.org/why3git:https://gitlab.inria.fr/why3/why3.gitutf-8484851e13175da1da92978d438b011ac53a7f2b60f0fd6ab9f0e8addfe188247e9a548b83c263318e5acf6275be1b6a95b26d6f176d58d93a4906bff73802ffe?@(/hujp-PXUa^<܀bAv]>>Bͺ66KZ֘Ud ͬ}VjEiOggʨjؚFc^l/*gs;47Aaw_XN*v?P ZTSƔv픦"WDPtAB0d"I$=Vv~'+DZ(r3{,ې 0ASPi, 8@EU뀁uyT8.{x:k fa]׌\*FXaWX沪XeSvY0;;0RrCNʢFҰ \61={J%FXP4Mk8bb$LiMti'MBdb.Ǜe^2#FY,an} ֡y{ˍkob1IĒa8peRZIp3oO0f q,ݪ.I:M']nNAӶIɂ7p[9NgE]J1FX6w$+* mʍ1TF Ye2؂&ACq谪Kpd.e"ql$Hʉ G2ˊ *@ X7@QuƖS)-!w,o,M`5? x2'DdRd*]rpYsy0RSyouz>/-Y<wDjvw7wfƁhމ z5rXQN<ϻHUY@4"h6*F |f<46<"gé%W7+Uȱ00D%feUXƲS8hd$I23 4(%c&?Š@C( ADD)Ij80?ٟ,ZK%IP]A΋Y֣%:rc9XeolHqcǂA4=7/嗥xz 5nt&$mTʕT"9^q }hn? "Jb0v|%:*R$/ռV\\ba_}Xnir˿j>ȉq0b? i-NU|i skwԚSF(zOJfH7~:TH& &p`%3T( HZho^:B!3,oA S  ' e'4[1)d>Dla1`QlJf޷SQ*; @saR#d gseTn$|E8\kudk ¯V}6WnGcG++#gFX"s̈́GpX:3 qGq^cQjdqbd3mjN>L.xb% zQR52<^[d% 1-+oLd1Or.lq~KfVMt/NIAM ɶ@dq dJ;;[DF$NOI{w>y5Mɓ>"|:kʙCO\#ӣ,lm.> .h鴘QY1s.TD^ ;+LHvX[ŀKW˽CZԋ)OjE *`PF`0F -CFL; ]>SX ߰,!u^Dt$`&ޚ:B!KdNc+nH䬫r|vЛ:m^t}L^>c1h8-p98ͣ_BA%={ycdP|T=˂M~#*c#'ؑ{D8[ KD eX p%$ꟺ'5Snruޱ?+×?dXV(2t=q N=ERe#\[EԺ]3U<tLBOuG^HE0xEЅe敬y:¦ImW_Y0:] E .'Ei@D g^2 PlG܂E(Hz|pn]Dy0aYTaTt.s;0l0ZՊP,suyH8Ub3Bqծi!<1\:곤.ۮ%ubwV'䢨fQlQ6\RF'RQ~;=QM8A>!A}v:GHp