texlive-synproof-8:svn15878.1.0-24.oe1 >  A `W^^fS3C/_گ#S?$=HiT I98@ol{{ '-c士3̭y#"던5[@7G\sѥJ`iwH 'v [y[>v4|@_`n&J5>όF8dvxijbvd8e7<H/j(%#σ4ˮ5Qj?TqH'j/6q=kX4 f)ƀRuTEtj|{lAa756a214bfed112f68278964079563abe9f42ed346b00bbafc094f8a497d1e4a20ccf388b96bc8889da8f9e0874a298cd78564fe"h`W^^f7m̠ñ)f>{Lp= ? d ( , Mdh|   $ , <  (X  Z (}89:WFUGtHIXY\]^bcdef l t u 0v @z p    Ctexlive-synproofsvn15878.1.024.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.`ecs-obsworker-0003:openEuler:20.03:LTS:SP2 / standard_x86_64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤`|Q4`X889358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-2018-24.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_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 initecs-obsworker-0003 1621920393201820188:svn15878.1.0-24.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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP2/standard_x86_64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text3bX,utf-8f3882cd4bb6349515ddfb043b2a29788b6d3f3e844f38dcadab9699c444f7cbe?07zXZ !#,=N] b2u jӫ`(y,w;/Sȃ@50 UOߘp(մd1.rF*,1$߀^R \8ubb isN{Lڬq3`i<[Z;KLqBT撇>4%ksd^Ub dkt0ܘ,^;ߐ#Tr-BAҴY]5hw4YK3/k,~.Xx]!y(Zێ,U t#nHԁ4QfvI뒨Z#ucg+"nHKͼ9NʥP_N(4dbC)EPfќ3C*}?1GkQ0Rzc*cQw2G!t9IC\}]a(-CwGq'0̥aBUzٌ #6Р#K=]N '{g^xK#y3?7NU@5*Օwrw2vR]1"TM>ۋ2'0iVڎ9k:쑔+u .}OuqPCtsGL"rLgv5"Ԯ0J+7$H}5@cދ6{{IR ,>^2L? X '9S`|vI\sj;9v<9d!Q>_Q@Qnc錰c~"{%1:o{St\NebݕM-ʳtVV0>#L8lv#*XKRqOuSJ{6vRW o>gR'nX_*e| 2G<IUlVSN)܌v5(/Ck"y!yS/ηnlRnf|ٙ u`19ɛa>TDϡic~4Yo %3pl #ZG%4o [3HKWA^ ԠNB`9[G6H5κ ~K&\/"A& A ,,MLK?J(#uwJPIQ_τ6~pEȦ݂w_?,?t| nb=9,F0E#@z1 [8\˛*ßsфŏYD-Q;Os=RU^@Ԥ4JOX4۴eClx%j 7R;$g2Lȝ#o8Gx+S$tbfByꯎ+~֍l̾I0yEڑ{LVE:}f듫7?hZrs_+5_r@)N%Pơ;Tr@w!m<D6 13p "| 3'/IBU@l ."eE]F z2C2YOfܩe.4 a .:EBRc"AxRZxQ5s!GdlF_ULc7&AHpN~lo=`Q .)tÎfve>)7 H]߼xTZ!I퓔iTuS&suo]]vF;C3jCW ˠLEsz;f dRk [ʆǠD\Q s@=3Ex~hS`CXfPd"z3܆GGZDk9AGc UQ;DZ`Y(AEXyC>!l"#n[,g&H7LP{V՗4c۴?"z`]`OeSHcPvAYHaNm-#n[(1}@^&J2⤠HUYvʌ؇X5M ʈ!fH &huRnJSq=~+$o Dwl JdY3CRAavgu62C{I(??NAſW28r,yϼ}7GG[lyi> N^6YPtB<_ͷ/QoOTT88a *f{Υ?x@#+ S`ft>&Y,b)Øx47%N&67]7/{K,5;{[NAF5YGKiC{o Tɓ0>jvA0$4j~rRޜ6#yCfZ|'K]PaýK~D⌱$ ]貯i]{3cסh:[a# L;#.gG+,ƵOR+@gVcjY؋c~VRM/OnxBO%z](EX31hgԵQE˚`Zr[DA˫b#[s$g ̉{e>pX9v 4 7Oq48׀0U//`{i<%+﹂̛+jn0ck7)cMu2U Q C}B~=MB5ΊXE"~ӤcZ)Xv?2)C̅U&~Yɤ[0C8\?&c8qrODhvh>3'_=k`' &tZĚG7:6*2xآ6,) {gAÂGpL{ू6oRj:huKțw ;OE;Ixgx4{bMDGVCȁmvje8 `f1@3یK'0`"w}m,t:eGf֪L ` @O6anGtoR0 abK|uU [ zI=e u}:]= Yzh_GVYb5@o>X'O-vg󫖟L)}Δ B}+&Al0^ uPO壁K{ammCX@ѳE.H>K(0~lAٯC ue=䨔NX4LEfdB)غT}.Xxp2ۏFhpgƕpkgpӎD4rjHW^1"~ԤP1ZIXCXW=ݻxcBa K^x}_ !A_PBW8>@d^#p5 .~vҦrn{䝧y {ݑVp &5= ysZh-tG3^''jK(!KS[MbBp(Y.5_2g&:xR愴 +K9`CMN{Y#1k=^1!h5ZE?!k J"\>osOQFyK+UNy.=[܈|Ud8Ơ?#? ),F02NT93hztfҵ EbM!bhgQ&?rgwMoΖ4iT>߮W>9H Zק*uQ3$,25>ɝf]IE*'u>Zpiˆbtx39tfwPlY^b UYt8,t,WqE-3ˡLFAC.徃I4o]MgX37^JL n U 4@%t;/lc1 ֓'H#ƒi{D:I0Y2_z^<%kWp>wqhjVTD6̽~dztvL혋 aC6k!15)d"-D/3N_Hcy+e /7eʏv쪲LkfC(T“[X2E*6̦yW 'hܰgd?NBc3Jsp~TdI%jNN4& XZhG%5V3ߋi7<%X><s@U~O5[k7壪+@3GZ7F*w$fU?B^\PqJRXa_=xWorT ={ <Ί?~_v*%W=֒\WPUT;H&e)5]jD(n$߫r $LpqQox*r77vCA=.Qzء;(ӗԊZ:){cf YZ