texlive-synproof-8:svn15878.1.0-24.oe2003sp4>  <@PT@7!.ܶujG7oed]openeuler@compass-ci.com G7oA }cUV,^'Q_maV^Ѝ@灅rwt{?sągHvpaa|➡ĴE'SvUR'Y$|[fDע<{!2}qe.o#|-tp?X2&}p8[ӝݻs{z@Uy$̈́sosu ӝy*5t,(*:J_J䀹O䁁̸7+l![an!|FA8>&Z7X<Dz1؟LLm%,MėKq[DMkBi XX WZRdlPP- MIqeS[P< yXBFqɬ(9dd36193821b93dab25b04d01b4b2838bd0f40042f6c11c05daa66b803542efee741eef0b71fb0a8af549251db2c3f94a4e06d42!/OF׸RǷ=>: X? Hd 0 4 Ulp      ( T * (M8T9d:'F%GDHTIdXhYt\]^bsdsexf{l}tuvz  DCtexlive-synproofsvn15878.1.024.oe2003sp4Easy 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.ed%dc-64g.compass-ci:LPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤edQ4edX889358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-2018-24.oe2003sp4.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_k_^$D]Guoshuai Sun - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-venturisadf texlive-wsuipa texlive-vntex, because those packages use utopia license may not be free for anyone- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initdc-64g.compass-ci 1701095205201820188:svn15878.1.0-24.oe2003sp4texlive-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 textH~'K,+utf-85d88cd3e0c106b4a39a02d81a132a4d0dab8de375eaea34f08470434c1144441?`7zXZ !#,=M] b2u jӫ`(y/۱O]V \pxWyUT,< |=欉oP9ڻ>aq1B@mkGYjӑ/.ʒoTBWx4F:-I?諊O(.K@;Ϛmˣt4%QDcOb9kB|'QgJlsUo Q71G$ вI H@ `wU8Kdt龾OЯ&LPYIlD[ۉH8Nbz )bZf={2B}Y 0'8T}ǻ1 .͋gqnEA;5I-zRa!GN\wa2Q֕#6-kw,Jm4M2 i2YwKq>P;«_kSOY]Jl lcq3==3;>* 񈜂WQ>dk-Qi T5Xn x X:zYDut?Quz]TY&)G4qMESa n=,|euRX!6,̚: u*Bn@ry2u!n&3MBu[qho)-Qn4V a`syt|cW&bj_$dxNвfZc 58+#fׂj^<dn6 n>ӳ):BK (#D*QC13KʶB86@1PO)WPf)7?=۟UxF,k(0t~/Jui1[J9& ȕ!2%݉s@٤R^ I.P> eblq= {ryYmy(DMd{Ќ3?` dѴ18y͕X&WaX$O״ =,~R5!1U\h,P KnqՊNG/{Mĩ[P 91"Y tOA3oi!5l8 ZU NfB=!ى\ Hplڷo X|WሐЫGpɭɚcD@7I@6/0$ \Ŧ\Ke^>|ky\Fľ)ADht3P/zwKE2{X~8uكb-w0"]'n3/-% D5W(`U(qC;yg%bRSp; 9YԤ{rywԺ* 1<7!,rN9Y(f9yڦ!X XUK/ jCs>]T/֙HbߍB l3oc# SsCwUkʫvE޹7`{b'џcvˠ3~R7薻1 <6WUH/ ٜ96ZҸQ FƓo4I;\&Sνڰ~#k#oP%"H\EyɄ̇dE牰4Y)Gd-#Z̢LްeߕY ]X dq1e(BCH{ǂ8]) :+rr{,X>MCln9Q.3pv5WMi|-m; !S>RU3/lQ(V98/-"[YN[ՒSngpj? CyE) q񀚦9pաWt<4Zy ƯA,恅1m#mBE Ii'H6OqkfRYOݹPl1c !P@Aߤ!33lu{'1)gQHS'H3`jmޞ  w-_!\G&'{ chu5w[n@Gb\n \02Pc9s9 ?QQ-TBr"er*3a?߉kR˙t.䬚spX,ɱUJDwGXVUZ*Li|КFY|%2X18Q?P5F`rO葽:w`$ɋdr!o؜މyv*)|EX%O55,ڛ5ν`3^moP1qk{0B< B7Wx_)C Ne-r)Y$@ -C"Bxzz`N1Z&dŶNW!; ͫ 3@K,}Z 4nX0 /F8Z?&w/0u:ܦ>FGEߘ"X$'BvNp -1xT . r5kΦx!*+Dv~Q-ÕAW@-0_N nH&VHn hjXŹ>pSk> |Qwh&|ZITuq!§N$3ՍWʽ/ a8,w L'}X .ZsIih'ܙrkk8+̐57yA\i l ӟga Z'Zx)2X~|o`,[x1u.@NkinC@ P4DduI?IƉȽYOgG`gSYLİ4 sJ;;&BM}A#Jw3㖳 I]^_ t @Snř\|d;oA9h*u%|':h%GNx+93Lŭ\7|T';H oe ){ YZ