texlive-synproof-11:svn15878.1.0-76.fc42 >t 6 6_ t3!XPȬI^Dg ȬI^Dy=h7pÕ}?|#7iq q(d6p1Uj |Hu}\va"='3eX@GԞt[~?x)Y4A%iuk/ 8%I`V `8OECM4{hIg0c%#,eLM-cE#`~OT|V5q~j?`!1,-;/5i Sm-^k+L Z=Ehzl5HU>EHH(Z'zՋ'~N# ł{xJ _JE}k'B=hn)[{[4_RMFz%lNHu4VI&7[Џn] om>DPq!KYOF#MLэX"H 7} KUut2frɛofj:]fRK鹇<3df7f258f15bc72a9d3a1facf244919d1c02b8a1640f31461c25a763ee245ae922c1664518642fba4a88005e6d4a7feffb7d8f1b03020462f02aa400483046022100e8e03432795487d94a27110cd60ff7b981de2933e61d400bd3a82615483c8b4b022100a921757758b2c45d2767404b9055a86e86bfa2083facfd741d895202b8088d8603020462f02aa4004630440220773ca3f6188b47d4b0953046962ab387996d4f0addfd0b2eb9d1ca949a09321f02206c23b7b6317483c7361442feb5815d6ab3f54493fc1a48f394a66a5ce4f60629Q%U4̖P V44G=>`< ? d ( , Mdh     0   P | T (z8 9 : G H I X Y (\ L] \^ b #d e f l t u v  0 4 [ a  Ctexlive-synproofsvn15878.1.076.fc42 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.gLbuildvm-ppc64le-25.iad2.fedoraproject.org:Fedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤goQ4goJQBh89358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-2023-76.fc42.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.20.0g@g@ffe@ed%yd"d?@d @Than Ngo - 11:2023-76Fedora Release Engineering - 11:2023-75Than Ngo - 11:2023-74Fedora 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-66- Fixed rhbz#2271057 - Upgrade biblatex to 3.20- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- fixed rhbz#2314476, missing dependencies for package texlive-europasscv - fixed rhbz#2295803, Chessboard requires skaknew for a font- 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)2023202311:svn15878.1.0-76.fc42texlive-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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redhat-linux-gnudirectoryASCII textLaTeX document, ASCII texthttps://bugz.fedoraproject.org/texliveutf-8e450462da9e40089782075ba565dda24a3d5e779f27a2ae81f6bae096504f13925be7d4078472cd2a49d83cdf86b57a88d1ddfb769973282f573b2f1d3133ccf?@(/hj|.p@kDLn2ikR(h v.<9HV^[tNOGX{$kAȦd5~C7D8lSV ms[av`D 6SmOYNQHNڑ݉J%Q^62O vjJϖ֭v=pz[Q)Pr@meiHKRKbm7ĹZ]dTk#9[^m<=ek=fSFX>ٖb$ƒ%{ۋ+CJ!kgm|W78e6v Lg<[ps4Y϶d 5[t6|c%[ʝno#LuzI>d#eev#n%AxTD_jȹ~+EFN%a1(@LTLhE4MP((,ǷJ3ߝmLں`|mWڶѝ6ֵRWs=Zc9mO>6Une{(>nt9dRz*wzO d NzeY2c-ޝ2YMoڨ=?, =luYLjbk,/cOMM9֊cAQ^)IclIJH\bs4?h:R/՞CnCϞ@jVټ>{A~̌!(zVN_9KQ[gi:~cК7lؽ$4}c+!z$˩=V#ө4y^ $y_S olqjqڋ!^lLz vK3F2P0  ÃD3plgL9yocDF/[JNQ0lE!G]:d0ppٍN+aM",cL=2# "  ‚_ @ *bd|"#"2qƯhX &L)q̺Cc.C&2ǽL!vlg|!Քo}J2@))H>P^g}ǙGd& fO7~>줝 Q{+\ɐ^Go9zuvgt,aD퀠 K/ dg ul5!ZjKNe 5x H3B"DǨHuLՈ$)H:s0 &!H%z384c g @DDDd$ICD`{JQ?"7}] , }A"{Oқ2td4[#숆"WwVP2uiL<`,UEar )[Q6>-=$W5˹>=&Žj{>_aJ𹽒R33|hKW2z),6< -i)pǕ͜J"=4?ULƇ#w.3cPغ[zUwW49䌪c➦JC7Τi~3 ˨$=]S$ gEdEH푉L@ W/tp8wWAՏTTfmW$\:Mf_tIkq їȠ$9Tvvև#жCje;=K 17+t+:e!zӉ*>@8pI31#| q-9RRܷp az+Jtz0f >Փ4ɼ KifA؄=7=FтAG?IIO2|%kŀ\*T0) @-2 :IY@&%Rn4)Ov A BFd\ >a ]eJؽ#l6ned!nJ8&x~h/WӎuJpuLlNjof1),=w lm'?TA^eu}پsz>\ M4}\ mp&Na%a>cAB"fc00a}N xɚ>[_`@Zk2c2먴ܞn!fp#4 @@}uUk[ڕAl\K%Tpl'Vզ)]%D'&!TWA)z wY#JBfIƔ%@Ӡt,S"Fc2q#^Y)bXYFuW=CZ$4]|5̷1{bOHP$xJ (|K4f>5kԁsT){:Ky"*`h`D0ҀEa( 8 djAjȚdN2.LTpLI ?puv W;ISfnx3:@wPa ~ o7X_qS,8-xO 9xx :uP:CR?[`R27P ?Eb9-dϐ5 ]saҘ¾asi]g#/skδ!ӚS呃+Ku2!u1;aNx"2Scԑ =U)U W*4Ȑkhlu!O0k9V7#(BkmKxg\8c(QF^7/N6< .UCۏ|PM4'%]&Y9D꯸Y- fKYr rdHr";p!?S \?H[R:џi[q沾ryXYS_NhhURM[Y0,0x°k=!,rozPg`e r+%*W Hݠ &{X@V^8FAD`#;6fgˁ!΀s7}eLeզ<{ \hրyîΫ '^7P6ul@S畕~o]C2XMlx,HȩR<'V*VuW UĿp<ϷՏ"\ؤ)nVV#R{ SHGa+%jJ˨ rUg.xam]:@DPيdWkN|oDBu@wk uXfy@R AY _P6R]i1x!kӕqhggWe^#.V^Ud n}*BY=urK$@j'P㫝;va| AED̆9ɋOLiIJ.AO/ rJu9H?q\8: -mY f6 *yVG}@//6i $;/