why3-emacs-1.8.0-4.fc42 >t 6 6_ t3!XPȬI^Dg ȬI^DtU Ywkh)@ʈIw_K+-74O^ ~ qv{/; VǝX45V7 ]$i |RQ ac8PXXEςBT6v!r^"<_p_c@^n1KP$g)Hb* tc#UDŽY9XyC-WaݠƃC5t϶)8縗آ.Cd xck}1sYRKk/M\F[;"ȃ. ]a`B7EUK <3+li $uwE궔S 8OĖgc-WvaH5F`E}M|6Mf% \)Iuf`@]qb@TԚֆ(HTeN&:i0|5c~]ei,Ds@/)dq1(jwo^ IJ@sE2L'tCxgd79a567654b910e2639878a3c481814bbec709002838ad8e09b94f86c599972f86bac9604b0325d14d2f9b3ddf8d185c4eab83aa03020462f02aa4004730450220675b9145b469a93007ddd5e40e8d5a8208a8ca27107347bbae9848546899db25022100cbce34e941933761a733f533b8d0c2965ca67c4deb09257b1e36daa6967d28ff03020462f02aa400483046022100a193150caaf23d94db2e1d3771ee67bc0ca0de2b39c1b4d67d41da4b2ab7ae6b022100c2039887458119efc70a923fcf82346d0e8f3d4d178449c5497539ab28c0ea3bQ$:Fþ;+|.1G3 >`<?d   < !7=DL P T \   ,D(89h: G$H,I4X8Y<\L]T^ebdpeufzl}tuv$hlCwhy3-emacs1.8.04.fc42Emacs support file for why3 filesThis package contains an Emacs support file for working with why3 files.gbuildvm-x86-04.iad2.fedoraproject.org1eFedora ProjectFedora ProjectLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionFedora ProjectUnspecifiedhttps://www.why3.org/linuxnoarch^gYg6d60704255ea6de37e65561d70e173bb50c5889a3ea3e1f9e785c9116a0884bda9e8a0ac79ae66a0c03d8dbc9eb8c5573b177e2d949d26e94ad3a82b7dc1e873frootrootrootrootwhy3-1.8.0-4.fc42.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.8.0-4.fc424.20.0ggg@g g g{fff`f=@fr@fj@fXj@f! @fg@e@e@e@ee4@exK@e@d^@d@d\@dd~d@dd(Jerry James - 1.8.0-4Jerry James - 1.8.0-3Fedora Release Engineering - 1.8.0-2Jerry James - 1.8.0-1Jerry James - 1.7.2-10Jerry James - 1.7.2-9Jerry 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-7- Rebuild for flocq 4.2.1- Add patch for C23 compatibility- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- OCaml 5.3.0 rebuild for Fedora 42 - Version 1.8.0 - Disable documentation build due to bugs in 1.8.0- Fix the location of the icon- Rebuild for ocaml-re 1.13.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.01.8.0-4.fc42why3.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-88196c37150a744eafe63cf6df409c480f0bbd509e13bb25b26bc66624a6cd174f95455ac9c4a41a20469f24073ae89ada72df101f0d55fc17845fd95ee4e1e6a?@(/h%uq,PZaayҋPO$eԀ t/)vx:89LYĜ͕֘d͜u6ji EfgJfؙJǘ%ٽd_svR:Էv1f.1D71,a˵'T %t]v墳 &vvr$󈫝Y&ة];t&?Xj>74]9-v 7BçRX%IÓN'Za;L%FF6uI hom:oކc:jP2i,Id0ذlllX2%KGy~Ef(0:k| !L1h" ~Ԥ]I!{*b<Ɋ,Q1_l6Oԛv$r S)=H(o:_6C^eu҉ymJ|](!H""$\΢xV;=bn["fw҅g<,3Nڙv^|!* MѩfF]wtmmQƜ0(PYfSKkiVDYܶtMiC؊BY(fi)H\aT2lJ\MAJ:`bYzsUu]7##֟(h08*Rԥ**R뙃|_pY<4 α(|Du|\^4{~TXPqYS J063gO2#{TlӛdUQļZ0=g&I iZt&!4Ǐyn1˱f̈aKoz0օ|OѼƵfx7aOre|'||w YqBàZgޜ%`|Yn9U9]MvÏfxTx `>X1˕E |.,ͩlb]mnzګSοd3iqS9a-Kł v0QX2gÝ23YHl.Q4BA/?{~_x-N u6QJQAxH4zbDž2s!6 ka R ' ׍%Y9ɾE>=O-a5QߛY9*Ӓg7סrQ \!>l3d̝O@d<2gs|kgr㛞®`M&5nV3;"ƨIL44&ʌ̍Esn4mű0fY~&| Foekeq*,4㟾]LELtϩGGgBO%ТRgjh(hu4څ{89urfMC͚WPaAn$o`]B2^L>%2Gժb;Sbqʦeo[DFXXHE^W ͚R׀'JRT66ZW0tKj ~W|b̨UDԀB I-7T%Ke[-ISh*eX'N@Q'͎BW+룥jBui,p~L"A E(LK zÐec.##x4~U%<@s[r"DڱJSWnwQ*rD WLu~*GZJ$hafzd5E&]gҁNk-;X'3sHdՀQhMJE!](|.fZ>Ќ[ E*  L#JOWpԻ$ӛQ"7#*UW#'0X *Ȗ*f7|M҂jr1eOI|pBCiY6ђLztj7xϟ [+2]ˊц _e7HMUrQ[)S%  "T..sev0͞P{M)>Ɩ6n"[6O%#. ,p[וF&f3DUGARIQ- :;)4 kqtɘ5rAHQ[R\kxUv./'ۧ\;/ >S/q^3?]uns(Ffx dySUЂBTguS`!it-mTVBݔsMBRzWZVlZ!| &V?bz&UJD{DU|>9N@ {š3ZƉ3ƃѱÐF.R~Ɣt/A`[KmnETL]y{ ,g Pe6lo O ؆;\JAʧܕ`n[w]IȉΛṶNl‘zX>B2XSSse)yl[US%XxS FS*;̊ 'q‹M.L1isiЩ؄<:!(/teBaW8yݑ tX<.^cɪE׊Pv+PhK]g\nQ))I=qrM]q[N@a iH՗ܦ4h%R1Jh b'FfhXt;lGՒe18X%/@koNg46֐؛,.\ dݜz el3Ckob1}~OeRd#ع{mP}R7wK'b ,z?7ӌ㄂HvYDP ",הO ʥC<ĔX/fU9K@܏rwaڠFD0