texlive-synproof-8:svn15878.1.0-24.oe1 >  A `YW^^fx|aww4Цbk;sY%E{Q ҏҺ+'F=a+5F0<a Rܺ7Zc^TLgg+f6>֌?v{<7??cy7h5i]̘b@1SŞY !SI=lճ3WNrH{J.laB_(-W^!O1Wzv |)!UOZFvOf? f7aac95411c3cd6f5666cb60f23e72a03b75ed9d6dacbfb6cf73a81076627e249a663d4809e7f9525060912eceb91a5f5abc7dfd"L`YW^^f 2=! * &wi.[룤piq^M}tw|śpޣCﰖǶhXrZRZ#E&))R+@v67wlQL=_2;a]\Z/~@WV&!£Ykݢ>x_ Sfm-.)  Do}i? +7+~Ub@ K_m y\fY~H&N=>p= ? d ( , Mdhx|    ( 8  $T  V (y89:SFQGlH|IXY\]^bc~deflt u v $z T d h n 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.`obs-worker-0010:openEuler:20.03:LTS:SP2 / standard_aarch64http://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 initobs-worker-0010 1621924531201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP2/standard_aarch64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textO"DM3$Ji utf-8f5c11be426d20365321180c2af9ca86577b7d255c471a1d4de51c05e6b8b5d7f?07zXZ !#,=N] b2u jӫ`(y,w!0EU A f'u?Jo 4Ai)N;nZfQHf>ک-0QMj_qJNv e6`Y8hŒ[&Q^Q,,NWqDVErcO YWYV"OH|/j4}S,d,Y Xr _w~aIYs{?ϥ t9QTV^\2]x(͔O5cMrHVDNGceY MG4Ty_N2 ڿ<~TV{+U{%_r =4kXkEFwg%~Ǩdں) 47 mo71JX`!G!TBC"4hQn1bJ` ܴ%&T^˯PY(udk* {5C/3 7:ORq֎';^Dk#IQq0Y"svӁ7C<{\g g !vyfç,c6r2+}ڽR304) T\nW`ç,_]߇햴Gd]vH%6UԀjy$J]ȴ8q221Qo{oL_50\`)֣ldމ<)^?@OtZ*fH'CQ@y#yǵ_0)U&Y-p@Zp7Ucw .*2rC ^`l>_>S#-YlV~?V'Nɑ]V\Vڕ)] a>)58},ﮌ0՟Z_.c'쉢 72#{1I7hΜe7Cn a;;&>?CDV 1dV2~ުt=L c4O|H)kC&fE-PD-=J]fꆒg]/LC'B(v~3{^5x*B/BB/0; M&wyO|mͫv H^u/T- } :mz3ibGmY҃ylXEvx/TCYb!5&ҕRcd$hѾohrQC_h B)8~T0R|2/0 GW\U[} C"dsӄt\M-IP4Xɂ~i1nU օWز ~}ŤĩGUJswGQ d׀TK/Y+ڱRg {|k-7 O4't׀\p ?>VIB A~|pB;&~U8$11Z 2r/?)foPԸԗat^.k[f쯬RĞ tCp6qA}\{G &% wT;m X8I.B?;7+]\y%bJ/t+-_{;tvŤQ mp͉.ʓ70 ~ΤW#!>HF0tV8_8BFg~ķE5]܂ zfMI?JFAg XѯϚhJ1M\3\M0'\aumV^B*ޫ=ㅝW\Ub;5)Īfkt {it\VK }+ w)ո`2ƅY-QTcCn H P4ZEz jp]Y4Nw6-s:y4۠YiBrk}/.&sZ`*r{Ykvw5BS0w?s-YIĹM&QV_"A([reTSVy'$챏h` ȇEjuְTSfZ仓WFTFCsb rRФ?Յ4v%(MǛ;63I,-psI&[l6VX<=Ub̥Q'!wUSPQuMf%OJHn7yL;Zcac`l =n۷kv% ;1!7OݎԤ5dJuH54T|WۃQnoѩZ\[pBS/E)XfO7쎜Уt36U*̗T!έ\u(3Fka %lYEڐ?OTm*h= ,,jldK;_FaL:!lVxIt}֟_ԍlW؍^zI+pA_Z~K8-g99 d*%Eő R De>M oLeɄwu !-QEp!*tKb;-d[ #nֵ}5 M'x7xxN+:kwATWP 8+`eJqG{]^ĐB̕6|bHa "ag)GÜ%@!YW ZYº1S"<[_4cИ~볪!&>WfYVh. Xֱ C%h +VN!_`>@H+&3 LQZHi_nn4 !Ή bv*'){ 8twmnEdۍ[)Y E>)u7\>ӊREn@ Ra,9k~(m&Qnխ!:BsQ]u?{Nm'/R*G !Z|B3rUA<'d #w]/4Z%C"T|;FczQ134羷ddE_/Rּgd(&`s1Nu0d0md=|+^v$3WsPd,9^+؋gCu}ܝLicFAn5s\;Ә>YlNb!\" FuQ/mP:ncj"mș[F@$,d$3 _`I:ȣx(D+i|]0&`Jwb#څ~u; 8$@| 2HSȟ+l&f ⓽ھ,7gG!@ 4-EO &_v|aAP ;Eݪ1x}E1,-FG=⽛ێ.1>a\: @6A'A.1()sTOB!oޫ}r~4 cD,n<%;f)u#2[iM:W3˫tșdlu:<|b?-/8fB˛oXoZkEJ 5q+|fYUP1ɠHuJ0''"l&Tog]⟄I:mxS`|m‰A,m޲}9h jǬJYX*sTo}K7Qז&9MɃW|W}n#NIpɑҋj:"<ײ90|Y>{ˁ$uUzz ssg9 PNPZC_{#;KzIPJa!gYVΣԂs3- ӧuGd~D&EʶүK/kV߈b{c(I3Bb9k2+ Lf-k ʸR)Sv t- 7hϐďWFv_9xMHkHk%W/ňJ8oG~N62bA3nl"څT _+g}vkylv!&SWW6lDPS Z^Y>{H uδ0tƲ. ,: zf$) QcY?sGCE ;=DUp*/)-_CTrĕN0QE׸dc #Q΢U. !:mn  %|Ï癬;@9!-N*U*Œˊ]o^g:\IR-LBg~i`oKugdɁreyBS< f||D;0eI2Թ_ǧā9){cf YZ