texlive-synproof-9:svn15878.1.0-3.oe24090>    fʴ ;G|`u` v\ -MQ+B:aK,nQ)LBzw!hBk2It9[gA}mat$x,*>ZW|]l? SP'Vh׫}dp!?g"Er&C7]*]u?1d-A ^fŖ ) >x:xtIלjκl^c5dc8d5a00ae2a5d9e2caf4c21d577619861e8b3597cb493aacd6c952e640d9d4af444f463c90110ba30f4b586c2657ed554bb66!ID oAoL>;?d , 0 Qhl      , X . (Q8X9d:FGHIXY\]^9bdefltuvz4DHNCtexlive-synproofsvn15878.1.03.oe2409 Easy 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.fKdc-64g.compass-ci:LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤fʐQ4fOJQBh89358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-split-v-2021-3.oe2409.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.18.2fą@f*EcY!@wangkai <13474090681@163.com> - 9:2021-3Pengda Dou - 9:2021-2misaka00251 - 9:2021-1- License compliance rectification- texlive shapepar comments out print- Upgrade texlive version to 2021 - The following packages no longer exist: spanish-mxdc-64g.compass-ci 1726663243202120219:svn15878.1.0-3.oe2409texlive-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 -grecord-gcc-switches -pipe -fstack-protector-strong -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/generic-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textQ6¦eAUkutf-8eb6f727d00e346a24873fcc268affcc3ec93d9f96d2c9bbad643e6551d09e4224e3692225dc67b3bdfc45330f55678de1f2a2c2a9ada7f3025f843e7b57de7ae?P7zXZ !#,=L] b2u jӫ`(y0$̹pTJX}oT.BEvuHPZ p u>m UDC'zӌ֫#]}^P6DZG[vyޱPgWNb̺GV07ź7>A}dO׾R7<;mmsZ_@k5m %|_'^P %5ªY,dGΊ%P%)/Oѵо"cӨ >QTpٕW֭| T1FT$Fbɾa#K=a>+ 6Ş,@F6*24% F%h^_+W,ir^dKIϮyGa_SZg'WM+B>%gTo\KB鋧KN_=Zn`CY4 bzIr px2HF5hZugfE?'aq46,jJ}eS%4p@u0.!^da2 3 c?w,s1k ϊY$׌C&Tn8rHلD3Qa S``Oow{ =lJLIpƕũyN|s.iن{q\™v %zJD6BH'R< Lr7SWpBY[h w߭a}ƺ`M8,sńPCB{Ÿٖ|:x?'{r=n˙}tL/zq!h%i@Bm', OmU>&;I 㸠з Aجc*4˴+{ ^v6%anQsӭ4gѐ)LP(Rز3"% *%HuK>8C]HmxDFa|v /2 Fe|Ѫ&n W/*V% s@|1_眞d]=, (v!cCtő z(l4w\߸0#.@t]+%N \bbuϳ%?(]:) ϴev,MH*7(rfY]/Xq SO]2=+̛^e蚏i:ZEۂAb5e͚a_ݧϜfh]ؠ25["1A!*WI$QBR@T |H˫18I%\9clu@hj8v/y" ݆ml_=#! =ҔD+{R5 뤸uIJcDKpf3F98Ϩy 0ӊL9>5I}FN2'ZIb}KCEFsOQnBݗٗ@V% /hX -+(]qj 緝b&gnU\: ` i gF7Yl@4o`!| :d#[9|y݀h*SYOT[`^+x,[sk%Uj=H?u1ɼդLɽƝ>'0C0~ WlÞtpl| ĺriu`'3]> &=#A=bO(A!/dB!+,W LPefs7VA}MPPͫtC?)² aM7dcDDaxbDӒS5`43<<# rBc d$}]Ev~u*͒m5e{*.L>激ײ)\.4qb|R=ֈP{kY5aK?Gy\H6x=}nl(]ܾ=؇U3dq4hF.I1$1:w5. Z(wNШ襼IKyUXp)ύʟfϩƪ$;@ 74gP~;L%C^KP;.y}N扥n ͳ.KK| xəy7;H6n=3,`v:NLIMg-Q:pBɭk8 \mvCfsq,[ݑIfVDsMq,ku44¿!N~r@->6|_q[;Aw (hDq+58b-m+/:шtD3^p{їeZ3 ߺ +O]~JUXEA+y< gZ@Hݲ :{س {{oB6y*k4Wj5L5w= ,JzH $)3ڸc_WcC , |Z3"=NxJ5T w5]jRE^йp 9ӆAXә%i  HGRQ.L.YOg\RD\y{T u5v9.Z@=V<JO؈WW+.O$q-a8!5ۨf5`C"u{cQ!OD:&j=@T]{Bщ_%Jzzs3_!!"?dB]LgpKҁ{+\fg;Y;H`GMO:*鲪"uLn |2jq7aX_ߌ_”X=5&S-/n/igD&@!Yd_O 7{?^ZI`"{>%DyNuՁ18ˬ1`la5+v ֻ֦ǻʡB͒QӍ*Zuh1IP@^^O!#\ď ض i2/:nT.axj[6 \$Qd\qfWҿz%ٺ,u/ug뚦m(6S=Xee: R̾WHd)tV [jOeGGX 2v3%F}>_,KtaKk5š?fk&YK$IddlU_oJլ 2@e!M`:mqЗhY-5VV{I=CD$f&<nwg;py.d|`Z q_sє.t+[F+]2<~ zDK:TcҫQ!|Y\:*N,/>üCG-(ey״9ӱ2xv7l(W8f]%&ل٫(c0bAeW) TB41<޶ϟ-b:st}R>pH%ƙ\衼h%y?~S`[3J#=@\acЗ:$`[EcrڗOzm"k Pa1N}Ҁ9wO n4^TMsaPc Q aW[ 7R-JRصiS 1sV( |1r*czuf}F}#Ml<;R)&xvw L}͉^ ,P"-C^` fŀI@E-< sYF(r[j^~@s *v,Y1[3ȶÜҼj8p;(6gۜa¯k9BN ήgNY"~Y> p0iU*='Rxlv cXESeHm&G*fvN#HVo#@ZԔ@?,x @+vW5LӶtr d | NPaF~ǭ[wqw+)A뗪@ܶ7M M`Iԧ\ПKZ0.êPΐ|2ע ' AUj)v^i-3l +i5}XqMl>zJkS2:ZV<|sR'DJN6"]{;S0Vx*,*0%C}){++ YZ