texlive-synproof-8:svn15878.1.0-23.oe1 >  A akW^^fxO@/B+I`*:D}۬wSk?PzhQ4 Jx=qCwL;v RyG3T~n2^Hle R{JD3ZT\ AAD~͓nfK X~tȿpf(@JQ6[eOG/Vs"L}Jy>t ^(vV%U ^]|S_;*uazw?k.+ld32@JHB䜇qHajTN@on 8v߱*ۘ_@_{cEۏ@!PDvLM[ e׽N^rD<yro#=>p= ,? d ( , Mdh|   $ , <  (X  Z (}89:"FGHIXY\] ^QbcdFeKfNlPtlu|vz Ctexlive-synproofsvn15878.1.023.oe1Easy drawing of syntactic proofsThe package provides a set of macros based on PSTricks that will enable you to draw syntactic proofs easily (inspired by the Gamut books). Very few commands are needed, however fine tuning of the various parameters (dimensions) can still be achieved through "key=value" pairs.a`pecs-obsworker-0002:openEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤adwQ4a`X889358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-2018-23.oe1.src.rpmtex(synproof.sty)tex-synprooftexlive-synproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex(ifthen.sty)tex(keyval.sty)tex(pst-node.sty)tex(pstricks.sty)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.2-14.15.1_^$D]Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0002 1640980592201820188:svn15878.1.0-23.oe1texlive-synprooflppl1.txtsynproofsynproof.sty/usr/share/licenses//usr/share/licenses/texlive-synproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/synproof/-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP3/standard_x86_64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text\?ZK6=#LCutf-81565e8d5c419720c7a5588643c06d5dd9e6becadac16efa48d04eb0c0c03eb85?07zXZ !#,=L] b2u jӫ`(y-7g>+ f>KvwปsݷLGvq6 # 0-QHo']r{(%f_^V]wry_}3i6'G5O6qTi훯Nbr2h4×IiyWHugYF/^rH[\uQ5M6>M1k`zmGҘDaozsіd_xDnh6zdc /s;l,5~)YfWLDŏր"tCFhh\Ŷ #!(j<8 Q`I0{eNsܚϖu! U9`:UZme"%6,6:ڠ~3mkrcj 663ʏLsZeZaԇdgj$~+T-SRy=< /w$dpvToR^ 6~=A5V=N(}zr$RYK5#%j0|{9j0ˣ/V<\4GSM) aL>1]FPjK8 HMZݬVw5±o` e'_ `Lףe`Ov1= bl{-üg%}\5Yw&jlZnĥ⑘H ?Tkǖ藶 bcpf*C@I.&¿/9V?u , :acc2HS*yQ3SnN5 y11 %(ZWd\g(B!ρeFz"2|HL瞌x#_ݙӜmf.219U> <6BV:E1mAхxm-fo:~f=[MH\pθ᪹=uf% 3VhM⊛@3TKZb ƭwpUGU>ߪ i sStDI @!Lcmn#rNU!d∘fb9φ9(mm,bJӂ:OU֬ Sps o|a/poԱQ`B?|p>ٶvP+6ÈlL|KT^mTU0M UKPV\p ļLW˶[. f>mƏ0d2#{7 , %T2t. IBPNz3{Gŗ[Mݠ0dy),r6Z+; .-wլ72.Cn4 [`_Հ~Jdo&c-99̢}| 㳯gI6%=!2 HHy$r!uTnDh`7:F6!-&8`wur3Da:K{/x&ɖ>[.,G;NF f _ݠfٸdTS"JF[iCHP.91\_!屯$ń ofʜveǟS.;pj=Q 6zm A[~Ӯf>:yWZ4PSBNQwlRTZVuB4E5ɭqL䒫t9[ňj[w}G,K^nپEtAM`>4HLH`Ʊ=|Wxy?w ~ ;;2}G <{h}u;Ol[Oy:;[1i0ekZnoCH'tt!OX}`ivamm%}㷤̫\\}Pś:Rv"|t{7UːXQvΈ{ .Ux} ?d+7JbK8VswcKaG8SZ6nÇcq})7s0 vk(& t|=aiԼ@X`5~:`ۀ,i-r- ~359hyP s(R ȐΝEPKF} ]5\:6j}D,o UI|ncf'k|Nm v习eStv(WOTU7~ҜL°h76])-bt`Ov4+ݗ~k~Y$x-f%]̥'1`}bSRc<~aэIX|mxh.(Gp?K3ZV  "gQR}hpM3EpXL?Ƌa9;aCK4l&|w!dj>.J' y[lQ2]+ϛѤk?[ :IVF5*}{|*uW$ E\0@n3U[eG L{'FQ54w,bvNesB3oBtrr$[73\tҢjv*\ ,pc-hbh)T.} #^_8J эtIK . Tɭ890+߼d4:}mja T*qi.GЋ2ms&U"9jXQsZΝ˫>V|n0 Nϼ6qy=8t|/$mjճ3C`jiI kh–^* cp2^KxhN##o˹h,N kD >4ӉC(#xIN8u'TuK ѸˏVWo EY{YwVWQ1s낣z tM0Iy5җ%#W9idO_<$*-|N=%[ LԼoj硼I <AɎ\SX6ς6B\1wQv$H65Mv7ٗ [7"cPRO? -ͩ:Ć:Ux."QzFݲ7w⏜qP%~czT3BW'[L%iZxJMo^ *fU: <}g-Ryje- ̑KdJMƙGy@?+ff2H NsVa8|7eGHBq3 K` [I4mK0DEn$O,`q'|N~1ή^1{"%dށ@ӓxDNNR \J kgJLngA׷sXHwSDxÝaWykzL`[NX⼨%ΜըZ:]ہ8L} XZBߋJMgF.ΜkЀ(;^BԲOЍ]>.lvY\zy;w9o&!GxSdՓraUpV(luY(qt[bq'rBo4RrPez'{ω^~s]9zKaeW۽o,e5k+J~=W߹GO(D16}}ꝭOsفdU3#YU5w);)+[ڬ4^xL+OA_?;pDz4Լ4i=[4%M[&>0]'޸] Lta^\:,"t`uo IP9d[>{{( g]; M@,-󈾂){++ YZ