why3-emacs-1.5.1-2.red80> K KtĉH2!c31^ Wgehsupport@red-soft.ru  WgJNq >Ao`4um-!(pC&GAg &(JV 1C1['HT1zuB@(;eC ,6S(ym[)'[ʸ_HyA8S9&p$jX(z{N4L7S/ 6Wݲ*n.>M~ցj9?\`爴@S堯Dh[WKĦ];wIЛC86b0c94076844cbbc5c11deb343c5141b3ae0874a35a5e2896d5c2c58afabe7c35d0473a7b62d235dc935aa37bc2d503b599ad0am8 ?E3l>: E? 5d   = $ ( , 4  (8 9 : GxHIXY\]^bdHeMfRlUtpuxvCwhy3-emacs1.5.12.red80Emacs support file for why3 filesThis package contains an Emacs support file for working with why3 files.eTxstapel80.red-soft.ru1redosredsoftLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionRED SOFTUnspecifiedhttp://why3.lri.fr/linuxnoarchH}c2eU7adda055ca493e058aad61cdc2fee4e109cc995938c20d5ef3997684abd69baec67269c344710f3cb66e1cbc848a8082ba0537555d4154d06973fa9484197928rootrootrootrootwhy3-1.5.1-2.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-2.red804.18.0eAc$e@b)bb֜bbb=b@a@Alexandr Subbotin - 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- rebuild with new ocaml-mlmpfr- 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.5.1-2.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-89022019215f4dbaf7ed54b63e1c3d524e8b3c0c18aa4db2dac2b1604d57c433b2df2f7b76aa466d5515731e7e0cd73b9bde151a60abd5852acf714e3ef1772bd?`(/hvZs,`XUak5U:Co@ۢBT-Ї֦@ARfiGz`w'^c6W:C3wWZ:2gɨv؝Gcd_d8P(U6>@<)yɯ?J80 D 2Oi.Kumm"=VNXyeӲҟ{ʵt=/ФƲ<J*M JUyQOv>: ʿH|QT]8в j $ 9*/8R'okYHI:4o{))N13](`ӣıHs8)J&pı3"sؙ7g)3߾d宯Ga.7tu>I1Q' n bXD\谁lcmsX?wWerc%Y+Á1hplZ ve +\H:64:6.("\EpHeWT^ߵA*=pţCuCr &AEr]/S"ץ¬ } YXK6]( OWg#«̜iCjvjv@|hm6]{x,յ|ҙ!x)Pwec5Bva:(%6 J!=i dh,KDXYFX0F`qfE$uafa'74# `Hh-^#Ühd$I2# 8&QeASs4E b1DD)IPry0]d^gWaF1&Y$nW]%egmJ7Y0Zq404 FHib|0n_О'5A?ehW' cat ;Uުo#sҊ m <Q&Kke$:9yJ!qZ~1t&0W~!\(*+ciTg߸V'kaDL #2'nW vF(I^.X/85iX 5]^b M2Pk'ց$V;pS:`N+۞.+YŊ_g3\ʓPJ lܷ;dxYa̷b@gL u ܄/jy:Ņ ?(0x0Nb_s S}T %ecb}" T5BhA)'pƛp$3}.:o F QHxpb @`rހ7h*w!Ayuĝ)^;5cd -pPԽ7!ZIN1{Ǡ,zӳxj IU~7]ĝRhX@PpݭP%7vڒSԚHV@W1Cͮ2i'^ς+r. hFm g{NK0Uyf8(w+si&Xۂ9YH3jܢe86vwq!7E~Uwk+(B>ieeĿ_=%y,5E >ޚP[_EK?Yt5ˬUT+5OS+ԼUb[RQTz6Xx+jt7pvRL_- ē0ʯyl&83P@^)PnM` *幡]sf8}[5&'%v|Y h ˧6KAt2"zT<%! pV׮ ]Sd"$>1*bD