texlive-synproof-9:svn15878.1.0-3.oe24090>    f ;G|`u` x X7s!5ZųMXe>.3K1ozBUem}.BI6dXZ-kp!65+'tPEmCly߲RZr7QqZ4Ha417]7su(ϲd Н$k ld}yɽ=Ȩ'*='(Ïmc ]P&cDzVb5MN)JipF`s[ꢙNHe\N\1{jFTL@T_j_A ^j/SsLV=8y3wqe4ov6l"0Q?XmZ"]6BsYAobbc4b7a58e13c901f57eb47021fb33a0a25e0455e23e59fae1b531bfacf200ba0db06cfc31314b1fcccca5995d10ae9c85a68a59!a,X&Y'%=>;?d , 0 Qhl      , X . (Q8X9d:FGHIXY\]^9bdefltuvzHX\bCtexlive-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.ftdc-64g.compass-ci:LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤fQ4f}JQBh89358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-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 1726655860202120219: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection cpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textnIIxVcutf-8cae77bd4c3a947d2ede2692d8ac07ea0bc3636deaf6a5f71cae937fec3cdd772412453dd72aa7b598fb838b4d02ae37321cdea81fe2f7332a96b4b90a319c87c?P7zXZ !#,=M] b2u jӫ`(y0$f{ Q<]5)|7ÌN9lJH -}#,Iϕ \y[BJd0]Tujݬ>QyC[{ܺ'|!JS1$RS<CVXNDXD:c˷L95;7 Iv\a;ֺ ߹miPwEJ GDʙ#8V:jݑt2*O('$^a{QoN}tG4⶚Y%8.yhp}Sz 1"jbwB+쇋YQDm2''bb kCGJoyZ r*~N֮lT|g3b`g١—O'ꌛ['dRy(ǏEY-))+rZ[ &X<٨*#O@MΪZ5V .k\^I.bE2̓&:&vUMƣ> 7ym l3> -EjFPVE KgUɸ; ܡͥ[$t4EcYP /vM?Tk za#!mVou[§G \O d35ŋ3 NdVײ`toE .wfKӂ5+gz=zƬPh쌇sBhяSK#U-ioFm]_έ"0e,r 7 w.>.eHq= ѯou6ǝ~yX0_d*=%WN_~T#gfE}OK¯{n{[UNlKmqE#ZaAb rN;t=dr?,(:1xwۢ1*M@hVTU$Q au)M !~Y0E?5Ǡ89xʮ/`ˎNicc˴*%q߂)VqB)!V#SV5|鹵IA$4L[x s}.0w_늣y6 %º8D!3*j"ެ:>ؾӂ /MfWA.DUBYG7AS *]MP%#/y_R;5p-K%lWK`so5#REun!H~!HM-K̓z}jbXCd;֔ʬ>M4&liutT!*,㞵Yě+,ޝ.K] {(POMcWZ>LrTw Ue[^Q!€hbZe|1 k˾}h MKdsه y~MqK-sBg>#E\SW˧Vzto NHQ =lE"*<_(Q.S=3uQȺa(6Tp-U%V߸PN|0A,PxUF$(&mDGΗDh6׌rA},T7Iْ;*OIHpAsmT/-toj8Jcwj۟q\k 6sŔݖM 2p{bXT"B RY?ByM BP#WG 3fubS;i lyjre}笽_+21>lb&X7u§;X~XAf67L8eq}];2WCbkH촨V6r]de*3.E\}:M#3,bh$h<ѓt#MO W9=qyP3Ft06L ~~9=F+"%C_>#]T*eȩ9p2?_НF.y<)KC)9Uk\QK$ 5Yp@WxUW*a5_"h|` D:(o#Cx-^8!Fkz݁OQJ(;Ssb 68Z}fnͻKeA0 b4G 0z5259=`cc~4óqZ^ODLu<-{fc$#Dz/o>-8dL^=l7$*hǼf-H'?EX ^jj#L4]{޾ue+ŐOM<~ 8j ߸<לٚSXLB|gG8ȯߨYciMlS;Q}"ìW;5i/9? 9:3T}lj'NҗW"Qbh rMoneJXXP3b^@ga*x\\|{&[fSbԶlętR/h~%]U9Pqz(˯@7߃!],1*lݱ f#_it72YGL;SXwh&3tq:Xh Lxf1PDs&{eU - n 9Ryb5Tt ;}hKI[83G6:%-6LYozLBZ?gp#By\(&@p5G!7%4ڔJYnؽ.3s"e|}s/G+ YU"n])9jEf<. fWKOYWql7"[R<I&րS6ԬM$˞5b J|Jg PꠃD7C(Va<,`A (4Ród( Ljc@>\z]a8[}ԕ>v80 GE+)ħ55U.ghԧeM^P׬&^7WwGIg>ۦdn]rSYv25ذLp;U*aLLt~Ǔ\M@/#i:Ifw.C3`̓r/}\C !wOt4P_^M rB`^ +}<͎OH l}STp͇lщpq!'mz C4a 5'k;{ RF+cte"kfO,{hh2@t]ح$*jX`'M+O;AZ6AY#./m^K+f?`G>;E!8WYw2Gw1 hqL6=?(y5"|ULB~kCVԤa %>)w95`s:תZ(~QmBmT[w#=SIv SIYWL\{Kj=`^5J|w55ai`m(r_tnVu0F0Q/=CS\87ص (yn8V`wVQ1f@g%tNw=LJlb O bnV@,81I„GQ 'Dm1ɕU^&/y{VQ4PG |'JxD`zmRZ4L#Dl֮ߐC0hXOy^S TvtL>ogr&S2+ Mk7 OSj QHQ~/Va8c9[Դa55cA{sbQ"[K Y'+gV⯴{}ӘzD𺸚v-v!}jx|6;/C+ԷL%JTGA$Sr{Y8*s!/s2kK|){ YZ