why3-emacs-1.6.0-6.fc39 >t 6 6_6,0 D3!92d LuZLdC uZLOC?="n1f gd7Q&=p.mx m'@ ?t`N桴y7q~yħ.0<]6Tk\AĬ!ppf@W>aEeEJ+/%C R UUCg̸1n34c)3|~T}7f168c1cd54b965bee96e6698f43e7578691eae52b00738d8b6e11ce6d2c149b971e257ea42e19e4862a290ce34f05c6ed9da330030204388b603e00473045022100eee852f6e0412309c62effa37d525c7fe106557b2d33cd44342d9a6a3885b1b4022011485bc1963074577e0385ee0a5ce307e92b26ea4f94ebfc6212e7ca4b272c3e030204388b603e0046304402201013874ee3185a8cd62f1255c204f6bebf2341db89ea8e499c77ed006e2c212c02200609e227ea710296af2b29705dca9729bd24eb2f2e384cc12ddf3b2d39ed1d13#3!92d LuZLdC uZLJZ]a_ΌJhNX4A8Z&<@ m # 3lMe"5s yA1+SO7 o{+iGD(g6B\}໊𢰧!K]Qt,N.a`#z1#]<6<^;A֕s#pcx3ni tWw3ւE_;<"ZH{a&!% ˸e/XSMz Yv9RPX嫋9UDv+Ϣ P" ~{lw[ѻ `"CTE"1{Ίo68"d F2"qW!)ʨ5+BRQK8^bA6A^ެc#w5&!T |[ޔiàؗ+a,qF9Atai3 >`;1?!d   < !6<DL P T \   ,D(89d:G H I X Y \ ]^%bAdeflt8u@vHlpCwhy3-emacs1.6.06.fc39Emacs support file for why3 filesThis package contains an Emacs support file for working with why3 files.dbuildhw-x86-01.iad2.fedoraproject.org1eFedora ProjectFedora ProjectLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionFedora ProjectUnspecifiedhttps://why3.lri.fr/linuxnoarch^ddd60704255ea6de37e65561d70e173bb50c5889a3ea3e1f9e785c9116a0884bda43c8cd50838ea076a619bbc02e54a627b3d8f191fcf85d540231a610af0fb3b4rootrootrootrootwhy3-1.6.0-6.fc39.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.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.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-8476a17c16e37d6e261e855be65554e5802f9d57c18eee2a82caa95729584e53996dcccdab99a4a327e7c86a4ab8d52c6a9a1e154ec631825d802fee0b5ff58ae?P(/hu:q+PyjP4prrJ7 8FܒqV68MdbNkL*Zwuf:utd"vtgdT3ysLr1yExv34OysI֠.c,'OE` Jʘm}tdZӘ^PVG\ ֮gJI.ςaDta& {Z8͝ugJ&rN}Of䶨g(Դ3&/G\3iJ_&ic6_aMsSW8Iҕ!OkRak=onp$<\IH( D#T<#}%\܍L:KC]66q\{oCnu&4] ;:*$i>|t;tm2Yk raC!>J|$JQUK^gib-Zg[1Y޴"ױ:+U|R$vec]v]'.ňϵ4I$LrųO U*wm6{. G3矱t"n1]d?Tϵ37>S:G ڠ9aO֟*C̦֗ʙ#s״Ӭ̽,7mM#~}Q*R\4( tȤP*Â#pQG:`bY ZKsUu]3$Xƙˢ&H]SƪHaOo!ee0ƺ99/RXbyudySaCUXeqTNa,,uimfΞRIMwNMLg62Tb(^v|,E)D2>ݤ<XLInJe›"FL!:4okq0FaO2 >>;(PacB']gޜ%h|aYn9U)YI6 u࣢,aXJT G`UEP4 (OK *PDeW6kOtHT$'ax#(ԷӑƃXaCEÏ4Ud`> /81KI?'HNKҸzN!3l S  ' w't\ȘEfsI]=:wj>l!6(bkޞ EC]v4*;KmL@R 2̳3@d`ȝVg8nk5W1EkRZWj>#ivk.c1r ŇfFXT9FGO"3xD~'9-FRzSeqL7`\Yl~f)>]8şB ТR̋gez\'0D));-]V앛b!f]Zlw$4m5 u6^J " mX 1qaɔ;d%!jH0qw| j:R*5o1'a#camnD"▬)g}Py, z睢Xt,T x<6Y hb:hyjhFyB%U%:lB؜=y A(^)yZP b +('2")dMY3CnCՌxTj>Usd7PZkdS3vhgiU!h:qMj5|jn` _ L y(+2$r&`h6 F2_7LM>},Ua{z\D⿙]f&?,Ζ͒%Pi V%?慏\~ # O+c҃'p@AtToAWWfnxb6[~.ˣ(^@~6AnA_ )e(2X!P4Z'GEr"|$ͷ,<wz#l p3!p