why3-emacs-1.5.1-1.red80> K KtĉH2!c31^ Wgeh support@red-soft.ru  Wg43oq68L?כ&>ŠLV2HU"uhU'VCPd^~$Ib0q4)Ec?f28kI"BOLF|;>q] vuQ 3*bR\G^e=_8Sn@`?yigI={@.F.ބY 3@4vRR=7YƊ2ν~U}A3Fd":e mJz%φ1/ 779142f632e9629bd4dd67e99e6607780605c66572533cfdf42c629eefd6205fdf55f4e08afc3b9a46327be2a5b741e0bb70a1fb"k} '#3l>:I?9d   = $ ( , 4  (898:G |H I X Y \ ] ^ b dLeQfVlYttu|vCwhy3-emacs1.5.11.red80Emacs support file for why3 filesThis package contains an Emacs support file for working with why3 files.e'stapel80.red-soft.ru1redosredsoftLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionRED SOFTUnspecifiedhttp://why3.lri.fr/linuxnoarchH}c2eC7adda055ca493e058aad61cdc2fee4e109cc995938c20d5ef3997684abd69baec67269c344710f3cb66e1cbc848a8082ba0537555d4154d06973fa9484197928rootrootrootrootwhy3-1.5.1-1.red80.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.5.1-1.red804.18.0c$e@b)bb֜bbb=b@a@aaZ@aɪa@aqV@a\>@aZa`@``[`?z@`>`0`U_`@_1@_ǁ_mJerry 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-4Jerry James - 1.4.0-3Fedora Release Engineering - 1.4.0-2Jerry James - 1.4.0-1Jerry James - 1.3.3-9Jerry James - 1.3.3-8Richard W.M. Jones - 1.3.3-7Jerry James - 1.3.3-6Fedora Release Engineering - 1.3.3-5Jerry James - 1.3.3-4Jerry James - 1.3.3-3Jerry James - 1.3.3-2Jerry James - 1.3.3-1- 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.13- Rebuild for rebuilt coq- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild- Version 1.4.0 - Drop all patches - Validate with appstreamcli instead of appstream-util- Rebuild for ocaml-menhir 20210419- Rebuild for coq 8.13.1 and ocaml-zarith 1.12- OCaml 4.12.0 build- Rebuild for coq 8.13.0 - Update metainfo and install in metainfodir- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild- Rebuild for flocq 3.4.0- Rebuild for coq 8.12.2- Rebuild for coq 8.12.1 and menhir 20201201- Version 1.3.31.5.1-1.red80why3.elwhy3.elc/usr/share/emacs/site-lisp/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redsoft/redsoft-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redsoft/redsoft-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19x86_64-redsoft-linux-gnuLisp/Scheme program, ASCII textutf-8e2fc561836960fde6339861da7284b6a9b93d4b78326af085e58091627f054d3345bd037e8a100ee87da3ab9316f42359809744fbd17ab8ac87599ed1dbc29fd?`(/hv:s-`VUe \ܘjZKc8w=В1'N`R_?AO6GK=sgKؓi\EV~uf>YZ:BNggʨrf\F!/gs;4% Nq.NiEeLiWNi rASt.f׍tʞ_u)mpDmӶU&MS沶m[Ʒ=CP8meA8SEEcA$Q0_vպ-^zx,UqJS۹NKouR𹶚(STD"/gGHJ6ApO]g9i. 񥌄.==sS)16{EV\;/zڂ}&4vNB7 سp14;Gnʾ4L1wrb5NgFGiPQh٥K`\sY!fiZvHgѲl4 Φ/m&zf-Tв 7JdfIM.q,lօm-eXOzcGKߝ?" %#(P5/>jV\~pV]#y; .f7gOi*) ti$'$Zf f!!ڹr"tiK@<;̱LIb6];ysr1KA]J*sEMǸiG"DI' n<Jr\D\谁ci6?iPFYcrc#Q-/pp6 84Z ve +`J:66:60 *"\@elHeW4~uѡz̊bE#A0^L SeVp> t",,%mVK9 2O*cYg#=Bvf};n;{w5H>Ks@|'@K3iӵgD^]>)y~=q76~Y. @d 4FXɐP4\26Cq X4m40l0  1 4 öȁ۶A`@6d0_#Ühd$I2# 8&eAC4E b1DD)IPry.]d(ӫҮbx3&XYषL"ܹVBTC_zA}dH+HW`edwJ܁wF-72KygcXNq FX6},]h[+Bo9X%|5voհt=}1?O+А,Y-oY i5&>܉MjacB͖ 3><_knLڽTVVa2(ҽGxl$k؇=^w5d(-/w6'ji nfٙ9YD E=4vR9oҎ:K?r[0Րf2ņ>~xW0rMKwj(FѼ *Ԧ[&KCQ|H1@ChADF>O:"PL; ;JSytBR7 Ĺ8Lm҈]*Q 8lx? pԩ\y$dh"5?'`X~6~p;)x ö%MB`ӈ