texlive-lplfitch-11:svn31077.0.9-73.fc41 >t 6 6_ p3!Flض zE>b$bjf1 b$bjюWx -|+QOG/!!W}NEVkBhJ(,\!d9Uoh~D\9ugA-0JUXOz*p ;lf̚PZvKz0W%TG0``j/$ ԸMTm;řXp$GthOWIyM4 N=̪t^8R$M|W~c=[FH ҵQKfO(X EqT`<Q?Ad ( , Q|  $ , 4 D  $4d(68@9|:G H ,I <X @Y L\ p] ^ b Ideflt8uHvXCtexlive-lplfitchsvn31077.0.973.fc41 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.f?buildhw-a64-06.iad2.fedoraproject.orgZFedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJXA큤A큤fQ3fQ`}5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb47ef27db33f7e0cfc132329be5263f6356b02d42e1b1ea25b99a7deae094254erootrootrootrootrootrootrootroottexlive-2023-73.fc41.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.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:svn31077.0.9-73.fc41texlive-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 -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-80729b10ce28e2c65d6470deed7dd1149c1506f83f643161e62c16e084c2da6d70452bb5b8fd84ed9395780a518cd2c84e964cbd665ae04cefb48645bdd9cd7f2?@(/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[@Pb#]!i+9p!IpiB/d;[n_kΊf{YϟK>|@|2s .GQI[_xBuLR)umm.-W6P|Z?|؂22zF }։-X3_( ZTk6;^V˸y7cVnJwt!KXEN\1[ȋy]n-uxY|eB*:.kJA$l![=mȄ$k9X8&pH@H k5ڕML~nސ mv֟#ƹt.tp_n9҃WYnG3mYfiL~Tl!{N#T|LPDŽ_JDj7-+4T&Í.쾌ǒq?lRLH˄e?[ YI^7;oy[Pںn^seo|vC|/+h!S.gq*{a+2JHު::t0kEVxz[1*PXrfʬ5O{_g4ge|Qyo0r}+Vz4]>3}4VkŁ F[u6k>_-|Vi~]&w$eRT1r _kb:B\u1L oV̷V _fj=Y;}?*5wBY|VGWEJm]uGBrbR֬[PsM4*+TrBGnDhP6* ΘsQ]kj:vt=WRJ{vjKiSI8JAj!c 6ږ;},$a.\Uo?GZ >ؚC&f3_-ldnBT>T(ܲV^+[PW?H"q}s6;;M @ ˂zcea!΁fí7(vˀ#caKΤ!e" E`|k$;.κuZ8;KӑDnLu1Z3Kp!b='`&3,Bt84XpR,9ub1*!ndO" )0/cV3EH"Pg( 0s:e{7b}v5SY8Zóe\2B\ǚ]f$h)*.J|1nڼ;X 5* zkmy\\"' ԜLa-hΐb"` >hL&ca2zuRJBʐ4 $@@;ftӈ>I32@ AJ4 p@KYpEo soغFg4kW0)Is?GWcoUwVXZs_ u_I *6:H@в@)ɜ!਀n4n94' R*[,"/M_>z/ƨ G'V$'U84ٮn& OCE \ʳ\O#&oty my藔?5wE9#iՍ]JjX4 5S 7ub 'tl v.kXk?GcMf{yO*Dq[Ù2li^ %?:b5 ?-P.EU~$*D? _׎&,g&;ql/q &1Fӫ-0b4&oz-iI37E?v 1A?pK] DLgR{ HHf˨t/4-v%EΪ[&yѲLrV+12i/"` -Z) 2 ݴ[c[o^5'7&An`GDL"qdgt7 BKFH %;RѮWhHpHg,.飥, aߨ3 L/)ߌ6κ e2NN"Jh>OD" I 4\'}ZfxHw3QuG~`g 8G;1ݳ"%q׈e .n@4~f<~@5"CsD;Ҍ@ے}0CItI mIFi9080ل8 Il 9oijZR?F9۲k߉l%vb?\tfݘy@glQOwVi Ro8f@1@ith߱+bh8R~xqh;'}p@p}ڎApny+?, 2&J;8 F?6ki"f\{+`%9=@exy5 R=eքcM%\Iof[CWb'y bCδBR9ՕvSyep\I7hle鈱:1kq2,0䪞0"4x BNaJgvaJ RFGԵ{ߛ.X禝 )?KSd:mAر#Նn )8VƏ4i[%0c u jȶ CsahtB6pT)vdta|+ WW74 Qsbt VҚpڪ-|h6w!eLoTʗWӈLoT?姯gYɖRI$7`Fm4~C|[)#a3&5EwPL9 h dYqkrI@pӪ)m1Ȭw[A7T]ܗ>X)%U7KٶHhHc3F* - 91kx/&e%k4f hO ļ>'ro#6c1HۼF@ 1nnB15}*9B4,n1gfa ŹGd̄ Y nU}ՙCCWU8$,oFm HK USsD`l"BD<5sp&0/)Ž=.XUdR(#OaskWWO=sNTGn Zt!< 2x4xbIuoԀ"AKA[ׯ %y}x%Huٖ}3вu5cK|ou9ܢ\̈OGFcdMZ܊GSW\A!#䑆$mw ^8̕#VtXA& Bo hW|0RY)tkO=IGуaϫtI 1i#ޟcXek?Eﱪ3xY%~# NLt9g8{#'V< FE¡)( &}rG~@=bL.^]M֚P-fIn| w >FWMI } N1z=xrŮ%hWe[*GYA#sMH%h3TmMxDcL B#bͯ"k 3y2Sz rVjY( Þd8#/""<4F6(b٧CYt- (ITeKm$VoH-mbxfO#Ш.q`A灼jf'`Λ\ug9|_ԫǣB'҅Qi5WSΏyݵǭQ )w"@$)#8@\##,tDQ<=b8W3!퉶E1OKiF7Xx0<UKYw42~.Сz[Ap,Y.jO1h9Lw*cth,Mj}D0e?,OEh&ء8&oW œvm7)?g7&P D|(x h>;ph(tiQCd5Mj\vPT7{SDšm>v(;Tnlũ{ 5 T 4<A|;B^06 FkB ,=7--~ m@5,Z{A[=g̰N|?lO+? ڀȴ ~Va.#0gv_c7\g夋DWDYN͔J~\ @27fDG{tpkZӥDD<%6`*5H40>U+7y65Xlb^jU%j@])Hx3 bpt8 [bPOtQ1^TU`Zbx$lD~;>%/^fEXJBRp~5GaRZ>9twf U7tr-Y:{}#:Ea:WARSa9MPIZKJQ 'j{fcMlv 0j^ %.yY!' <\(:BW > `j+~N a^ Ǵzjπ3j?hCcA lD${34GPҙ