texlive-synproof-11:svn15878.1.0-73.fc41 >t 6 6_ p3!Flض zE>b$bjf b$bjhfjZl8Vs3d-pz1M!855*&~s_5vVHd_8wVJ&U.CJBuc荓"[PnX%uj|fl!2]B1!'M8"etь^:Q֙O^締ۿ32|ǩB?b~n/;!^7M;D)b3 ` %T 4QI8|ܳmg%_xi^xl6mkέ<#ކx4e6e13b3738e3007ceffd862eaf3e1ee9de24914cd11ce774cba9c9cfb2b4d410704729a8ed37c4abe1696c376e67c05993d2ea7030204876d743500473045022100d2cab22ef907715fec77a2fd37de9cbdb3eb11e175540bdd57aeec633e16e6bb0220497932e4608aa5b1f3a72c87ba633e85da47b75a731fee93a810348a27f0191b030204876d743500483046022100cd934884ed4ac2ca27b4aa2cc01bf07415e5fbe15ef12f20a44144a24b8474660221008c4f510a603b8581638640e185a7aaab3f561ef9341f04a0e3945cadd2472b6aQ'bd9`<?}d ( , Mdh     ,   L x P (v89:G \H lI |X Y \ ] ^ b dNeSfXl[ttuv8<Ctexlive-synproofsvn15878.1.073.fc41 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.f?buildhw-a64-06.iad2.fedoraproject.org:Fedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤fQ4fJQBh89358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-2023-73.fc41.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.19.92fe@ed%yd"d?@d @c@cc^cc(Yc*b@bFedora Release Engineering - 11:2023-72Fedora Release Engineering - 11:2023-71Tom Callaway - 11:2023-70Jerry James - 11:2023-69Tom Callaway - 11:2023-68Tom Callaway - 11:2023-67Tom Callaway - 10:2022-66Tom Callaway - 10:2022-65Fedora Release Engineering - 10:2022-64Tom Callaway - 10:2022-63Tom Callaway - 10:2022-62Than Ngo - 9:2021-61Petr Pisar - 9:2021-60Frantisek Zatloukal - 9:2021-59Fedora Release Engineering - 9:2021-58- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- fix missing tikz dependencies for tikzlings subpackage (bz2255556)- Remove unnecessary dependency on fontawesome-fonts- fix broken dependencies in texlive-naive-ebnf and texlive-jwjournal (bz2181838)- Update to TeXLive 2023 - No longer in TeXLive: elegantbook, elegantnote, elegantpaper, tablestyles, pgf-cmykshadings - soulutf is now part of soul - expkv-* became expkv-bundle- update biblatex to 3.19 (svn66405) (bz2176089)- drop texlive-ketcindy (it lives in texlive-base)- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- add missing dependencies to texlive-lua-uni-algos (bz2158837) - hack up tabu a bit to try to fix longtable (bz2158820)- Update to TeXLive 2022 (finally) - update all the things - add new packages - rename packages (tl seems to have standardized on lowercase)- Fixed #2126535, Fix symlink changes during %post and %postun- Update biblatex to 3.18b (bz2100167)- Rebuilt for ICU 71.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild2023202311:svn15878.1.0-73.fc41texlive-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 -Wno-complain-wrong-lang -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19noarch-redhat-linux-gnudirectoryASCII textLaTeX document, ASCII texthttps://bugz.fedoraproject.org/texliveutf-81c304173aa263c3a45497f3453107eb42081e3b6f1bd06111d7e055990c1a07ecea74cda9b6cc040b4b6e571fc3d422f0405e0618871916300a20a2130cf41eb?@(/h5*+m$7J̉!f ;yBAymc^F"RM.Ə&n'ì ͅf93mȋXgHG^G|j.}))CрlޟR(!ʠ:jJK}kof^^ntJbDŤUONy{~+FҶBFJ,4)!xYB]mF*+}?|]+ƒw5V(??y-NtYۺle,KNCʺZU.:՗ʃ ޤbZ7ʔѹS3PK甕O]Zg*\Z5GVdDx6%b)Ǖ&Ϧ&&7jѳto) 'I]R(+JjLѯcX RzAϳymU+wꥩ<>aOys}%~~9?}: sX oyW@|6HU )Wh@bSҷ͘8a<g~²)ߎ;Dtu@ "#‚RBQAXPtgK9(׋Y+ղS3 G Ť~dq CgCC{_ucThT+ bLS^ll؈0шȈt42""LNF9Z ʏM6h-$xZK˫[8*&! ҡqShRuoJ:J©D[6+t~H[1\( _XAZuKu?hܥ*+dw\/=j q2A>HǴQpq艶T'Z?a%$"Y~LqaI'Hu$)H:s0 $ H%~#84Fc  @DDDd$ICWoV@{rB: "w͑ y eg'AV<''%hjl hDJ<Ûj Bwuo{'ਃdU^߂b9\Rɶޡ 6LA7TԄ5YhusD͏TVиG"g3'h^v@Lǜ3_ KCfwCl|pk%lbI#n752ye G5hl2}-Q$n+46*f|=5CKlpغJT#Q0#)-U6FXS?g?\aѝk>ڔ:4q!k)4*3[M':C#eDzst0>?tww_2{L0)ﴖe}C@jމ> =x9s["rGƫ[-yPшWk~5ZLNyHg$!ͬ.{nG3n&8V*&#들eI#xi*@n)a\ u MoC*Oxb 1֍yO{J+";ds06{e\pi@OlBëRunKka%:lPnuT՟ěidz%k ۞oh@80_t0I֍> l 3=q. ֘`l- 9B?^ؠ[&$(/c}5H%d@X["6 ] h3X]e0$4 d sӅĻkmJMl\Ke*o8y|j.6IadY-[4m? 䋡 )s~Ap!!Z=e`2O ;Xv JF#,Ax1)k_&%+R,-:;e7U~Rj rv=5 TRWb2 R5 w ly pg;Nw{xI[)p颢eZTdDބaKrg@׬ oWUÊ. 'rH链QTN@VI&T65̤Dr>qT[1X(Q'?.QcR0 &GC ey!o.EoYAJ: U2`H7i'a&em^PnW{:WڴakX'3NCEHsf(ʿ>yYk%JyJ͈(A{;f NAcץ{XiͪxGNN [VDO5̸ tGGpFR MR|ُӌ)1CX@ǟT~ !iCoԠ V%+W@.6vhHXTECR xRr2V'U5 xFDaX F;/ϯȇ‰ޘrqZVj$qΟeqIT"La|>\B0_Թ}3_9{hEe'j/6j `attkۥ(T-hA3Mң}UyL3ciܦ%b>2>q1HALI 녒bNgD}H޺FJb I3(?c)UBQ7^08I1̫-Т,%xYnQ=e#e()8 {l&MǂbA!v[O?\TE)nLr9_4\<*Շ#a~nO ⻘c؃nBq+y<sͶޘSi>% tC0'Cd`.oNHa*07x >$``Hd"J-C+ǘ̚~R`pKf4C\US+;uڐ%#/YyZCA-cl>GUf5R*]5"\r B7M$1ķ* װlaI =9YqίFɰbJ>XJU<>7©_qŵc91+Rv<='ZԹ~ǀH4l}i`cI3͈R~0nqZcp›y钴dn.wuO^AMLpbngm#55xD[$8?`y vH1 Q-8Z'@eY xH+tr؂@\g?t42[ L"vD|Zf$l KMYȀH"!B w]a~O@ɯ% 9;f@lWcɳD !+>wϣ,-yc6=* Y+!HĦ\$S#e頖1ta$@H꯼l\)9IpguA'Ǧpafu&-woOFӳ` ֻ2*,¦MyJ:@qAZC2I/8W?/z2DMtgIM៟W|:k$SjR &G"ig5;j('H~ w CwsQ 8h*D~o;f)9;QݹYeSE`V.V,\`F&3*d'ѮA8YCVķ;F*<& 趖Ĕ=Xk!&%8B:5J&)㳩`R|1 CcD/ped^$G|:t 7R>TTe4z\(x?w&(ߗ&Y (jx[" .jdO#B ԼjN.uhI{K:6+w`[tPV}TyS#ėk>/U(J