texlive-lplfitch-11:svn31077.0.9-76.fc42 >t 6 6_ p3!XPȬI^Dg , ȬI^Df@$`m"[&dKw78#n q+jC5r{?ÌTĄf4^FFP3F^FeC1X(6`i,rF|>QIG#9/KkQ|¬WN("9xȤIL`Emj,2L f =%YrU% af+91'/M3,Bli-ID QگZYHEAxJb-jG_$_Vĕ:-Oe@7-[2I+R8a,kC(+ݗv- [OS̆v4 6<ڦ}a `ak ԻӺ iC^5ߜ<&'li~;<?z䅼N6{ؾ%oBv:'cj |ACy ׈n6-cCc: Qk׹J+X3vHNcb93ab1567ed348d692ba6b5cac3335daeba5114796c686cbaaff6ab567fba839a72fcfa61e200dfc6d0a2053d3c31446c589a6803020462f02aa400483046022100862e16d275cbe1cefc6986fd1e35b1fa3fbd5729bab66c102d748d3841a51462022100ed516b9c576f593033cab7b4ade684aa27eac2ced0345f2bb249bfb8d2b1c4a003020462f02aa400483046022100b23535d0bf84716b6cdf513a066e60387ed3d5b36a474662bad5726e39508c9f022100b5089039e98660c942f78b2c3772104a478cd6b0f839eccaed1c511803375b2aQ/tj)~;b)j]>`< ? d ( , Q|  ( 0 8 H  (8h(:8D 9l : G H I X Y \ ] ^ Ob d ze f l t u v     ! d hCtexlive-lplfitchsvn31077.0.976.fc42 Fitch-style natural deduction proofsThe package provides macros for typesetting natural deduction proofs in "Fitch" style, with subproofs indented and offset by scope lines. The proofs from use of the package are in the format used in the textbook Language, Proof, and Logic by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.gLbuildvm-ppc64le-25.iad2.fedoraproject.orgZFedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJXA큤A큤goQ3goQ`}5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb47ef27db33f7e0cfc132329be5263f6356b02d42e1b1ea25b99a7deae094254erootrootrootrootrootrootrootroottexlive-2023-76.fc42.src.rpmtex(lplfitch.sty)tex-lplfitchtexlive-lplfitch    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.4.18-14.20.0g@g@ffe@ed%yd"d?@d @Than Ngo - 11:2023-76Fedora Release Engineering - 11:2023-75Than Ngo - 11:2023-74Fedora 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-66- Fixed rhbz#2271057 - Upgrade biblatex to 3.20- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- fixed rhbz#2314476, missing dependencies for package texlive-europasscv - fixed rhbz#2295803, Chessboard requires skaknew for a font- 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)2023202311:svn31077.0.9-76.fc42texlive-lplfitchlppl1.3.txtlplfitchlplfitch.sty/usr/share/licenses//usr/share/licenses/texlive-lplfitch//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/lplfitch/-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-8d0b3fc61ed54db5bf6820996176db6b9029e7e123460f67f7c2d93ff4f5489b366006248408b2122490193a7bff5cdd5a44624c903a51ce94bae9a46e03254be?@(/h=:ļ!+Tqp|֌3B--.fxWvv+칫fkuF"b-{ʉ `2la0݋DZ 5tpT8(6$JRC8JR@Rf'ML3o]-92!vPog٬߬Zl+O{bLNϙ6D)],}¤sy*7gncǞ7}KQ-||]EfߛR>F Q"!?.xttȍ QRE#=6*T6*taugY)[纋>G_EʽT29{&LnZh=FBM_ICV֚nnx,*Ű \!Ɔ+ۣ2"{-/W%ů܏}<4smb623Fd`I$1T/Z."."LrH 4`X+`aH5Ő;U! HYL0&e $DĞ#Wbi-|X[@PBA`A I[Ɂ I~GЅd z֨ךb9x^5=_xjP+\cQ}9֗$=PSsJ)fcK˕ 4.2_kOs>JBlAsSepRv͙HE/v|SWA -5]_Qeܼ|_Xl!xmU̽VjtKýYN\t]w5K_JQR]W>ug]&4ÍದHbj2]cߦjLHc @鈰&X#]Ąƹސ mv֟:mi}ͶjwJ 7^g;of > 4zӶ1f:1Qݳ:9P1B~)?}ߴTP{72ۯKuKU0Ŏ"}[t,j^n.D3f%R{>|n=p_\][k =|UY^V|B]<*[TZUWd=7"dUӯuEy=~tN:]fRT9άcZnNK# g _cåV tqW4oP3F8ʣ4%-$H\sy @ ˂zcea!΁fí7(vˀ#caKΤ!e" E`|k$qYw}. T 'bgt:-.Z8Zkf[=z .Dۼ dEG]e 'S٠N=RTt"pC F%ٍYTDb$8E2X}q&)@p\d`,"F3|uNuF/uݮf*GkqxKFoXr>-EŅ_)/ƭSw=rF%9^{|- kQ3)m޽\XL$,U d,,TSBRJICB$qlh=I@ OaJ!0 p@K_pAϵo s-XvoGG0\֗\δJcwj`mrt EI Px*Ǡ(hkbc~Wa+tjWe.r_8]RZ4wYWm v,unLƌ& ׍IYKw>hē@ ,>cyC"_4+PTkDXIUP#8x:7 kzQ{bvk/ӜjqO7mKp][MP'On2V8 *㭍D2SX$=ߛB/YDRGIK[_?4Ȏ# .q̐ԸB0*\o'gmk /5yuNCpg̡hkt*ҭ!KD [NVdhGSufTMɅ134/pGg[B`*Dh[x&:nOxۏ"vp @|o>≗849e6୾=`hP@g oWcQ}Ɣ4ˎ= ">)=ؕ5)zGAS˜ njod3#WJv bvΞ@,^H^ `RU2kX 7Л֤|`TdD\ž&|LA76 +//nky? gt`Uwe(9H f|RO~)SZ)>Ҩ%Cu?7n{~kNt R7)COzdX@{>Z t@(*)ǻ (S4$9BJƐj07KPuy%JjdY^ؗ;B'L/L&O$Zr `'| UHޯ}J>Gޫ՘NpF!ozgARA-VԪp- Ft{oa Aׂ ot;K;?PMlNbN(b 5ҳ ޮg׮qb[K\]k jfyUP|%j- 0o~"|=b2S ״/VD#pM̩3a' S%PA`N3,2 =UR4xJtELtEPRXA k |#E5Ԁm&/B:VmԿRs+a,xL[߭nlQ0ᣆ4É4P1A%2S؜S͊> C t^U8oP&OrҐuM"tOgǍH6&36nU7nh[fm eYq>-F1Ţs,2`r#ڲjJ[` \Sx?h @k&~VJ'pP@w-8&֊&08` cldd B@b^V3b{K^P+OQb,kx?t]CRrBL|Tyow8-]ފ#=S`gYlB9zMb!:-wAi.a)ofPi.R|_(X^X-QbEg* E}b0nk<$㓬l0a>SD-2r3'<(W6[ d$$7t^_/JdإL/]?u4.YZC#:9h6,4:(nk'z6ejCQ"j 8Hg)UуC0n4}RM3P2iLor)y blIbCMuJ=/r\ a.M&/fgR[uhZe%dFuR"Y65KD[SV:UQC.1{=գ\vCJwmtʂ@5spY5EJ1k8v6ɤJ͒RK Q/tD&Lo;ꏊ0z+7Tj&(dWkaV`[iw\cJ˒0:F?ZePw?Rь`9!)$ 8 I"3qv%V[Ma&RqtX8on2.YJ4{nex3_(Z)K2b"QdѳCZ% .Wir,nBء53`p"9ʦDWGGF} b>N 5uXE#*3!(%|؏[ѽ 2LeŪ_}X.r;~XYu꺬Mt_ۋI284n]{O{e #*g$ [_y:5Zc_$ 3)vP7^D1㞰x}115ZP#'ɼET;e䝖l7&F649εbH^5V o` 4x`Bp6VsyBJ1GƗDߣ:>J5J纊5Layƛ:5%By#nTK*u6MkYQl(0NZYL"xfK #FrLN\[<&z|%64vr^NeXYgvxMS ,ѫD`c ]!}mYo95 u H,A:[r -D27"" sf`:Fձ 8 w T`XD}͊b #iXSoO Dƣ嬴/&NJN3k8Ğ*X-(G&p'e@\dm2 ']ġPJbnϕM%>]&lWl.R<,[T ޵W-qk{+F+24(4ܚDac.ե(]$e*{ݣ*Mkh1z,#g-Ng#ZE6 yzFHL|D|ֺ3Jed?ԹnP[\XI#V`~vi*:ڤ\p.%vVau邂)f,-cPF$H5.#_ ȉ]CvL\w!И'&ffĹ;1Rb&c+tR7v{COwfVp . X'@BJy@bwVXsb0l! @fRpT ΝZ:f,ݤU?%ͲJwȄ|5^ IEaϝc do }uvdE՘膇:@.Y:b{}5U^q1(g#E P9t18J| n'Y ?HjQ?4H`QSج3 ɗUFE^qAH97@ILv Ytnuٍ6Ϸ sľdmʈ ?tGWZlV=/ z:`gL|Kt@;0xa