texlive-prooftrees-11:svn52221-69.fc39 >t 6 6_604 @3!92d LuZLd0|~ uZL-: `te'89t!;gc fٷǦEuL{ٸIƸ`Iacǃ^II*؁}a|kØm w~m owjn1"oC>MC%V&CQm@=8 kǑ4jL\T|ݒ>aOD;*U9ϡAzPKXO+_HjJU ~:x6/#T9~a3!v 2RT~3N0 (ejvIJ˃mNȜec|R~ F+[w3l8U̒h۹65l[5lHK )6P*AeQʉ'$f{ٗ%AQWD) k,TH{Ո֯FC0~+m {x}@ea04a15dcb0f4e10745442dd40f4fbd21b18a033b16d144d446cf41d785c697c0f72898644340077c3d9846c67fd46aeee9d0ab9030204388b603e004730450221008eec57d513865a0d9fa19c507f5853a680321b24911b094e3e6cd7380d0bcaf002206dbc089c91db77e5d8ed29c49efcc2593c852634de7770c77a48393bb9a0870d030204388b603e004630440220176297c1db41bae070a3bec3c1ba50c390a3e5c47257cd64c65bfeed455be8c70220663361d03d2d2a2b1091f4c200bcae35bb5074202852ef1198eda18dd1380689Z3!92d LuZLd0|~ uZL+}UޏV4+: UNIf '& 6Z4_[}y4v(41&(~c] NՅSSB!֐czF&@ܴ_P #~,k2m}ܪ*4Lٮ<I l'sFj<+ʃ'$Rz2uKLc^NDO"(L!F շ#TEV&)y{Cj i%u޾ J*$ Qf)^I9r.R' vCn -"x8\˪`<?d( , Vhl     0   Xt(*849: GHIXY\]^5bd}efltuv;ACtexlive-prooftreessvn5222169.fc39 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.d&buildvm-a64-06.iad2.fedoraproject.orgFedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJNA큤A큤d$Q3d$]w5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb63d29ae6fac64266d9f1f8c7adf3323c7520a1a086b4f0f3e8f6e8dfcef7ae08rootrootrootrootrootrootrootroottexlive-2023-69.fc39.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.18.1d%yd"d?@d @c@cc^cc(Yc*b@bb@bV@b4t@b/.@a a a@aaq@a@a@a9@a`@`"@`@`@`q`eJerry 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-51Fedora Release Engineering - 9:2021-50Tom Callaway - 9:2021-49Tom Callaway - 9:2021-48Tom Callaway - 9:2021-47Tom Callaway - 9:2021-46Tom Callaway - 9:2021-45Fedora Release Engineering - 9:2021-44Tom Callaway - 9:2021-43Tom Callaway - 9:2021-42Tom Callaway - 9:2021-41Tom Callaway - 9:2021-40Tom Callaway - 9:2020-39- 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)- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild- fix french language hyphenation options- add Requires: texlive-newtx to texlive-newtxsf (bz2027444)- Rename fonts/map/dvips/mpfonts/mpfonts.map to oldmap, we do not want it added by updmap-sys- add Requires: texlive-epstopdf to texlive-epstopdf-pkg (bz2002690)- add Requires: tex(ifoddpage.sty) to texlive-algorithm2e (bz1991713)- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild- Rename fonts/map/dvips/psnfss/psnfss.map to oldmap, we do not want it added by updmap-sys- fix typo in texlive-dancers Summary text- add tfm font provides to texlive-cm - add beamerthemenord component package to resolve broken deps - add latex-firstaid-dev component package to resolve broken deps - fix typo in Requires for texlive-pst-optexp - fix deps for texlive-kvmap- start the 2021 madness- update source urls to use https2023202311:svn52221-69.fc39texlive-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 -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-85aa685f032e9b5d685582eb3cf6f9e063f97fecb51a3c0e4bc0594424d63bb40a1c8d894514bc7c6405cd85f58222588e27a25f1251aa9fa05efe51d6c71ed1b?@(/hĀ!/nܘVy} =,q8.8`r\??M n?f:~R'emYJ 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žfJD(xh RܲVoQuA Hjo^Gq=o8<,ع![s.4+,=w4dQڷQp?O| w/b>:_wzrZdPўu;k4WaedL_}1PkE=K8=BHcfIikIڐ]*|*Xl%ڦVi|KX1*bU{i.r.y/袤Ro{!nYc2 Qo8:of'^1X]7Q@srz?lf[_!C C Ӷe:1Uz :qjbAE!;K:vH jiqai9|8IrdVZ`BXfӼ.R-ju8d=om}j-00Ԝm@7 7$(aa nJZfB62Al S"@t;kΟo.ȯ⳴l1Nu_: \\h2I+KJk$$dH_tzo2`*Tsab.}10< {d!_`k!RfLU-ԅcyVxM|wg[ơ_GVnr[Iz6_5D@>%a*YG^ uDvS*0}jCi97Rps(}ZN2GOZAZ6;ƥ[6kKҤG~t`aQ`X*>_6Vfi]Rpؼ"OSqJv2V:c|yO>rс}zqm|+f)8- Ȭ`{JY&X*Cm?g߃(\K"o[.Vďl_GE(A?l nuXci$db}u<H4ݱeKyÎ.>prL>*'&F"|%nՂ1T!Q#S(ULKVD?{_s.{uٔ`#ܳKXw.&0#"ƀu|2*=aZ+I~#@x甭900@hQ# 2¡#sƒT߇S*$<MVn_sZNUXp}c=Gt9 32c@  trH"DHKXX``@ 0ZO.F(XҙeT%M)'jRJOskTUj̕L]dc| :iBgieQc7E[%G$+\i, DC оe/|FXGF l~Gt]6l$]XS9oUufٞ#Ei{)*ϳ(]`LJ3jW= 'wx"pCT>Ԟixaw*H߄`W+yv(vE!n |b PhvXĂ|$dIou14W\67F;]@Nr@*KrjRψ ɔS-dEfsKimU[3G[Y\je"\bixG%W9Q׵XO+W] ) =?fC yahg>&p2 *]u _c۠=LtbڊDd$(HF>N !理*`jq.ۗD4MH/:©R% ]wG`o oQ岍gdƎ)noA `/BYBd:(! b+\8`Ѷcb5QTӔ?i51r@Ku!&=S>pXR=ke]CN6Gr 7K @XzB3o>*M0!4cTԕd16kzHj Gƀðyoo f]6xiZJ񶩄Weip-9Ou1PJςr?<}*Ȅbr@W4A,)B՝c=K/iƣ15_"%/hb=48/.KRvolw-ca ,#ȝOcf|%%79m\J8"O:+fuO^hǶjfe89 :!P$5|B>#Y9 ثpK,Xp(|,a칰Le3wcRPڱ=t"ViE`*S8E~mR UaJF)GDcpApN5={ƩB h +ig{N{ZZ 亷gr BxЅ{n{y]L=2 C9?~aYJbAGGuvnۻPV>Y+Al;"+(pAB0A. NHFmLN}P݃B߼=޴-T gg4bK$_Up@0 &h[O /+ֺ .䖔,:b95=@ W!*Mae1լ؍8"1T 0[U/ע f6qhd8>j>,Mh`5xR+$~ֳ͊<}U38J~8Wg @%/4 290#-2٣Q9܇*=7m'_ [;]ə4mգ*[Lc O6HGdpKM῟:2:G 0U0kR9NR)mg0eD2[_F ”3 r;\EU`2 ~)kAN:RI5ʮT)GM|)j݊WAvCrh 0LOF^OLS86%^U!HP`h1Q:K5^XW7P<QD hӡ8/`T{~8ù6LLÔ|MHqCڠ2A om4,nRg0WQlyɅ*{ſL|4}C<[%*"9oB.Ve`4X%MTZҩ~,W.C s(ޞ[?սѭwˉC~5Ge,,-B`ML}&;[dYG)ЧKu j[tDF,shh^bo_#6:Gj O8_Ćb}lep4#<ސ-v1lþ*6v]#˥ pm>a a$ P?@IϟbSMeV(,jW#wtOς=A5AOV6բ٧8zyzFVeKN T֩Du)Ib앞?8R}FưT,B#  &QJ܂0E&, s!A, RIUB8e'$ @k^\/lJbbݺj̼_:$RF1$an`w%Y^u`YStbѕD{{DYνل%DV$ "J9+YdNd<ˣRXVۨ+roOM"^qK8sy7R533Em9Kk?A|pehJo/Ezh=vZCMɶ"wzIubwYyh}~Xha ?ϊȦYK+ RN:wq<|M(`p )M%YĩJY˜/|JX=d+Ys*,CY=Nk7)fbSчҽ,T%f"("_V13q%Cvkϛsq s58?LY+姍8{.T/8TNvg\Oe1( DM*Ld$X(1w%볹<<Hww@ TNX֡rW&+nPT?:RI{t{ K@9=S܎2*,#}|Ĕv9M͌o`-DǎC`vpeݎ6(64v%JE -EH~ .%Y]Q25߯w#pJs&DA󑤺TK֊ILU#"8 I{je[SS|",aN%.a'ƒϹy5ect]f)F ̡4PD5d-@*r_ GU@Nw1:ӡ_xDCf$IƯ xˌf&Wh&p8k'ͩ SP]XIn|#CGnn>]ޓpAM8|ה aUmh?|U00Zs7 V#H&B5B $5Sut/~{x j>@?hdz&oғڟP~ W$ߧ-޶M)g %04E-Կ$Kaȸd^ *Fsɚv\Ge}~=vOƳƱ_dlrk=7tɋ~G.Ӆ@ѾgJ"HL"LKcߙE-iӗ(wXr&.wSw.jOIIF:.8jCTy\*}h^[Oxiy,^_T~ _f.k"omV{M~6$tiMoqc!^\!#/ǖlAC$` GXIC)aC̣kx-&NRYO+[O]R6fN"oqI;˶ȳ~O . qpsţ%Q*K$:IZ%2C*STd2GXhSv"[DgcȸP-2Vb0> 7],{hθn0,n6QNrˍZ/E;"(m:1i b&6r#t/jާS/TbɢmY~\-t}ao{JP5fӒEj :<\~$\E }0"wɚ;I^Vɗ'r*@)ՁD&JT'e8һfUIxy&EM 6{!12v febb%Ȭql uF?꣍9b/jeD'L[JL!,}:`VN6əGBj6j]L8|oW!/m3rMn>Qd$,02=!M+W>H"A3[Y28bkd*hxs [یzJQUۂ=.@24` CBdDH8}UMYQHRW&bqSOz6q~9@BygkI-ji6Ndo`0,V zwX0RLERڀ8qrׅ)O~Bh*y4mQ3yβ5+58}Pe/sd K>Dcufz^OPTX׿A&c0 "$1yDD&2Pa LA@10oQPuEjInrD˷ݻv4$ sޑ[U"} 64 |晶ksN]cW 5rKc_>CNx Ί!V~9nl3/i0S KŞے'v&V/lREM91Q^WS '0܄vD|\ܾH݅ wmgf*L k-?[sWOC< C#3,=FtKZ,/)Vۑ-چyҞ XU<QR2K0^8W cK3`MpF'b71ݣH  !,jq_Wpd'5T[vuokڮ)5Hgx\C~GFu pbYqq)<}_@0kXK$iկOTq1N%eh?(WV˧u ,uYyץ.n-@fʖZ -ڨ&?_QTQ0~8f; . 8g&FPj?RA@o0q f990@̝ ez"jC>~A`;!]'1#-4zZS:_enOH8_<_2n.tCWA&·/ 4hǪrzJq3E?&&6ߢM9iih9cyLg]I_cb/5o@ lصlpe:X7![v8A1tXKUQ/&QS,3L9Wر*R;ܜ\"\(#7!oC:7Wm'o.g9>7!idadA32"r”B `9#a U}ra3]SbNܾN`g , jbe|(^ jW&L(Vߚ)3֐k 8s0(hAᄡ}y.5PS]`)Co1BzWhvq V;$Ah1c| >g<)x\hq2u6јD CH`_*"wXlj}NfLmWSFޝe+.C#@}j r7W*m晑z)ٿs۝O`ip\ץ{`^ft!h|#,g:hh*?_?{e$(ƒPNs|Vw*ٛe@s'<5ڨ-t`^"f58MMwA )f̉>1`+xWC *0Cq`r;e > 0kQ}&ƇS QN(VIeS[q"ˮJ B7 OYr8q, X#݄+Ѡل]S8ſydͦno=b ɪ48R41c.-Pn imF8{/Rʒ0qr~Lg`(Tt e ETANg2𤽢'bҖ >]Yf)7fkʲ.[L.шJ0[.ٞ)2.Օ!4@~4h{!&6uР3A`)5^ȇ+3AC\)Y)̭ %EnqQetH!&{\H=hgdYu5ij(g)ƆU@ `cs5KLO^<GZȶLq "j,p/RxE!ѕNTupnc^zS8ڏ DE2֍70(x~\מr@;葉DlPZmȵtLp*(SsZ㘤b;w5UiJ%Mzfg_ ", obÈ$HJy\1ta ݠជ^–c'cN,O9fs G `/C I;[$2E[[D*\՞i8 \&&)BLt#wh k"V)6ܨ1 "Q1] lL~-_ 6 :R<N -(C]j=3 ALb1`Y{`@Bbd2R/=.Ƶ _0c̏&iJ!kv^$$ӡ ̆=50d\|}dm;"T^7)";y֓E#YFF$N~1EKa  C{<"v>g_:ʊx֞CE%ϓ\TmиmE0#eH7ȥ835=QO+mC5 8|ɦYڀsW< fsuuG]. N Iq-7ֺ],~J=4HtX={AkUaqyEƵ>;wlp 6ՖA.D{')eZ>|3Χ`a%/iVw>c#D[` !h9 *_Ȑ 3c!GN #FP*v-ηʿ/rʂBSoz1rUhL9]ĴN #Ib,Djc9ia}wI蜧G&J G8dYVG'6u2 o(];v&\ɷU:tB ҐäO|W~OvI #.0u;Jv9d 鞨Ϗ|nV#xT?y/Cղ&}aMbF?gҔk6fJBaI TDyG߭јg}\:P`@zƲs9]{ 65z\ ÞSm_wc_sW+]B&2rvݨ@+xٵ*!MM1>ǃ:r6<߂˄3=|,blg,* ذd6}霓. kh7[qjroQۢӍ֬[h* 0~`[ >;|z^:,C"JQӕ$rb{:0~j 9InrANvqw4Kd*77k cR Qi@xFGN51n!G}C'/Een}"{AV<.=]\]YU;$a~ 3DŰ}!]J~~Uf]%[N+>ͺI@5 Ľj_+:oq @ˀ9΃8TrÏ`JYU_r0X!8&Mw0n1RU2hxft%oqKvXl(.,1*Tmc zXzVN/uɗ ½33BQ7N8+2G֙ؒҠ]Gb"8A+aJRióieyC>sUqm d9iN&0AYYثn7. ]H,RݪOGE.fLU C{|b1dFIn">U11 c8#,BS̨ `$72-0j]/۬`7^rH>=rRz=fXE&s@aXeIΡ=,P CO|=䣎p5`s4wyMbЉŁ*s&k߳t ۦX<3Lyv»cZ@sNn뫵[ʞ^,Uj0Q7X{N9lGf:ÂW-żĽB ʅ Qjt:0