texlive-synproof-8:svn15878.1.0-24.oe2203sp2>  <@PT@7!.ܶujG7odqxopeneuler@compass-ci.com G7o u p AKmqdo"I+ '̡U}(WjHMIl%m2XWg)<$wmiQH`4e7vqgb#V1IJ]ǰTy 6iŸ[qoRb G5|Њ|{ C/<߇LT2&uX Iݻa|3h*w5VWyCzu' ODp:)I e†mjKJ.(?|,YhP>EumxepwC:&(^X)lI&Bq KtG`3 D.dϯ a㭩a ?<0dbe3677a06a206e996963b9cbc62773034b898fec6f18ce33ac179ef6ee1208189e46e4147c6fd78acb7c99ad8053ecc9680fbc!}MⵥE6(*=>; ? d 0 4 Ulp      0 \ 2 (U8\9l:+FGHIXY\0]@^qbdefltu(v8zhx|Ctexlive-synproofsvn15878.1.024.oe2203sp2Easy 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.dqxdc-64g.compass-ci:LPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤dqxQ4dqxX889358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-split-v-2018-24.oe2203sp2.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.17.0`_[f^$D]maminjie - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- split texlive- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initdc-64g.compass-ci 1685158068201820188:svn15878.1.0-24.oe2203sp2texlive-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-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text>-8MdF%;utf-840c99e42e3b8b6aa8129f7ec8bf6ad2b164a199e130e42636a209182ea9524887d7a5d65607e19d280acba1edf0b07b35a1a30e5f816079a77cb81094902b3b5?P7zXZ !#,=L] b2u jӫ`(y/+EKp A!*U3Wp6Y8ӎ[;~6I"^ҿtW- w`z&j7Ș7έ;{aCғZM.WَA,.rM5ыfSQC[G®8z*=;LUӱ1g 0* d%K p֧(t?֬4sJ.0vO^b IoFX=.pT:QJЃ9!A%VXTyL,g0ԣZ@sea f;B]/F`W,B;\4 lu+W+ŕv@z UOg=^9"3|tyπ\Tvy?P= TZYA!yl3R$*J!j-۫ױ] _ 0~}VE7@zkHc_mTgKzi:P!]J7GwC0ꚶGgbyh\]{V6[]-Ө?c{bmBl~xd o sq-X!560pbL^)-5Άd[s f^oCF1 #)'駚N7Ib+yY*Nb%?kK\QfR˓'2{f7һ^ۍ+Ԕ"E~gjSTit 3g[k(.t-QơxmwF7jMw"lmr^GW5x,۶$Zy>{xaRxGVc ?o*}[ʵ14 e&w"qݒkkaCp-ջ&1すlGe&njJ Bgk>^e]~'Owm 78ڳ1^5B8Aރb\#@ZLC~O&>UTު-#xݾH5wm=ϘCoK mwD#+*A%N~өǶ*?|pC?gi~oZ؀0T{ϏSH1-_K2P%,^.dF=E ߧ. ܗ oPGahL#ݠ 4ß''xKz߄ A]*ĠJ$4n$M_`'g n6g" V.KTt>-FȈ+Hͩ}K@8Vބ9ͬmMxn~r6r"97WEGⰎeXΨ:řuo)D(z!!Ӛ"I|UDRR/pH]h CMj\([Ѡ<#vb;L#xaD^`vv`zycK獫@JNmy9x-+ig$f/w>#BUr_ \kvbISోL~%1HHn\bS TMQ_8a"<~{Swi\tn.CwHDOdW~ngR "&w@3GIR>m;ʫ b6 "XLF浦^km̰4)O'͓ i8p:]෤TOq1kzCڱKuພ'Q)actho?O a(E5RD/<ݒkjQ`59nlwS~Q%`2QiJFn*?ȅ8MؔUn`'aRPƼn uک\G P2ZUC.8~%4MmzRIb7R|KSBD"K/CY59PcyֳAҙ UXN#RX!l H-k"V8 q>5ogL+ mq1iwGukʣ=(jWZ_nGIx`TstP$"ÞtD"lu=tcf[."zٽ, L)Oa) `wkICA?z hְpM#Ѽ_^<,\̣$ OL@0'T9$;+s;K9#L<E`NI&)&Gis0"e|9ͻc,V:FgV@ xh`9ȧ#q:$d!yrF+! d҉*S.^u5[૲jMeS-.ip(pO _ Mz:[EbH`0_Zt+ʯu,EUθg% ȖEs*'aT KNA'cwLԓ-^s+ C'yX\ iδnUS Sn)@(h5[ w`Pz[(Z!}Eqxj9V{tr8曪٘8de'lNq Kʅ5 f4۽ЩiqK0+P٭8os$ QR]N~sH2BH!4٢'m^B$Fc>q2 ׷\7S:xFv_aAƂ>g]&U^_noHlC]O*&g{4E|pǞ<_lV %ъ`sۚn|qjozzj?&\^F?Wh' ,B?0Phϣc $5܊3B 8wMڻ5U|CcFÖ76:V57ƨ/-B{" 'D|+\מx'h26v$0 c9/wۦ:&D@]dҕƻ2₧-@J%\ԙV{BQ1QE8C^лدuToN)mZ`=.PZ HdOHWEA{]߸?|2h=wٟz-mTWVHnߜ"~aY}1V3sG|< Y GK0 p6IT^ٴ7c\p1>U c9G',oMAC@ :~ΨP:0냔8.UYBJZB$} SiN"t `Kf.]}z]e`~Ҁ Z0wˁ I){++ YZ