texlive-prooftrees-11:svn52221-71.fc40 >t 6 6_604 @3!]W>D] 'p~[ye 'p~[yn:6Lֽg 14.)Y;otv):u!86WD`NLFރ]ҙ !QsQ~;60O=.b`pG#Ah-3LÝ_BuPT{e 1Ua&%ͫBjg3Q {#-w5Kwv^\9J@rgP{-F5-S.{Z|&lQ]W-@F/CmH"z4j3ܱ&+t!ĒK7JlSpJcdT,SUTyd,XwGZv@GthV@HEARۢ7z6Ed҇vWb>1r/3zKU®AI\uJ]CSս݄rTCjwĚM{I7aƪb%$Kеﰏ#5MdI_HU4GHd>IO\T0774ecd8aebd915d9e86d99db605457c6efd28720e7d100c7314d6a678379495f76c43ffe9404613fd131b61e5be1f4cc6507644030204a3204a9e0047304502205ceceaa9329547561acdda2cf01ec212ede71941c192d7dfe437087c6312601c022100bf4a4fbf68d5e60db80f6da0e5b591aef79d14bcf82465e49c41c0661dffe7c3030204a3204a9e00463044022007baebc93cac80d57804ec061e758d7045090d5df229e66b15d28cd3efc568ca02205fd10162d36f53dbcc043134d9698e7324f69afee451f94153de0be685eeebbfUf3!]W>D] 'p~[ye 'p~[y̼5>ZMD> /L:N; PC"˳wg6v6r&<a2./<"ka %&iWm i҃$VdXԒ$S%]قBͦRUm`4Kɹ/ (5縞~PyLv-p=e}8aY4=5;Di^n,SB$FG $r:`@:89~ ~nz t̲^fI'GmZ~yaVOvhtw.ZOwq,jPd#Bv~1I4`"o*@򳴽rod%^:IjFz>`u`<?d( , Vhl   $ 4  $\x (.889: GtHIXY\]^ bd<eAfFlItdutvDHCtexlive-prooftreessvn5222171.fc40 Forest-based proof trees (symbolic logic)The package supports drawing proof trees of the kind often used in introductory logic classes, especially those aimed at students without strong mathemtical backgrounds. Hodges (1991) is one example of a text which uses this system. When teaching such a system it is especially useful to annotate the tree with line numbers, justifications and explanations of branch closures. prooftrees provides a single environment, prooftree, and a variety of tools for annotating, customising and highlighting such trees. A cross-referencing system is provided for trees which cite line numbers in justifications for proof lines or branch closures. prooftrees is based on forest and, hence, TikZ. The package requires version 2.0.2 of Forest for expected results and will not work with version 1.e[buildvm-ppc64le-08.iad2.fedoraproject.orgFedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJNA큤A큤eGQ3eG]w5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb63d29ae6fac64266d9f1f8c7adf3323c7520a1a086b4f0f3e8f6e8dfcef7ae08rootrootrootrootrootrootrootroottexlive-2023-71.fc40.src.rpmtex(prooftrees.sty)tex-prooftreestexlive-prooftrees    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)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:svn52221-71.fc40texlive-prooftreeslppl1.3.txtprooftreesprooftrees.sty/usr/share/licenses//usr/share/licenses/texlive-prooftrees//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/prooftrees/-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 textUnicode text, UTF-8 text, with very long lines (505)https://bugz.fedoraproject.org/texliveutf-80a0c030f36ca7e67d285443b6802e9488990fc7ad05ff5a11489d7f37bc67f2361f75b762eea12815eebe2783596a201022296d1bba0e54ee2eb8d00f6e79aca?@(/hŨ!/lܘYNY63tVcAAoJhxy g2u VOD,۲Hh$OMf u:̵4ڨ`\X.*,BPfGzXGuPĔ(wsٰ{d*Ȏuf*uvtʸ#2L*Iv߳Y 뒚-ŴUnPy^Iru9/ %C[g1Eq2!7 \hX6.$%)`@H԰`@7;˶2R !?j1h_ȶP>{89 9SçSclgj1Qʪ5?1+2z}z0^֚n̈qDcT7A\bYD(@BFZސ*㇛K "'g)1T%F|n0Rsn{b $IWM`I %e;[2BFF$+B:1#!edk~irUʲI @~MX>}th(HDD8 LN"&ܲVoQuA Hjo&W1!g=f0Y.>s?ԭdh^XN{":˟i98\d)o%`9'83~_~|>u,J6gr%۴Lomߙ^k9 [ .#cZ#/BmYbGҎPM6KjMN~2n^PWb+6\gmJ;]NJiTKsu1O{qG%,V+:&pey˚JVkꝜ}d-U tPh"ԯ,@Tnq:mc[ﴍ;mrN¾(9c6k/!ʅ!SiTӘ*Qd8{5r܀aAe!7G:nH jiay9|8IrdVb`BXfӼ.R-jus筭Y&ұ 3f@80$ EQ &L@u WJ6 >`k  yum_+oޟa=u|ۧv=~uGeq J9_r BI2]\V:]kIԀ z[/ٛMR,rBŀ*Ӛu. zޔ]Le־UaqD:W.*1bpHm/Y SbU !hX{Gf^!hq(7ґ[Vo k14&a*YG^ uDv+S.0}j6ZGoۥQZdVǎ|P[Gy{0m6vzIuVk֦rOsE$ȏ,#-T**Eϗa5c}Z>Fw6tb/6j0=i{ٖm,<ܷӋSoC~[i5{DQ}XdV=,, Çm_2>EϾdBo}NsPzqx*qpPր/Y5B>&W#D|k^ EDvtI}EdQ91+qd.J)Ed:*%Asٻܽ˦e>s1 uN6T&MN%]K@>;l%ɠAƃH Tp,,62+DQ@Cnh`T#<4ZLa` [GHտ5uuD~a}U> $- }:XQAZ+ͱSwQ_z{ m!8w \qDpY D @Pr"xL" ]RA`#CҗX!K[X,w5yANL LuG}Rs S VO]Ԣ\|6WX}YKj9jva Ӎ’ Dt5 c@  rtID4S```` H SNZy אVK H;l<%yrJ'`@s{V*|Q gW;ݺҹ6DؤaEoR2(ϯ; YSL3p%`]r\FEDG˟؁$m !_I\Dq<"ńtz\~~bI3yRP$y k%])RdJS+.,Cj/ {:努/; ȣOm%C5<"Xr-*"1贿@LܘV,3@1 eKXcox7n?㜋$h{Ȁ]@W2&7>*T7ui#$:iupf2<)rW bQĨMJx bR8f )U'! -Wm,kFGF\֨G^ۙD\x\W(u*9(5m.ctb4$%8i/&!*hd1RՅJjlO9J)`LnYCZX7 qYg{2)WQl-7A Bn [W>b#(z{W>ZJWd%5NB#Xdmp` xtBA2]7c΢Vm驻yק/X,C-X ёoX>rMyĐaO߂s+~u{G%~\ qv["VÏOiK0+9RV. :Lm6.kl\1ň?<yࢣ-ϩ,M*H"O4􃴤7@pG3TX4QwL6}(Ks]pFkuӓ]cq#7;'}BM x$0/LaG];/gw(x`z""E IST$}ñ"Ut=AQaM^ZsT fM‘42&ĺ)]"o4"s~Vd4Eddn^G4Q (s}qsG4%M[7F0q+IQˣsN5h™t4Fip!?&dmbo2*;PB@.)4aD۫w wg~F\tT͚ʟDgTǫ/Έ7m 4F5N"DB=)OÛ~@x8)?{v *aBP. wPѤ,<"0H$eݼPUr#5-YmB8{~VֈsΠҥ7+}=9{Oxi7 ymd6߱e!o LhSEk?$ \},ِue%6Al W7b2jk28137+nyҿVpѶI_#X5&!,1qzW\wf?Sr%=tpn7+lyn:ʺ", ՜ϥPg'c#], ŘLHcѤ"E" L8܃Xbp')njIt[}(hN +^Y.|`U(*v bVmr_&Q ԍԚ\0A`U^@REΝDRj\qE"`1@.o5+D3CebGx8Mڤc?\_*斷D?@3`7AbuTۓ@N )Cԝ6X(2oa#]FZث<-OeQpv0 ߱k$NoB+r@69p[JYR"6B㌵GѠYHR1우~k *8",|Ac,_{G$5ؓ@EV̰hPy)U}"k|Qt?5,xg@rcxN1^x~]/ vŕ#_zt[tC%!m fy@gCZX ܐ!x(Bf1ӥXEv,K8&mcd(!&(T)Ow 8<V„  ~-[1)'fVgf>SnCP(e]2l.a|U[>mRcԲF1v`g9vX|;Ξ!yI$')[ȩ;< yh$yggpe@)༩wɈTWfߤ6E|&q}oP!59/x _ވ8tV֙%|\*3kBٟ)ki8-,aeCgPe [3YW0rTSǖFcfL ?/5{E2W.yvUP!\KrXJ&2&.i؜nCbE[_ TV!uD@q#{\j14L'&Qvo=0 |&Ѽ/À?=̲L ҠA"rg$|VQrhB|sBFO=7ґVR@vr\MǧM 6o",é0>> USH },Q atY wXR|pÑ#Az=  U쳃'$hB' PzDoؾ`T4Oa_^[&UE9,d@&ӎA˯$@!F!t ! 4.)wq&-PI&DWf$XR>ߩV$Z$luvxtOR ㌨7DzQQ: <|f0;a' 0m{<~G$@H`dؙF?VYȸ Zxz_'](ZE4BLUB īH\x+b:X >Ȩ9='b1S]3Ze;Q:)4 + ;eEO(}\88(P:K[;HMvާv GUӅllabQTћ1J  lgeҢIJBqxy{-"{9g!"8 `0 `S$y0zFtqQCdM6{,V/`KPT3zq –uy^ PPe;38gC;ܬ ! vr#X2vEsyх&hTq6Z52be[⋧cvN)ukԫהڷ}"Րق" g-IهyΏNq OWP^Yw7^M$RN;U߈U#*j3mXɏdze Xvy܀+zVk:FjN<^`r$4vJ!‘Q\,*>Wn-1(3D./(ݐp[vR>ߑ1͎L'E/*( 'q17yl{!J&c;9|6/5C5oY Ϫxv&=Z8^S$p4D "'m'Ѹ01!9qngzi s7 V#H&B5B $5Sut/~{x j=?=E$ O3|sEM_̟濒$=nMlJ9[o/t$O,m$%YCFyNMcWuu\dMw;2>jnYd[ߏt `d : ?D%uw%2XEko9ڪ.V1nIIlcLB Mo:╚j)W%[$` Gh(%lyt $Zj:^='}DSYӱ[rβ-CK'@bB>Ɯn_(x@ Eԭ cҧVɸPU2 V%锝V(+X2.TgEKOMc{hθn0,n6QNrˍZ/E;"(m:1i b&6r#t/jާS/TbɢmY~\-t}ao{JP5fӒEj :<\'#B*{g1tX_oYO|I ~"Q TRxNOmRDuҟ}uY;^IxQvw+ r, >i 3h5cG}u.V=_ N;BX 6tC +'kSABj6j]L8|oW!/m3rMn>Qd$, {BNj@ʕ&HP0XnoqGd슭 ՗TЊ+r9nnZW=amA}ӷ8 @24` CBdDH8}UM(+70O~I* $T2n 7y6q~9@BygkI-ji6`YUuyiQ6^Ua( Sv+xbrx~Oh( uH%*84&!^O {zſq<|Xb=ﰪ! 11a,\5奘ӕT6 z`u!i_bڠDdM7G \ TJGzsSծ1M+i5}4,r0H8',[q;(9&O $,rL?d$ .`ʡV!b~/28Ξo%=bך#}gvNjQ޲0_NIP4PEP 8v6wZ,,A[rQQCA-*߯%S湐ޣ-B#U{ƧMFVBgEalZ9X } ijm`Z*,8 $dB@ٿ܉Up, gUbisL('GGw8YƗ`]*ݱyi1Ȅ5U/[qԼeVG:b B,r.D 0D[$`9$e6c>$Sh"D_MZ?u1RέggM=߀uET|k>Jf΍ɽaͦK^)n֊MP{͟&1acG#(Kd*OWkk sH wo:Eqے<< 2#; _Y^8!MʢAG4P, 0eyB)@`|p"Dz sEBg'݅RTSFipj RQA#@Dui!{CfVBZ_6 bb 1"`=WmM\r< ak=ٸkZLNvX xDIzC]'6v+9pXD=SDd0w@QoRuxIyT M%E '*AuH̱A; xi|w?,WVoæ \u2jEJ;wָI@PKWM`@@_6"xs*on;vV*6hLy\PS@Q< j39N:ӵ %@&> n]SmlzJ0Ҟ>r2iO-vE2+xv_fieҾC7C<|8މm@x")q$@ySb0+A)"X`}+]ȭ..bRzCyǼ(\> N+~XJq?s33PăwΉG?̩8l-k~.CKLQIogl螘O>s9-@:e}ęKboP I8ZrĚ)Q_?Zœ ?C#RD4`?%Ckqdlb5L*hMvd| $uR;=%BQ|гh]Zf, 4/1a fD-R]+?a< $ BJFBtƒkj qTOiӰ5qI`\`Bx2]qzrF+*_= e&!,E+h(R/:d=s1C1d]c֦B& rA;*!D$DHizI yܐG'r0ROÚIxhWNڬnlŽ%:;*E$+JC:>sGv+ 68!Ϣw ,yֳ I(cWSL/\wlqXPPyo UҨޜ-+y$5u*InreiN{opF) &LӀ :u)\Dg~X7 Ѻ)8"HHJlO,CqbI۫n TE[t  tg+\zZ`M`UuvETj_h/)8D)/rr tpWxKX庴k|8OҺa"8blWfx0l#Q FpA1h1ZEOOQM=~4^9kR($@DxFP\Wלʮ#VC'Ih 4J"zg8i8yڰ9ma,yC3q_QɬQQ, "̋+t j1Uzx*=z)+&,`f#*'KZu PfR}쾦|ͩ!ȲЖ<[\(rCLӪFDVQ4QIۑwyC_:.w R w  I߭", g wbpozFfw+?Z#꠰䃧G&K;%~D6 7MM-n=Tʹ>*ÿqObw+#rd]4: <ܵqqL,O][/Bkz;y07`j 6 :P JSP%  `x/g#4 1{0GM]8D4B{0>5]rx9A 8?zo}fFi=?M|樣#\ u M z_E,K.bqVHDD -Sg)w&XrJ}!GR B?:gsF(ߟws.sb˵8I#,M(7Ȑ o_WR]A>L&ֱg+@kq}!*]cb?&bS%!i]JlD7 QLj$R n8l;+M#T[n6Պ!+fdU%^?'SJ~qMn%O}Lt ٲ!]+@TUJWFWhfAAEO 4>ǧN]>=L`H`pc:"R2a]Mw !˥Z!&Zr |ӝV~> ނ$e h(rXN!+qȖ]`O-|"/ -6*Ƚh"Yee`>[%_qVΨʫ|h2%?7L,A5PCL3t륒@Ec=/rb{X ̸u~sB{ƌ +8I3T8"M SAzHb@΀SAHqŪd