texlive-synproof-10:svn15878.1.0-66.red80> K KtĉH2!c31^ Wgeasupport@red-soft.ru  WgK`͵< MskT:b q˫ |u F2E/K*X<3kS|T.뇧 ce &$O@WrX\t:V䴰$ &ek.oescc47PUp:tƬVW^#+P[3rYl/ NkX:o8֮G+)ڶ []8<έaKZAU&8YI3,_⸋PSafa47333b0d468ceb899b558f905283fba68a3a773bd305a376d0989a860c06871b690ba0867683bad3ce3816bb50ef9fe4331dd ONV .K)#7J=>;?d , 0 Qhlx|       L $ (J8T9`:GLH\IlXpY|\]^bwdefltuv(X\bCtexlive-synproofsvn15878.1.066.red80 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.eiFbuilder8:redosredsoftLPPL-1.3cRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤eiQ4eiJQBh89358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(synproof.sty)tex-synprooftexlive-synproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)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.4.18-14.18.0eicN@b|Vladislav Mitin - 10:svn64935-66Alexandr Subbotin - 9:2021-47Ivan Karavaev - 9:2020-48- build for red80- Update to 2021- rebuild for e2k2022202210:svn15878.1.0-66.red80texlive-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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redsoft/redsoft-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redsoft/redsoft-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redsoft-linux-gnudirectoryASCII textLaTeX document, ASCII textutf-80b714416e7ae2baf6130a9c61c4c2f016f4a827afb118ee55b8d46c8292e7c7b62db56055a069f239a453ed3deb27304b95b9659c566e48871165489c228e9df?P(/hmd/n Dh2VPݒ _2Jp | <&!Js{=d ᰙNY5|-o%ځ1l(ço0b;INڑ$݉J%Q^62O vjJϖ֭v=pz[Q)Pr@meiHGRKbm7ĩѵ[7JGrJjyzVO!zJ}/F>Kb,Y?8d4Y=n{ c2;E[ A_ps4Y϶^mХ sk:6v8}-H'mewTfH9B^` YRی+U})z~ж\j-{:i5G;Rzv?XīEڲ=Ytzn[jE#12iX@lclirV_ZyجWK/x#l%{pߋks:zlv-Nc UѺlvaB>-vPTᰋJED@ (RF4HN3oT2DVT@@D{R((,ǷJSߝmLʀ|m:?mtMu՜_XN[S堷BMS*R96 f{SGtgk;b)7j,0Mޏuz =Z wB>Mʳgu ћ^a\c02J3 (DqK 1ҡ`.i8)#՘`rGBb!bab!XX BZ%}_/D"$A&H"v `)29p>JxY?d>M`.p"88e {f; |P>lM)NHB:1G>c=zb u3Ew[i 0}v@ K/ dg ul%!ZjGNe %㞀x$gi!@"" Ã2;̨Hu$)H:c@ 0L@*C,6 h @DDDd$IAC闩`{nB=L/^g>!0s<-czKOy#&Zgaӫa9,b8z0\& 7 7?' ̉2B.<;vS5,q2-BUB'' =bسmcu6!/FkZp=x E|{7=FiMglA&b{3pw:i=j}AWrҥ] 9Y{9e#_^alv )iyX"AN?߁fƼYD lkOi/d 8oމXLIUT{ (R%|sgtf!oz\3Ӓ\۾NB˚s嶓x?!408${,#e)gjQ-L0_ h1Y`*s̓+-PXPxv:ʤW;5TIX;S,u{1amp26 cjû C`ϭNڢA3v:% ؐI,e ?̐^tY+6"dTK f/LMx$(Bea!sSz;X<i,-l{3lI@SRM I* ?زf$Yd{APqܩ$׃]`>),YwFcDp[3['^R;~FF9 N$v)"N hMRN J&72{p zb:f7Opby2+Z΅a|? ȸ3}Bu|MoݧQShnjCӒA2J94&Ke 'HN2F7iÌ%;z9?& _W'YUoAZQu_Moߪ"J<>o k0{p*lY&rH_}Cn#vR܄Iѝ#L7."d~WjVW +{yB) &Hxg *9D?+%Dzmt[HC5Tfzy}&z&ÐՄL=䂆y=ӝЩ}LlV |iC}Jb󢖙ܪ!)#u5{zV䛫8D"jokߓiǑL^vFfneKr*h(-vJtnD?٥QU" R!xՄD\cD¿᪀0N4A8Y ZAdw`{ b2O_R_ ^t%kKa!3ì1iD\_?_a"Qگ2ܪdYR9 ֩ș(:t̞z(ct/b-<4Tb_d,Dޝh ?$Ćs UvA#`IZȯSxl)*GƲ}C `nQ/[lJY Wz|u Kj` hZ B0oLQU