texlive-synproof-9:svn15878.1.0-3.oe24090>    f7n ;G|`u` Z T`z9u͞T&<}͆2?w yٚpu"oq'MU(3(;B'>%,cx.N@4HWF_k=^:5F|@UO.Pil3 ѢT^7<8vuD!o?*BS\7ip\'Cor%ݮ<%gm{_ $uo4ak L#2+ߥ]E)p1tS~EX4Q^܌KkC%9jEe{H7p-k?݌ k Ns$'eu~dY:2tNf994837fef180d94f40e1018fe23b4dad38ff5e4c22eb1d5639db5120dcea5605bf645d9bb1074daa5d75da4133952f3001a25b7!ekY߄ڎ>;?d , 0 Qhl      , X . (Q8X9d:FGHIXY\]^9bdefltu vzL\`fCtexlive-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.f3dc-64g.compass-ci:LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤f6Q4f3JQBh89358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-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 1726690263202120219: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 -fgcc-compatible -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS --config /usr/lib/rpm/generic-hardened-clang.cfg -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textAi uəy#outf-860506ff4940afef8adbd69814549a36629364412beeeba346f0dcb769b0bc9034c1e049706e879ac137438f0595799d271a677b092daf4e4af2991a2ec26fc33?P7zXZ !#,=N] b2u jӫ`(y0%,:0!]_UX&D,uO7؏G!}""h1ΟE g wrj;QWEjbi&'mqլYVKy󼱕Nksji14ErbX}ݔg 5PCQqUGL:m8ԅWZly p\Mkjc+$uF-+B|PtPo6NP_)xeL0^'nl8yv[_$FXZ2ң@Edx $4-5ưφ%zX B2gg Xy@.jK0m.1F72t'{~Nq5-NA7"0 G&ְѮMF&غ`:I- olZL'դ`d;%ܠ: !wUҊ@GbAyM+Y6m]`-aM&Jǭ8:<^z 2:zeoCDrc|ָXq^ }aGkoa7Yf]S?[j[x/6I99!*T"F";W.b"&~: 4[G~cFKbx%!5;_ w}gbS^M3@:@qMF,@ `{1¯&3AH _"3dMnc $_3'@CyiڸȀonYN3l2dZZ!n1q{J ! *@^d.t j1w/:ٶ2o5ҝuQZäcb&{3n(#ޏSUΜTFO%Cv_w=[0Tl-|}l̘`^:La:KdQuTa]L` _ʒgz^]1F4U7GTeSUĶjN)\M+t!)@ix픨ktؐ:Qɠ2ƭL|PE =/(%:#&/Edi#yUفmaNšǭ?yi⬍jV,l j>o+HOqD[H7SzGUYi<\n6~Qh^P<@ĭ蘟bt1N?WZ{k=S7\N׸3jDiM*g,I 5Q5y (coy%덭5cGhHM,ޥaАlѺ}m)ugݸvL08PK!ŲoH/\zIVCۘߞ~}>8͔%KX8G0U^dؘ,% liS%LCF5y(R%Ǩo\Tc 'Tu pJ:'n]1ld=k V.l?L[WDi#z;=֔,ɕ'B\([-B[;``1PLKBr_5;r Id݆% 0^K/Ǟ<+b*6m*⌯+ږ{4C<˝|K+3`͌;$NZ?zjq(7>&nv@l&#J} 1~i8 7ɜ vB4֤z.yd("6U#?$7=w[Y ֦pLi.񉉈uO0/A37@<8sv%?/[qRbpRPFYI:0PĪ78JL$%WtqEOEvRN؆iKS{#̪cZ{}͜ `3ivs.Qd!V,jz#U'`L佟v -tj $hj)hkncDm'[ 5}t@Y.QT(aµWK$0mߎMX@pPkfvvA傛L:Q6h@ޞ :xl9oq˙p {Qx+"rbFq^Pfvz\*ņbB0 5@QwgpC_YPsձ)DRmme| sT@Dbo'2QT:J{[/F~\6RW*h&K$_w:1L)qmHBz9&hhw\pX$'; #,=GSܙ׿Srui\ҏ15zGV Z8?u0QqPI(qZaWexLeNzư :Iis ZGJ{. FY}i\zյE:m^FH[y\j$PĹTKd˚1zEέ^Q=~.p擩gA;5D-M Uh.lٚcyWH;#}|1Ȧta: Y5)Y~~Yc|ôdZHo}ȚSeq%摷[g-q,UF‹罢enhT P.+uQnV DΕ0y[׈gw@\HRAmoP#5ֳHگGs2h x?|P EwECQLs1>VǾp(*#u4 !/D _6ns^4젤V<*Ydjc. b+r&m|24oQ3/ U7X3JB\gú4>0e{rps@9h#ZkBRR49-6$9Zo <$Jkj;Lܘ܁2q)mᦥlH%irL{kMlL3XgOܛ4vM 7¸)uK'ۤ@smXQp_F凯qpLv<#HiNQ.yBTߞ~Ύh`!X[;J4T0.'s{62LW2r1 #!\/PǕOsSx㡷@g!ۖU̔/WIّ{ȊaPN d]5(Yb" %hL0Ь0ދY{{*<_Ɯ;S#/ܔMއB =C"?gЊ Rv7ADA'Fh%W84&D7lc)W'߉*&@9<<5=^ڜ2gF9 v(۹[tG5]ށ1L79ln]y7bR=DPozez=$8mq W;(2C*KQUwMס*/*&Mr﫦s]dch>]xl)՘Yyu0givO B:zd'sh{_Biɇlm'vl8mI`6=wȮB |2̩tZ˛[,p[S2;1RKMNT$C~bzZvK^8!ѱܬՖzek˰qCHa)iXW6KUDkáE];="I@XgےW[UU'#i|W ٩oSzqFlE7jn_Ao3,q.#͈12+c`Waw]fUH*˒)b̋ÝC դuʭt g-lg솙 ;/?0X@}larZmC>hFMT|wP2pqq21ܔ239O+y`i HF@+63Lyt8YWqw)&3){cf YZ