texlive-synproof-8:svn15878.1.0-24.oe2203sp2>  <@PT@7!.ܶujG7odqfopeneuler@compass-ci.com G7o< )Z3L+65ēoY=ٍZ2?%INjOr\f.:^.-Khষyyt}D P*u"DĦZGz]\ư4vJC`ʗY9LKyPZf[AԖUC:C%XGv?Jq 1;p5 +OLпxt#FM:z5\WR|9e}M(8n+>!1jYs'Ju9K Ebq?vѼc. X"j)#]_P:^DhvO=̣)\4(|\/Ѱ1 Z='޿u!x>([ӎ.#!l)۩3I&61816a4fa7b01a9984d9b15e2303b4a95daab282fb263ce570adaccf4c28502406e5e78bb617e94622f787656e86fc840f227421!YXt k527g==>; -? d 0 4 Ulp      0 \ 2 (U8\9l:+FGHIXY\0]@^qbde flt,u<vLz|Ctexlive-synproofsvn15878.1.024.oe2203sp2Easy 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.dqdc-64g.compass-ci:LPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤dq Q4dqX889358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-split-v-2018-24.oe2203sp2.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.17.0`_[f^$D]maminjie - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- split texlive- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initdc-64g.compass-ci 1685174001201820188:svn15878.1.0-24.oe2203sp2texlive-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 cpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text|H1&‰{[utf-8234374618ce6e80d5012c4bcd7f1ec0103fa1ca3ba2d70a7d802f2a93ad2eb1cae4bf3649e037017853e12cf4b7243306add0680009d097969554b04c75c7a41?P7zXZ !#,=L] b2u jӫ`(y/+~bLr.>J]+񖞌HpF^x}GF [;_T }Zc[BLJO+\]c{,=U[Il'>3R3KW|&IUSCtmYE" QX,Wʲx|V77O_9Izay< Vu{6TGkr_dۿzaKѥ|jx#+X6 ڜ6>ЭߦNh`?mjPbߥ҆&xō#O 0@iJAJX5|JSZ~sgr ?a9-ez?n)ܮ*⊮p==)^ɍ>8=9L6;*!08AaY} *T{I8X<6 (=/tئfsؤp^- !y|*6OQ$n'T+ݿN5+mV6l* gA4 mK"Bf/R@&j'.tLкOGH@< an^&B4{-"[| =VU!§e >I ۗkӓFyLU;weNs[{KrzG&@NdͩPAMff>)V% x/-48'٭ ˖n^n%єɠ4cXuC"dmAHXf+ :X:RvQ {33'T.GefHwwO4q9VxZ{51g<L&Qrj8 ~ԱK0JlM|83- "ȺK8 oƬXY0Zg2n:ɨܵsօYN>ÕyOm2->$ I4R=aJgr]dIz4O2>sV3l.XlDVc8h(JrG _g7ͩDovxnb^nRm^$3nj~BP!U//?%{Ǣ>7E+ ͉sC b<}Z-AO[0kP^(e*N V8P=>lDZA\E]&֤lYbKEInq1%gTh*Ur]kt,Rp2%W`׍!D s ky\ A$GBөZ/ L/7sQ-d6ܩ^g{=SiЍka|[$@pN+Px'~㉯K8 KyGvȅl[D :v+kC{/"ISz<4&R~4\OM[Yg܄-R"wkMm#ƌX>^1[gH3tvjv̏6W( 7ۏi– ]=~L;ãp]bA~vEY4KtW`ɴ]H$g`& ّr.(~4~-oP>^q.PV %VGy\pՀ0L(?Cüb/SRd\vw]N+X+FHzJ쌥C*yD [#;`ǚ p'k{ ڏlCdUn8>QJU>fEi W- 2hŽ2* Yo Q_wr!e[lUr00k}ϾoQ`#0Mveb:[ xxC$ED*`M'r-{Vjh syM,c.n^Wdu$Ii|!#G`ɧI}|dDWQg:)M>,#JmnǞ(=[„g ˜XjWoBZ̝kgkԐ\UBj8_lX6O{!܅b&6v3O*j]jRMϳ_eʕTnt)$J? @%*w6k4la3[(9S!k)̷(b׼tڹ"zױ}=;YxH w1,j5MHTZܠNWf?8њv4씙*PJHuPɞ mbJU *dEhozLF^Stöb݂k$ mG ϱ"GM҉c'-h{ j"OD4Wg J~Ex5B| p9׵y‹``Lfv4ʔG'&WCjS9&L;42Փ,\'ABof6]I=3MwޕK*_b"`>8-]%Gj:%wZ)7 PLAvJu1DC2kI*#:f1g'itt #pkŲ*T pAzŨ' m Y&*, ǥ;#!lqEJe!Hd`!8YM&q^p}4ί\Io.'_jwPR@jcGQ펦[ṰvIUSAoUeun0Pk3I}ztQU´{}Ҋ)U%KrC0j yiUK\zA){++ YZ