texlive-synproof-8:svn15878.1.0-23.oe1 >  A _)W^^fs;O4Vm|m \2Z9҂U^.5Kz,_$hy .5n˨iBZҴpI+T XkS#Tvzq-n;{ V!ΰN\@?C!!guoW tE=v:6o(x0\k Lx [ H)m؂H[Ԋ='X:J"7nmf>/̂#03:Oh~R:Je5b1cd93b4e0c8fb0fd4846f0571291b44acab6f6b829fa98264055c2dd73f4d6058ccd2c0538cce2133a54830a18ca31ccf40c4!ȉ_)W^^fͨ#w\ <["͓\MpB)flYjV_ɝe!~[⊼zteroR96c"FWr/;~R*2yUQS|!|u!n #y%S?tuJ{?A&5?_p?fsO݈8)@ẋpG|tYOVpz(} =bx}7Q77E$߭о!?p@$a9dc=>p= D? 4d ( , Mdh|   $ , <  (X  Z (}89:"FGHIXY\] ^Qbcd_edfglituvz 0Ctexlive-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._eecs-obsworker-0010:openEuler:20.03:LTS:SP1 / standard_x86_64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤_Q4_'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-0010 1607407973201820188: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 -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/openEuler/openEuler-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP1/standard_x86_64/f21e64fccbe6b07fc33ced66a669d29a-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textZ:p_Sutf-8369bf2cbc0a3cf98be3e326d29d1dbe7086913e5ce1762e7ee7980dfb01b82ee?07zXZ !#,=K] b2u jӫ`(xy2A2#Pjqtn,NCKvʈfI"V鮗#3 #&{pj%ƩլvgZ@F!46% G Nfyvw:g5PwīkZ1N~lso *YcLp6|V˓f rDkjfF:3C'ݼxWYʨ)3bKg[mw$~+*\.ǂnw(cX>eVw9A]ޟJ$X$w\̽"^:.j䓪3Io*TC] DҔ+R![Ѱ΋*g/SuӜo|-څ%6JH\SCp8j)1 wd`5sFLpD>kNƺ?/Jj]w X:Ë5I-C4 uNahJ} bg <ٯ9npxF ^Hb Dn5#\[àlZN$znUo*b4Z)˽@K\rE ,.X%DEH?¶b XQŌ7X7GA7 \Z a^fR 9 hr T K^ė +l ("*$%'&}_}ɗ["} ֡![ࢿ jDo&t 7@U`rp-Et  Sn2b;! F)mը̹!el]y9óV軯yZ|W+>/ӡB}]@ֵb?ճ+,/siGlpZ6c+N&ԑ+x w~u՟% n,-bD9щD 4eT3BUqd$_2V-p1B!0%2#ilqZ8cD66h"w2@P%j[H!DZx`Q[rP|~v{t:gF>.opui FbMa\ȇA3>538vkAV} ꘎ÓT0$by3 Oc B^ΰO-ޱ(a=~P^ AJC Zwdhx}5b7ZWC:Ξ҃\7qX tCXsJ@Sp5zc $ޡQ$ʐQLA$J ཟrT *>h]CIŜ҅KRp!n?#x-iia܊צ*PwBF<>ZksD[4 ĒU.J~7a! G}#0P{3= .<׷39Sm~QkW+I_rMC'/fv@d_8o0[vڕ,#`rrߓ1D>깷b=tNzT IVkՖM.]ۃ5+6㢢 &4qBdiWEcUZcB,2=ʉ чss:69K83.XAX$z>+)OdD8V&&UMr4D́GH, Ԭt~=8<;u8rdDG hܟ+%?n/JRC"j!fh W^كqj^F oo7IV*[Orꑀړ,,)6uQZ{Rq$luM]&@Dà|ch-;D }fN,૾A<-XE|1:nb M?Q#dkeM꿌.r1t@ T68&\ [ 7H'${EeOɒlCT ]t$#rvN (mAv( Ns ^v:E"F5WKDcuE ܍(pL}e%O~!{Y{Sfːa݌ԲF)e[2T5O Jnd2}ն7_+*K$bjgU+xA>&'^=. ǠS7czZk#ҴV蒙%Ay0OZ6a֪՚er3^&SKG4 * <4]뜸pD5AJ.=rzkШC1zKRyuJC$vs hNM3ś5(BZ1隝9SH7YR :k^cY4q l2e!/A#u5\*S "IWbۿ"Rq.~Ei3M-RDD]YKy G!;3E)uGH>^RRUtHb 73qP6 k+koFx\H]/|?b ؂ &EۙyG]U)l&,ܗ gnr9æA'S0d{2Ң?5J!f4քjwت4'ȏÖ(vd~d1Xv :b>|R6b ds?W ~2;_xAi0D(IxgN C)d|N\T0GΆp'GM֝c 0 yA&С![+ a'(&E uJx&KBؗFv^˖INjgo~-:/sK3R:LTJ C-OΟ~/pU#vF_歰2#ὈʎxTkw v_ i6X`_Iv Oi_,F׻$z{4I%»^nH\(rFNcCLb|sO(L_`+MY"La<-o+z=h&6ιU JD!{zmh<%CoWq); vE1I9 S9Gv* giBf خOVS`qA:8>zEKdY5T)ҁesG1\i7-JY3za/H`/>E+_IfnPhKN;>x}5$l2 3ZApS9c̜OZԗՌ()C9`*@H]l(GsVe8ǁأݥi̋ $)'}M#bP/Z( wg_pz Wz&{!&E4a`7[^ڍ(D jJŽRWڛ44}1οt)1-|v.7݊q99Jn:S!UӍ_syIvJxeC@y==En+b1h c kJ"ApoΦ([ؠE7TUi0(S)q)PfSӓS^W/G?_?=52#uȯ$a7 Kiϔlco[͇,\x:[(]sKMjn, f^Q^!F{wjXGJt"}Kz~Hn@%M]H.u il3=%UЅʯ1jO"2%J>䝏"1g0 ܩQi%<1^dBB75vo~o[!cקͨ|귞5`'G`4s,bvwUqaPx d%0_ce/o^W% `qNvWQJn H]tD5׬Oi'SCUnp. :"-J RRd#XZ*1 (pӠ $?#Z ; Bu%I({Op&]ߛjN#s=M_"C'ɕ="..sg9˯E!i{Cz^zturWiPrXnǡ} l XRAI`?({  YZ