texlive-synproof-8:svn15878.1.0-24.oe2203sp3>  <@PT@7!.ܶujG7oe~uopeneuler@compass-ci.com G7oս eC\rUȧuGgLޯ!wW7IƼ@TMoc1ڑ!n0` Mt2\U"偗N4bx(DF7Msg -gl!.l<; -? d 0 4 Ulp      0 \ 2 (U8\9l:+FGHIXY\0]@^qbde flt,u<vLz|Ctexlive-synproofsvn15878.1.024.oe2203sp3Easy 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.e~s?dc-64g.compass-ci:LPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤e~s[Q4e~sBX889358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-split-v-2018-24.oe2203sp3.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 1702785855201820188:svn15878.1.0-24.oe2203sp3texlive-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-n=[O&J](utf-8cd37ceff354b798d7a03e92e474f7f29dfcee861d69d73ea76bd484065ec8c9f1e0912f8e2d9d0934265562a544277d62d937943bac709d7c3997cf051c6284e?P7zXZ !#,=L] b2u jӫ`(y/vbJbhs1b{ L㭳dݢ$0(COd bxFPs T6)\S(NUY!J)2_ae{G)o?Biyq&8 a&=2p e`׹Y!6o?zॆ i}M+ !9nV'5M< Lm5u"Wn_"-<&8V97O=0Y;cʡ$qN.$ap?a^D]d6عޒag%J5V"fi XfKtP(:LڲVD߫ӝj"2c1u?Y&E.ch“Y8``Sv A, @c;Y WG%يڿVtSY^ LX`3=&i:˳8KoPGFp< ]^YVvYٟle)3l<ɐtxwx{CrF{TćP{6j3j9b yRG|ryyMMDeԢU5|@0U'$wcNy=ԝqꑪާ. C~L !Ke6ܣ@ g=?l!; ×y?Ŧd Ǒ۫Z *lh1$ل^NBŨ@p)Y4na^HJ2NCi,)cI$~1z)z$H: hP/Xvؗ'bӺ vɪ2H5Ryck:->CHD0Hꛉ}=JNg|#4&=N~=_馕T+žw8E4dx(1 ,CKS%ņO'Bv^hB.k%\1nVq/ʰE6T-D4W+'ům}i18jAP.ps)4r[}W?iCb噾z?W@y9f/pm|{OQ[RpK&+k_^E*\#*m%bz^=b8'&8sn-ǧ>&uԣ3F|ca`0ޥh`&~FRT^|khy¼e2. D fPaSUs0yc zMi7chL 4}#\8L$M/9||ȼ&:&.W~4ĽhM] qA+S8) 6kׯ Nc"0M+3/љzT,]`RY8{Si oN8 Eψ܆Rj|W^+lAKQ173`l*rDb~yQ mma cxؼ=5ג8ly߿$ *'f"6k ELe>I0lVDj{^&_qXഏ˔ky*A#j. {t$\ڑNhDͿ&KčKq. =mWҘ`vk.SQNm*M+&ݴ76E& /H2>.Z. _k=~깒 (z,UXs\MN}خmyC :sljs^NJPԴ(K,@5jdi&7" plO<hXq=S#;!#<龍5اk  !RbKP>T5 o $|#zHU,HY -Tq3]>eF}TJ6'WrK9 (3i"&ôr5x< Ae;T)@H]7Q$Qȴ+8+|d1.kj :[yS%x e,2 '~'Ƽt%p#`(Q7 |M4꧖Dhse Rԧr3j] 8y 2ĪZe-⭮n74wE_WI0 WP[ի$Mϡ$&:sˣUi Y.7R(l SV{aJNFS K:V+Eېe.՗^r ";sMW2D{^֯qW07wD˩j 382ʖ-s-yP~e'o|lm|1x5djgGu5:Ҟr#k@/+QRA;ӎlRfB~EY+}WJ\(KJ v3Q^f.3ҟZ(cxzh9J|& qnZ3p-S޹(QG"Iog0M p`5㹴`E # 2X? k4ÃjQO؋-<2$RַM`:Bx`_LL~u$Mk[Ɖ`q#ETHKj{P$i H1:Q\˞>p8GԎ'~|@焒:v ?*g5s?!j8z?jK|0U:U4 EV5AaW}aaJŹ8>Z<pK#!FUu#:*Z5̿DT>i$z{{ڧf2RM#W "y?c,Q/ 5^޻[*Yw؀H5K_"nO&ړI!u}r !M& d'8V/慊&A2]?=dYCQFG7+/E .l~cI~@_a9ِ ʆMmG+8rPsmf/u6N'TB\ӑD8S᎖Lfin>j7+1U1)8z@Z<&κovN[N(~ꅧ0!urX =#NmQ;B΀z QD(ۅPAX) P/U1CϫܒdZ5xؚl=F78vL^<+klps%=^k,o ;;TH#badƂP9l:~H!ci"Bj3)mC\Sv;d֜^v W`#U~Kr_pcbC>k7Z"^u֎;T*jE M7S@Z؅eTZ۵ ΉPaha]Tr4<1ٔ2gcr̢`B)cFrL*P{Ң o" KG,zd(< Ō ωXl%Md8 ГBeV*TBw-yC Ù|Q(N){++ YZ