texlive-synproof-8:svn15878.1.0-22.oe1 >  A ^yW^^f4[tY!LTFB7Wx|Q*[13wjN<@) +YRgĐFrאֳcHهrU xW#\M8 >Z[2}ą(:-P]?)LNOh8E+ԯgΝ (31ֵMgA1J9mO\c byb+5[;ͧ ]&ᠼ2(c3d98de7704871df7e7c51482507309fb3ac3940d1fcc7f271cc86579fd90bb757fb49989d229828c712efbdc7297a5947e0b4ef!L^yW^^fLA/BJw 68"N]:X1L%X2'lYQ)/*I\~G8r)G%͟",7ɲMcO!-xǼɥ8R3>05^Q9}4e+;ƚ\a=+ˡOuBs!Z;:)>َ"[L"kt&>)`&ÜO bTŀ`Bt mJM)B+?yFbz@| s }=>p=?d ( , Mdhx|   $ 4   P | R (u8|9:F'GDHTIdXhYt\]^bkcodefltuvzWhlrCtexlive-synproofsvn15878.1.022.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.^y3obs-worker-004:openEuler:Mainline / standard_aarch64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤^yQ4^yX889358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-2018-22.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^$D]daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-004 1584990259201820188:svn15878.1.0-22.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 -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/openEuler/openEuler-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:Mainline/standard_aarch64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryReStructuredText file, ASCII textLaTeX document, ASCII textiwvƀWutf-843ca7768addf94fd78c7cbf7a49ee689bfca7ace6d63e3bcc75e3fbb411e1169?07zXZ !#,=K] b2u jӫ`(xyT 1.>qVY)Vl6gB˖H3aܹckm24KmoUX>OJ=u#عa L"63">y9j7ER^DPL֖,,R *KK.re%sJs,*{#)\5"h ñpZ+ӣv0s>д/nod g@!Suk_Gz j^B1cw r!&6ogYrDJM[rf&mvxٓЙ{_x%ڄ vSG[t)}Lhŕ&4DwWuD?SK<^1hxKqӝG!z6gkj#g _i5i'}_^2m;>)&tO<m 5n7o71;u[汝:~]-k)Hm7+)*g3QZSB̑P&mq Hʅ)t(|kXFԠ7n0&eq3UxSYl]4_B TIPmT_9}ݜ_B(QŨ`aEJHЃPV1 )Cg D-#o bAhH9H`*FMl|!Jgzy;JR hZ6 ]y֭n&fQkn?GnԠ W{kaɿooߣMOG a3t46jۗyA% [Ϩ÷FR4Ot ~xUHZ$H9 u tDdgDvhJis<9orY7g:H n٩w!<8daI叧O&IVΎZ_y=-//SkJ`#, +qZk8 )SsiVJ6PP7axWR+ӏAIOKŖ}U|C5FCď-9غg2Q=Z\4T̬la?h8t:|W%~N cP`p1?O:ivT-ϐJa(U'Xa" vvJ-e-#ԄNՌIPx8]elʫWG9n@)fI9pb Jݬ10I,Mmހwqy?1LoZ6>1LG S&D6U8kKm̜U.oЈ1[MpgP"m{zP#ܵaD۝[4Ȱr!9~_׵l,xFLh%c-=R_f<(caҺh-4"61[o䎐vaW+$:gQvMmJ7ZډϬ* hq756-нGc=Kɼ,Vyt?8י xޥ]8x-*ٴ'tPcgGQDo$%E\qHd cZ(\ִvV,GןPg7"0>uXQкqHj ٥r}s_{0CNb3Hbjb}X'Lo[3[iz+:۔Go\n4"1gWmH;ďz ݩro)vIfC)&_F&Qpat KΔ& GY}mjӑ ;oۭ)."hQ e/1fpW} weEY=1ؖOE r=@kn/"`ѳSD4WL/`%]˄V6= ¯TrRSo1E'L!Ð-lpNraJf>G!;|[`tqP>fLPLzDx̹ʙ~֞! 9sT?(s) [v`@]ɑ-yx/yÂu. w "S^f.bKE5ƞ5VO/s`GeyۿM FɅםm#) eAi¯jtm_'4'&L3bA~aq5V©NHOG d2cPbV|SQ 􈮫m6 R8IJ899Xe[JmW1.j5z!] M˴{~b-YkApF?{'[>/"Qzy}*ŶMF%FM-qtPuXRx8zmkqр˜D/VP`@`J@dމg9@!2p1-C_ߔhz&|jq`P|gBc=4Yp=%&3܀d>