texlive-logicproof-11:svn33254.0-73.fc41 >t 6 6_ p3!Flض zE>b$bjf% b$bj`t@uE/0BU /N 0מ_F PyEƮԆďv;^=~q.}ARy p3A]guv9r/>- ?O&0J.J 5)4_v"k,'0IH$+|8*+Vp--2D^';=v'-lUWABwGTq}M@Q:,2'kL;Fք-ͳ%䦦z2waӴ Rw2\4^JQ>#5 \q'0'\$g޴d6 ;=eG%NR`feM(q2O3/#KY֐;"W`<?d ( , ] .8 GSkqx    , 0@Th   (89:9G H I X Y \ ] ^ Ib defltuv $KQCtexlive-logicproofsvn33254.073.fc41 Box proofs for propositional and predicate logicA common style of proof used in propositional and predicate logic is Fitch proofs, in which each line of the proof has a statement and a justification, and subproofs within a larger proof have boxes around them. The package provides environments for typesetting such proofs and boxes. It creates proofs in a style similar to that used in "Logic in Computer Science" by Huth and Ryan.f?buildhw-a64-06.iad2.fedoraproject.org]Fedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤fQ3fS,45f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-2023-73.fc41.src.rpmtex(logicproof.sty)tex-logicprooftexlive-logicproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex(array.sty)tex(ifthen.sty)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:svn33254.0-73.fc41texlive-logicprooflppl1.3.txtlogicprooflogicproof.sty/usr/share/licenses//usr/share/licenses/texlive-logicproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/logicproof/-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 textLaTeX document, ASCII texthttps://bugz.fedoraproject.org/texliveutf-83dd608d67f3a5d9d994082c9ff99a797f34cdc737cf6e8e8462d597226b496bf462d24ef931d23c2106444160622764588d8394208ee2858f2ff9ce1d2eb3728?@(/hj 1}hRqFc >I$|= uWvu  z=݄ ]amӔN!L`PER0i3ژd`P0&. Fs^h틢T-;ĴUb >\ϋN-mțϛK'ǖkٲbPRf ꂉ)a|#^l{K*I9mCy:n )bcra170$P L,b ̠ aR(.t,b($YaCsdA\eQUloP! cŨڂ31Du]X9yBSGZ F9e2.uP)(T\hTPJ=˽k+ZBtUzZ+;Bi?!кe؏L1Z/*wQI@$<[u-4Hr;}'T0A)jBR U@P-G≴ijL 1@€JF zk8 J>p 42) "\!@+/6eN@VԻRy.A[k9.JRWb n|OmClԻ];Ë=g'o괢5,u+.ߧsVGI4@|>Cu-r|oԫTO6=TH)sJ]Tný_; KZv]V/ O˦S}mdztܾ ԩfԭTS/A@qQJUaBIBdXJĞ!q34wml4JS쳲Em -+?NʖSe̴.j& :~?ٟ7y%N)8\䲿ҎÔEweSr//uiika^' 6$}0H@z;@k=+$µ6V怮쵅jCnw:iH Mh/lͼ9ݻpn>sݳ%o9V0n%m\QwZFů[yx>^EbY._18Vkkjyn ?:u\+6L>jl[^0+ƛOqTF$H@xa1\P&ֽd΃+mV8:'?wSKlܲrkRm)QLdt(bqۜԭ8J+P-*_թބʿw*)1^_u_O>.3\b(P&0cҚ.U&sH]+'|5+ODDze[{Mj& 0`h\LР@d3!y@A+C/bCEl:I |4oh.Dρ7P-;(:`,.zPqof<:5iMS+w8յl\ٴF .@C42M$"՛9Bh$pIҤzA4nVWʫ4Ĥc"Qz~$o 8Qv I6SӼ^/i'B+'`][c+hp ZzG3O 6 8F%g^rȃÓ x;kW?_@b"2!iDb""Iur5ke1&F]؊R3M=r4u)rCf\3"j* NCr6m@'O$B3A> qoA|=||"6xD;!CK}<SLR N_^mڕ{IR+jAic0 <8a"x0cR` l^?c ˎ*B凸ۋIYN,D0Zvq!Pңf6VPj(6:Kot~V, _lEz(d[Nc8Ju6o:Ƙ :v j@y;b5jd88# 1WXV7mE&g'2QަHdqbN6Β.ψމRNu&/]] D $.S5~$ō IC@$lℑ҃JBvL9X|\p*FxcR ױ#B?o;x g:(Wj"ȿݿHYǑrvK}!;SlbqE*WOy --ʛHk~v MzL~2]Ei-,8Sr'_:Xv4Gms(u/KKvgb{n hYKHLٿ~|;Ǥrl||%: yd~T sӏؽ^d AxښΈo6(>FzHi`e AToaY$aڿPLN˴  I-9x7FNJ' C*$aædQP(Aia:ʝ}n굊?iN{N5|Ɖ$PQ\{4"Hu?ǧ !3`߅l^2lzndRHweiᏍ ,d):{+xʇh6•y"qɊ2r||۶ JAG/>PZCC2t2 O{pS( gghbdN_[ `3Ѷڀ Vw@z[ ̈́;hŁ̭" +"1 6=q^]W2K̴mqiL$m98A> 䓓]\ ): 1[a0X.n"՗}XMspAPr%ܯ hVUx ~@Fx%{Y.L.#oqg3F'6%6e#|ӌbLWW4r1y --ncS̮HR+,Ձ)&W ̀Xhٱ6m1DSMf))%=pI7ʺ_92I䚢BeT6+CqC9ǢF+E[KQ'vTb̴FL)O"O.LSKIkNJKTu=U}ӈӔN)bbw8 rN̞#\ŮO?`|4._eOC+]VRJ )2t2 gU*AWT) . `:@Fspv()(y8Qg? 2m]"=@htm!@%"`\ XkB.*ӴAϋՍQqr]!#,5TW~Sʹ$@ 5FsKGXRRM̩3/`'`G?a,m2`cp yPvۣ (( 6}/Gj Ai+M‚ddIbS`~(GF At hHg A|PmCJCwL\kU"zmw~u:j 9$ ;1!2k[SWټQ L c邃J/WoOD玷'gI{!&_̛Jl>wM@jU_iik/UKg@*^90Sbd q#VbsTm1z@.˖X#JpOZv"4lP +a^5aO@Z8f`O&l$#0<Ј+8ybu4]wwtZfN6_Q;J C7Dbm-KP ¬8g]mh4J;:'<!=`AC?rz?3VM|?ͶvM󒰰fh h;|ϲ3X lZbYa-*F"UjRZ[Gy$Z[l6̰ϲjX.cJ2=JHN9lWhaw^_\pp t7Tu pi 2(,' z9DNN«ݢ%#@2Myy?hx!| KE^>B)Y™V4vmdB'q$04 4[ *zC\Cߞc)LJ,8͆=_"9]#>mBm_{x#pIdSYlJ!䣠\b ̛+]y |b{e}auago_I, @_tPMRBh']e)We1JiQDyWfk!xՌQ]b`B5Kl!p01R5BcWz /6~į nn䨣ydٲKKa _,ZME6  -|a}?vֺ\AI| =۱,'Y(j%@[*F81VB+aYddd㳷 ehPKK '139[@d;hJB.l)t "8Ob4t.<9v p}&RC9\-?_WC/[S8u疝gssvdF̂2p&C; AH 7a%sYZKd +'VPI76TIu 9喵-ϔ0.D(.8C.k՚>*F4qǬ^;V4be]IװQ:=}%"t uRKp.Vԯ`Pxy(Þ9d}뵏QFR_$t]Q"wW κ=d/CFcd~#`U#$cK'<'31)ZPVΈ{RqTe] 4k!D9OO=kt;-+pބl j}?M@'^~/lpcvmLq4*6eZ*g9y:$ةD>5V8hQ(pNqP0tᨩ j,yۀm'y%"!?F a2:,g B.jw|A=9KQKFg^=]FE2jNJ4* fD(; g͢ѴU8p#6-wdn?2xtlCUphotyKzkcdVNXnk(gv]Bkq_r؍gA%UL Wn=jwE(3̘qh*iHWjKۋ[a0U+{ sMc4j`^FV#hl-=  8xS0i7 PY NLʊNghXeL$O<;>wFKtdž*7]PGd.劦~53(8RUdq՝#с+݋V;zUy-aMj^Q/ "Qy0El_pu[CNh `,,Z, BV>7dicVْ\V+Qԯe<'&5=6OFɈ<>U2 ~Ƈ2:4ȘHU~M47("nҪl>8*WJ ڰ2s`E@`S@4IP`x9.(觋@ڵFkRTUfOX 8V{r$!DPϙEG( FE] >qU3c"$Xͅ :\,$J0à0MP`0@i8.VR.nOC ?эߐ7? uN7KdlyFgV N2U/YX/볯PA5{ edoF'C wi(ǃ0GQ %(~y2<;zmHQ9w?_Ɖ=StMvA`wx0F#W:|