texlive-synproof-11:svn15878.1.0-71.fc40 >t 6 6_6,0 D3!]W>D] 'p~[ye 'p~[yy 0 qeᦐST7-ߙnvR C5  }q̾>hTExWs[@2,HIuOʌ 0/K]P:P" xTK%)^+%-֐6SjBk4O"%)' e5<1w.s&&:0#LEׅ%#q ]n9qRhYpj/\+q3T J=4mSCp'7E|`rr`.ѭl6M;! y/Sq, 2;:g0>H MOeccSltu3"(Uú0O Zl=09ٺS ĊRHHC$F feJ{{ZHPɂ:8/Bic. Wk]= =D4/ Rܬ`#Dg8\*|vAz֓J?l;;5y&YuOs#\2aa eq0860f04fa12a1619b6a6c0d59d1f9230bf4781f4a9547d7270498ed945d174c663899d32e0d843bc6cbc3da39a17535296e8d05a030204a3204a9e0046304402206cbfdf23af1c888a4512d66e22cafcd969c53302699cde6800808cfdede28b5d02202dd8315a41c730a54ed20ac47bc8a5bbf85c38dc5e7a5a0a0fa05aa8e4cd6d67030204a3204a9e00463044022070df6bde64b206a66c6bfb2795549d54742de5923969dc9e7c9e3179948cd2e3022067ad3ff9ad5b3a37cffeaec9205af167219c154564a12f7614faa40bdc55c3e2*!3!]W>D] 'p~[ye 'p~[y̷<Angqn \zS6IZG85\h~W$w%v9w< nY. 7'iڀJM{{wˆ=l뒁;,a/pUWUQEy~[ :vnC$׸Rnk!Jbm@x2८k8y':*I@wyfLv0 -IzxK`<?d ( , Mdh     0   P | T (z89: GHIXY\]$^Ubdefltuv#)lpCtexlive-synproofsvn15878.1.071.fc40 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.e[buildvm-ppc64le-08.iad2.fedoraproject.org:Fedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarch#yA큤A큤eGQ4eGJQBh89358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd26c056d170e50fe7b91c80f6505d9cc5c40d9d8d9bb723bb11ea0ceb0d87b1359rootrootrootrootrootrootrootroottexlive-2023-71.fc40.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.1e@ed%yd"d?@d @c@cc^cc(Yc*b@bb@bV@b4t@b/.@a a a@Fedora 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-58Jiri Vanek - 9:2021-57Than Ngo - 9:2021-56Tom Callaway - 9:2021-55Petr Pisar - 9:2021-54Tom Callaway - 9:2021-53Tom Callaway - 9:2021-52Tom Callaway - 9:2021-51- 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_Rebuild- Rebuilt for Drop i686 JDKs- Fixed #2073753 - texlive-chemfig is missing a dependency (texlive-simplekv)- use biblatex tarballs from CTAN that have correct {DATE}/{VERSION} fields- An empty release bump- ____ __ __ __ __ ____ ( _ \( )( )( \/ )( _ \ ) _ < )(__)( ) ( )___/ (____/(______)(_/\/\_)(__)- correct bcfversion dependency- update biblatex to 3.17 (bz2048536)2023202311:svn15878.1.0-71.fc40texlive-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-84d4f9933e849d59bb3bae4350f768ec35dee10fd23da19e5bdf0f833ab75a7bec6feb0eeb152bcc0d306c1d861839f7585c3538c42daaf3fb1bb0e3d08ccecec?@(/h=:+m$7J̉!f ;yBAymc^F"RM.Ə&n'ì ͅf93mȋXgHG^G|j.}))CрlޟR(!ʠ:jJK}kof^^ntJbDŤUONy{~+FҶBFH* qNYyF}GuE-w-)iWk)dE7\ogY)eLvQ6JB:FF:0Px~`_צL?]<_J}E?feFyU=a*18~\-e嬾{c~ϛ]EȔrU[6g&ˋ:= 8A{""" o!ׁ=.uUR #>)*?(KQRVhJ@WȃAXaMqm_\Bz$@3_7-E巴i.[bZ9x/n󧍋XYŴu5 \/cKmZ."eN/wcM1GI|d)~)IFU/kA5.ȈTmeKxS2+cOMMML*oԢg($SB;/N8!.U PW$:R+՘_0g.(7.Wj%KSy|y'ZK~rƱu#.u氞 :f|6܁l)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~LqaIHuՈ$)H:s0 $ H%~384Fc  @DDDd$ICW۽T9+wM }OODyP12OKJԨ+/lhDnS,8Uu͚&dևE9.h-84 Si'AIi8"+Ow^D/?l]VcR)L+FC3>oa]j;!:t@Ֆ\`K)*#O0B8NFR{L@xy]E6\qhj[^dg¦#JJ[\,#B zS!t|+:}*aFF }F:y)(R.Æ))Wox]^eYr߸uG!b$c*)Ge! .NjPy(7 -# .<}ɟ(mh"7'u{9@P}RQHfXLt88(p8D?X>EhMI$Ak[növN\AtOTUv5VFeeJʪ!T*`>7?zǩ_[b1;1;WA9<!չ?€$P̾Da0H4p M<.4dt)Xf2 nӻB0PVQ E3S5 HMR'IS#N ]C1A &7}`A'^cq))aͱt8E.à"a$ pq^.A y7Z4q/D&[D"A 5 ;pE@y&eh3H{H䄣;ӈ(