texlive-synproof-8:svn15878.1.0-23.oe1 >  A aqW^^f}@-v)#(@7Œ!&= H0cN#c<@3 }y~x7v<̇0jL21zPLpTsh5W*ęr )A 7PNQ-u{"Ж_B5cl? +B )bj*^ǸWN Ul.EJ$Zy^wS ŊЛ5PUV-u#ca47cc6c4bed14143581eb8d775851f78513da111f5f5ce6a1be9d67caa6f47412fd6efb3b5eb526e0f99eca1abd1088c5b67137!aqW^^fu"ʑq5 հ7<,$xA~Fl\ƞ"ۿP]9] #`=? e(|jgC-77lGMNCI]\Xi0T„58A>-gn@BABUM nH,SÿS\FV;oS2/J 0F.SN#S>BS1j9$2NOv6SYP; q;Ή2"tWNΉt%_zzAޅ*grP6څ=>p= ? d ( , Mdhx|    ( 8  $T  V (y89:FGHIXY\]^Ibcd*e/f2l4tPu`vpzCtexlive-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`obs-worker-0020:openEuler:20.03:LTS:SP3 / standard_aarch64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤ahQ4a`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 initobs-worker-0020 1640980622201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP3/standard_aarch64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textXq)cXE*+uutf-86e5396a972cc4ef2538321af9908cc14efd8907df48bc0969060a10542eb4412?07zXZ !#,=M] b2u jӫ`(y-7g?h'Yd| O._ٝf{޽&RJ>SOz^b,h, 8\6{9^#R;P` y$7Yb$i|ml D3QSז1È0lqq#U^:n."%2@ G쩐A{,a C7#t)/)fcѱyY7A[h+/\Fd]L']=j,hMY [/͓ReUJ adwtuwbv \, wUvj$=шl_]7o,&ll%޴"qqq,`f;?iP&fXUZ-kɌ*;qd_R& \dY~N!p"h?[s!V'7BlF \+GΌS|n#.^ <+(˫/&$ĸ>01=>3!'ѯ+82DJAXL29=߱~ՇXF(g6i#Bu7\ꖼzG1,d\.\PfQj0&z%u 2P=i֥pּژGNh}yB(/L,\K Ӑڸ]NbW (S ]2GS4MB|!"V: fz~Cݳs. D&DsfDUo͢ r?/"+i PʧhagwV4 @GPgE8[s YV.b*{v O8k"Vѯi5`Z%J(I*:HBJd~bWk '͋,ƗULakHKe%fOe:!غ'Lve&x&"ɼvu+7gd򒎻!Bmy=Q ?xߡJ(K̟$&*qx}$'sEWJo!670IcnI-#96]wӧe$2J^J`^+2ykK;ͥ'L+МOzZ@kJYl(QmKwm%⿦w$z>+a uk^π@2ˉ_mD6"JoVצ8R1?n#' Q'Cc[Jt޹[,os]p2|j"e7RKEeem\P'7M*e͋HYine5/;8lj%E Z K, Vb:)hQ3`iȁ,9oά\Y~`fwR $Sx/POM$wT*r Y Õd=|HHٻ[m$i@y'GT1GE7$j]{׋Kbzm86HJndA R&0;& oL;/tühWSL& ש&ET!7QKm_Jy:̨Rl%bmL s=ʑJE5Yz&=`SqsEsu[Խpx+mǓSn%eFsDMUڻ0c⭀icw,re *T5yXKce\IcZ?a︵Ecy|قi*i>pX)x|; }aaDA%|8zK--I?-N,-eP\d؊ui &@h1]p|r}1Fz x#p'i;%y7Q?1|}ƉtHdjViW^C˓ŀS 5 ▋?EҤz{3xP+Ϯ@|:Nq}/O%b ]6 !*͊rgWںaM,r%o76cd39\'{oiUjjb@w(![s[Pm-SXA'eGOorXaT ɵwU2EDk)]W}%qkΡ~#75< 1r&__.Y4VU#kF],]H(G:ơ<;ҧ|% VULS47z5=65o#*LKަ7R`(KlY6Og$cGvCvҙ ^C"f,qlMR(ʊT;Y9X?g>t\$yas/3EVxi+2?Rh XJUfd]C3AP˂ %^f%K @s'_Tޠeh RcQFGFp-ohlQ Sk|X o0-kd#*Qx-<%YeW2$Z|N{.))ss 0"Þ>ߋ?WLr6W=,O!B韷t } Kʯr8\>xV#b;p.ԐMM(7vԽ0b&Oh]w߹4\Omeb Wagd;wnw~z3m=Mp9IrKת8DlfI3h-W~xƃK5^K_RdX葥;t ^V2JNuJ0[U:jrg.hw=/-ԝ/n1yo eLN`|pnVԖ] 5n3ЉX}q%2 @o'prA[T8we;3hfI, j!lPkSاR!DFyjflDoh7n%ĿgdzP*k*w#[rK\.6KNp-@U yBG#\6c_scO98n49dž胭z(axGtYFE;%$Ïe\AU:l[%|dsB%cn@NٲhV/O<~C >i8偭bbE{n>OGID'm$|Gdۼ6S>x˦ `svub`ӛf_m~F (Tx 9sfKOSoJ]\?٨4ˍ#c-Im"EFsdU}~Om? 'M~PO!1ȚCEN}R6*85C=ͷ D- ɍ뤲I4dam{dŽ$ 1 ?-|&0!>riWXqPG $Q/>(x}ʔIzeM|?r$ DU;t] ]\Ќhp-% 8SR|Q Iu't|03/5:d"91=ƣQ VJ[mVqq?"e^1 T8ҷCO)8C`D4tU`f"G iǎ*@mNȢ=Q*_\Qg ^+h쌘o|!JL>UjȦ*VS9 x*eq5HAp*FyT^s ZԶ\ ?';oOUsbxCb .KM(2t p#巗snzDRi$2 P5uՐ0U_n)̝DrD'۽ S*&OG8B>1|Ȝj9!M%19A٠UܤThit}bkKT7&rϳyIT\̒A50$tjj 5F"a6ߢYNyon n+GxQ6γ9'[trp8R FtoBY I@pV1M?qT B墿@B |rw ~Xh$VUL759^1X_^.KO(2as< 8R|N@\xeZVT<Z*a.xҰF]Dnay9',]=Oͷ*0jd ?r&D8)J3&Gf~g N^-Yco"r2F[R;˶y! <ڞ>*2;Y, RPKyX,OOQwK}, fsjg5C"5׷xm˚Kͪ9`6h]j1De~MS*#Tn`Tƪ  T#t"K9[x.yą(,@d_9&^ëen)@?B){ YZ