texlive-prooftrees-11:svn52221-73.fc41 >t 6 6_ p3!Flض zE>b$bjf b$bj%[1|I wri&c,b%^{-xkާ?AZ*fѩ(hLzV4%*OlLuSA0Ya0PeX SXN0έ#+8WۻQ Zni+Eu.l1@0<^?E_C/#ٚkpB7^OGcwz *s=O[s6dXMx``>xL'~-HG.9*{aM-RyzQ6=׽hl<ttmԸ#4.!=*?" W.Ͷd]3Ƭ.*f{TmؑR0-KY~_cRGo`<e?Ud( , Vhl     0   Xt(*849p: GH I0X4Y@\`]p^bCd eflt0u@vPCtexlive-prooftreessvn5222173.fc41 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.f?buildhw-a64-06.iad2.fedoraproject.orgFedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJNA큤A큤fQ3f]w5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb63d29ae6fac64266d9f1f8c7adf3323c7520a1a086b4f0f3e8f6e8dfcef7ae08rootrootrootrootrootrootrootroottexlive-2023-73.fc41.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.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:svn52221-73.fc41texlive-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19noarch-redhat-linux-gnudirectoryASCII textUnicode text, UTF-8 text, with very long lines (505)https://bugz.fedoraproject.org/texliveutf-8048467310e0db8e138016b98d810891c3067cbb8c44b40c91370c4d32de1a8ac50429c3e7170e368b2989bdbe7f9b23a1f120c39f60b9001ac692941ec5d40a5?@(/h*Ő!/nܘVy} =,q8.8`r\??M <3:my'u2YۋmYJ 4QI^cV*e 4!a::5[Zo[o xP V!3T72+E-#/ORbK.?a9#3sAL( #_5ZJ&v䃍kM(փtFB ֢r# D5D@PT! (&Dw|4 5džf>:@Cۇ 疵oQuA Hjo^Gq=o8<,ع![s.4+,=w4dQڷQp?O| w/b>:_wzrZdPўu;kTlj weo}/}jmF6G;vnjYRkp6dq - [ ):kUZ+},?VL;/X^ybދ;(i^"[)d/u)-k*=[>wr W VWd6kQ *yQѰXW&i0pV]Gl*}sˈw_۶Y9MoagМ;Yz{Fz Ӷe:1Uz :qjbAE!;K:vH jiqai9|8IrdVZ`BXfӼ.R-ju{܏RH #X CT~@yh`y3MBLFl&d!@<%OھV޼zO9:+>K뜏Zs&d"$t&KBr@EgmMI)b@Qi:k=o.2kɪG JLRi.e/ȔXB]Xp >ޑm_yw:}i |d*g[CZ S2Fu^gJĞo.8[?:Cz#.e7$:~:d5]nKj\ʸ5kS۹$M|Gl QϗY5c}Z>Fw6tb/6jռN_϶ܨcit}^J=DϏz,#)e`TppTHȒCm?g߃(\K"o[.Vďl_GE(A?l nuXci$db}u<H4ݱeKyÎ.>prL>*'&F"|%nՂ1T!Q#iɪSqkeRp.lZ{}z k$fDB׹;OFP;_k49t?oxH[" ' C#16*t$3aBF^`X8466"tdNx@`Ѩ00sW šDxX`]#q_˚kanD_J$ с]c0 >*/2 Ȉ>ul/G+ܾ%L50T{qRizWaI^ t(9 32c@  dr!JH"DHKXX``@ IDg] VPzM3/՗,)ڳ@EsC ;t)zzX qsѩߴ/H1$;i,\9!ǒaaxܟ>W~J\ܶCdL3_ v%`zkԶ %"&1*![U /ca*]i%eAnLqE$OVnV=\v]Qpt[4_ ugYi"!uKEK ) Jt,]7exY&% o'L@-Y7z>xwFL򒿝9Nq9]u w_c[=_&TM R^ftd(%tB?N됂e zjOq7.ioLshiTxwScSb o'Rngc2bx͕( B}`B:vnБ.bN8К> eq|unc5/ĭKЋ+!!.raY"bUxe]Qv6zj 0 XX"p$Y17YMO꙽0!+st_5 ${:b1j~QG qV 0:j0S tӽfb).ZBMa8G)=yViS:ίiiA& 7 5:S=:D-1ܿNW6p82*M@٩َnw_w=Ͼ^ᩲ7~F ߽'1o8d8ٝ=Z^:/-7۝:a*&BNLI)+E+@򝋆p9k]̌s(A !oc€W2 [6)Zc[m=&K#26tq]J||x|W@_E?dS:nP 0m-(4CD#t8"aB6Zxhh(-2A˰8bqߎϩӪI9&lu}D%ȓ s GWaQҏ6AJg 3eȒEl%NE46E *:6= FwE{,Áw4LM B3yp謕v8q K"ʓ_$&DCeUŲʭ-Z$~=m YEBt)πYH n^|e:!lu]/R#l+{Y| =G]VxgĚ#[cMF&' zLg @= U?!׳RHJ&|$&b kcl#(+6+^ oURC!w&E4e JP\Ons",\0MgA^Y,?;t 8Kr:x@*K.eY 9Y 0V$4ď6C=>%vDk<5|NT!Gj겢Bap%*g꟎9责xV,22ǨY|#wy$>Ekm2zXum/ 4j<k<_఩jx YӇ%3T.\pG)t\ h B6}421m5aE /ֿ4F'l'ÕMp!< p_z'<K ˘Y4*o;)59"iqNO M"-]X 6bF ¼9u0呄؟M( Ν38$##1MҚ9:-VRPDҜ^0g۱U)KDcX%m|U{mEzw+nM^(Iqn#n.VSah>-P`/w2B}-|'ɢ q`@ypjQz=0i,F"Im(_{+^>!iiYϏwIAOQ@R"ٳ{D#BUTp]4B@s\O=h> Q7ٵMӘIZ3"4PM YƥL{>+ō93>΋BCV(yGƁ;M0V6&Jzg|5@VkLhQصTmղ2Z$`C'Nr8E,yPI:ϙMs JJm7@â/,p~-#Ѵ,;sa^c N8٢<Ns0(P<3gF>{`!w*BΑ,UHH0SF28xJm߳ՎQѸ-\x\<ұZm!aCTLfk$T@a*સbL(oJ!2뜉HD6juĶd+ \m[u_wzTkSiZZe%8kȚxtn{Xhf-Wag (tݫ6b}a Ez"0xJn,7)*cqܩ yL0\QDu((zQIZTED%&=Է4 Q5[oeMC(ԁXĦ§jVwmpoi!Z" #/ʡY3rGui.Hp䒡= T-pߠcKU^߸Gݣi'rdmQJĹV!<σz,]/7&h(Wlř[]4r5ʔ2Նo(ܵ@NY4#gp */#][=chrGYp=?:j}5,)G74 \%|d M}{. fB(rHevN265%xT]I s p6@E3 09nžE-$IKh ],fA0bwa֬Sƨ QKQZ8fXrD}(DoBB5PO7|@V`2/ ]6r=ja у&@TN[Yoĭ,l1ES6KwD6ͅ&n2˭}p$"F7KV(ɲm#X|.͢`FvwOl^DڰIK%Dr;Y,Kpf N?ӆw7?b9]H3> wPVAn#; n>]ޓmAM8j ZUmhz<ny`D s7 V#H&B5B $5Sut/~{x j?A?E$ O3|sEM_̟濒$>nMlJ9[o/t$O,m$%YCF%K4z5^qPWu0j+Mt:*+~r7n7u6"c;^S-ܸN^ k>r."&fְ=+WuFEg01`HX,'dnID O5Qtğ_Vθ uAP,~GMNr02qwQ:UFڒMK{c,c5uѷK\{lmUyk+$lmtaec:]h&[𷎅xr[m{N Kd !PVa% 1ᵘD;YKVǫgv?lMd?uI٘uP8'',"=1$t,.mf_Dݪ,p@<&}j %LQ%P(ae^N)ne BUp_X$4vpy o8^4JL@ID]8Ut.7P&:hܛ 6Ǥ5UB GuxOϾP.%eMrб9G(A]l͚MK%K$p = B'CzN%bb%|g=q% F1PaJu9E?ѶIIvuY;^IxQjwB̀`^H]*ǂpXxA 2C6fpi}ujuhcŁت2d#I VR5sG q0a߆F!Mr摐1,ZlSa;'E w `mrA:: ?Oj@ʕ&HP0oGyD־>. ή2 Z1xE.'\6mRTնpK[@24` CBdDH8}UMYQHRW&bqSOz6q~9@BygkI-ji6Ndo`0,V zwX0RLERڀ8qrׅ)O~Bh*y4mQ3yβ5+58}Pe/sd K>Dcufz^OPTX׿j A&c0 "$1yD"D(2@@@F0|Qӡ*ZjIL׷v` HR1v#-+El(rn83粞J1\IWkDf_n}:p!}Ά!wVrt36rSY)S t' Dg=g%OL^٬BFr4+£`@F`8 5ߛvD>d2yg; =a|ϨTu7[~࣯Ry|WtG3Pz#5rk3".P)+)$ّ#(JׁmQ9ޣ!Z^%8076F0յT.5+TMk(Q=" m}* =xYqH a1csgMОr'bw1]H>O",jq_mpdkvKvuok)3dohGFuQ bY86)<׾^5SX'4ٔO?mJɥh[$2_\A`ZVeZ觽^bYTEu|6v3eGIKMvmRXS(NQ ?\ݤ.8g|#h5Ty.КRLcP+h: m^31'F2C?]&&^Sn/71,}3`#Ğ=u)GK(!WMCjZZRAh 'n_63wA {vIi1Q>J/˵?^*`ܔ/ z8nOWJ'7dE4*ap.u@gOT܏&ZV9:a8e६zɘ2`c5^w4G-YX ? n3h\!Ì6b#ŞΔ-Z9^b3.Xz~#EZnE6/0D`|b[ԯwl GZP5ܪv|ԫUgexݷy(ٿ'48 .F֥l{b0J/3CFK':7ZZhş8̿+e#(ƒs}d'C'șdҐk*ݛ0@y'6W6pvS`Bi]Δf֫Qw􃿔bX*_gU?C*4"řG5)hPЍ3j6'*3 1>j4C/}}.܈'0%N)3pgP08s4霃Ɓ(~gn$s~ K >Ǣ5d> `'+9W0"qBzN* G[vL\X<ʒdy<< MX@P5}#u.N}6{pcc喬3҂ztV3KRׁЗyt`?柑Ġ2 h/51(҉ Jw: PApZE+K7db ̚2[t\+u=nQfj5Fl6Li;ul-T$Sń᠁` 5QʇKaIB>Mzmzjg e6e(1Jfs6 lF 59*)l@D#C5SW#M<5E9bl񍯂@7zWĴ-qFc`yӿδxT)7қ}_*ί r\/T<,@/8DU0E1t͜(;N+պQpC=tcώ^ |ٌ#Jb3jCgT g#9Up2] _ӯUXPrTںOamщs,!$7*72#q͍!*GT\ k`liyR>kz VX,rxTjm -DA>Y:7 (`dp_ 0T ؔxv۝)6W^yԅK0rch}E/޹(MDAUߛlj@<`ȰyǡL˦dIYÐh~{#gn@9c~CXfI|8Kޱ`:>Xީ8HCO뚏±fRq,EBŶ.}$8x4UL2J,)-^kqKK;wĩ`94X1)Ƣl0N8Ӟn_Aqyzj0ɠ|yH !Kn]|~q1<~bs%3ɠ&Fo,fkh 9sɲ7%nR`.)zLݬ1W&7*T zh0k* :_gߋ K*NVDpq3h29h["i~.ڸ/q~o%,뾨&ލjr¸ʮ]+P[дz0(ۑL/ ʸ `/6~c}9kf~U J7I7cY u%9 E.D}pf3-:1ơx^q8΄쉔:;X> Z SK+z摵3g8 0G$Ho?a9&C`f-Ʈ߻jPS!~YHU1yU Hd" T^*c%UnAFgdު.H$p ^{34wT>p'~Mv7sj"e/߲ǂv^cI524"UeHm^'DQu1u_5YUx5N(z;7,K[x?x/D(|[|s dEgf+VO}OFJ`cU ߟQIl"nSO{>?, ,r >*[D5QyC T27~b vMAJϥc* ^Òr"O-t@09{t1 u/)%c'N_>/A8i@4[Že-_+ ţ@=|uzGTXhq&{0e?>hnܲV FT%H/ES+χmݦ͔o`~ i( 6Zv#0QAiu Կ5PPnc'N.Iib9X. }嶬A3wIxT_-3pc0S*\ksG[l_MhM@C>Pض}ȣ b| :r$q9}x[l7s h\\U+@K,f3R *u0=p\TXܿ;3tdsK}[\ z9E_@vT5n,xV1u\0QN7&{q{Ns2!9Ã8[ּŰ=t"xbHhKQU03_{4 Yjof|Ͻ+J&TT 2iGo-x Ԁ?8EHz"MH9 Qr?IIS]uT_I XTx?j+ꈫQдKW#`,cnƮY9 :F*՟׍G='DžՏS>1jNGJfV߯{Sgr0BT.PA&X|Ҭ{<I"m Z Fg