texlive-logicproof-11:svn33254.0-76.fc42 >t 6 6_ p3!XPȬI^Dg ( ȬI^DLKx ""S¿?]D4Rf&̬JB3+~p'ВhV~ )&_/: yArBzJd?{$ySpm3҃w%ٙRCw |{ GIXA+p@.gG,Yܚ+L 8M =fǝ.Wl ]ӛU=gyATօUs=pbwheY*ۻVx4 Nrw2"+ Y 4^GCt$z%2=e?&?^ԶTXtG#.V/J'k` ܍sZ0wӥ8e&/ٟtXq=[_j/Sԧ H8C7%!F;k*|O$~B8 Eo^/hgI?S5۸߷ht[|p"ibnϽl fc9ac1d7cf2d7ec8062b9c7cca4dc3f8f5f280114b6220f999344723608c270d2ebc2e868943741ecb92bc293298b06721653ade03020462f02aa400473045022100819fcd1077b93cadaa10928b88654f6ebf47b504e316b834bbf916d91e5229da02201bbf856f7ed019067a8b5cc9adf81d4c4a3cc856c93affdbe5615812f66f9c8e03020462f02aa400483046022100a5468675eaba5aa48f580d370a3ae1b692f4816da5f8b6d0cad56e3db3e7d418022100ed10bb17b02b97836100c08c46101f2f1b93e849b5af39619cfcdfac714a19d9Q/Ew$=7`>`<U?Ed ( , ]#2< KWou|    0 4DXl   (8 9 : G LH \I lX pY |\ ] ^ b d e f l !t <u Lv \    Ctexlive-logicproofsvn33254.076.fc42 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.gLbuildvm-ppc64le-25.iad2.fedoraproject.org]Fedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤goQ3goS,45f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-2023-76.fc42.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.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:svn33254.0-76.fc42texlive-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 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redhat-linux-gnudirectoryASCII textLaTeX document, ASCII texthttps://bugz.fedoraproject.org/texliveutf-8a83bde4e4a96fb29e2985fd9037b95b3b09ff70cef07b76db2bb7236f0c92939a83cbd270bc9d1ccdc32b6e3ded0dbe19520d760d7e94c042d9f6e5e0d8f5cd3?@(/h 1}hRqFc >I$|= uWvu cM@U&6ML/ U4 *u6cIck=ŎGپ(LuȮڲ#JL[P՛!Ed~B6/))mtrl-K/A/%HIj*J/M.ؚb7uֹWk˿dK&)?]/馐r.6&pCn8q/(Рl`@ ^Ȑ&q!r!BR)֋rLbyF=$z>w@MUA\e־  >_Z-:Nt]QI _G.5J'8);x`S/RZ7ZR@]L`BŅFͿ%DYS/rzA{_ӭ%rg^.D%ZBHq!pB (& */]@)9B$H1!!ɔzi0$ 0tim mκAKC8$€ pa`b+~e)t zV*%tkM]Y"e[iUj[^@ "P a͘zk1vx',D𭕞XVԹF}r|e>~BRt6=(TO~Uzujɦ )eNI+*-qWk'32zI =KꥡTP5xTz  LϝV.W:u3(@|"J)*,0"`@Ƞ0@ հYs5Dt4~iʕ[geZV*Su-(c-?ǔ2fZK{ug Xk ϛk{~{r_Yia2[ˇ)9헺Ewִx؈0q~gR$TD@oVu׵{zZnKJ+m{ë #)4%Q56t]Ut\O:vϖѺl[ u+iR2{YտF.iJ˫ [Ru5~t+EyrSiJL0i c(Z+1T9,Q 5DUP-  sJz(Q~SX?& nq'kFlQu_y rm@ e~.SI({:c TQn9OkffnY۫H,˥+s>4Jܞ|wm}?X--Dz^~R tkӆi灱TMm sx4nʨ@(!/,& ºlypS rU'nʡWu-[TNsRJֿWr:e2[[R=rRYiEeCס:ܛ]N%\;0t}\ fӹP"L*44*.`Ƥ5]M|-T(WO$y}knWj-ʶ#6^2 0`h\LР@d3!y@A+C/bCEl:I |4oh.Dρ7P-;(:`,.zPq"f4NMyZӦ#Ԋ]3Cum64l6-@ .P8Mc @DjyPj6)I8ܢxm4^P~$F3A*$ 1阅bI[~NBc 4Kм-X9n2j ``B"BBQƙꄃavb"`CCx:,'×A100LHD%Hw|ݧ/\ͬZlLmQ#s9LSz6D:<@\/M]ʼP*(Y2׌)ځJ9`СX/ۀROyߟH$g|< ߂g{V)'DlvBd>S!3ӼnAWW[V 'UWHitAiC3#s0 Or~aJ 0!D#Dj f?1І%H*[)8Z:IHE kdrR4%ʨLJ1˫I(HC6*[NSra+^.)悆w +(Ruwt>4$8mywM/o?Ճ?e}Ԁc{h8}k`[¯:t!PVBIo]/>(WSnt ,w eGZkGo_Wр߳ZמghYN}+&v1$Cj1GX.AА4X_?]Q8$~Ǡ 3#_#S;^eѽN8$0%ͅ|  ƓfʘLy_c$-) LX=Q ]#P3;!اz~n?T>.WZ#G^?;Hro}¸sAF 3QqN:,ɺ32G!;B,udlQZ2x3pB1HӐH6ÿƠvӃ2mJ+1P$5@1Y891@|de;-$wÑ ny1dk$ MS00c\ 9-(Je)~wMJ !=K̻ 8wAdO0|KWm-Kf֏/].-0M$yYWbwc$vR,#efUtّaP!8ј8J"@/d}D2R  ;lSuu89+H=Vn4_r$paU$'[Eivt'UmeE^e J+M,~Υ?v YLb @+5:AP3OJlR*)DJhh.16E|L o7n&T54ض_8/ V?e] ZmPEC9Cdz6` #xh\ɯxlaq"NN/ w@t9:JQ;?0X4"63E,XЧ8sM7W}A334{j g1 +qwlc$p[YSUcǛy'ɾ1p7eՕZ `jHEPWiKhU@st!Q0X"Q Rm[\cQlȻ[ ;*| "P]s!ӕ_On5g E,,,vSv<(ON ltBhta3dǒ9]ìϝ[ ^U7|(iNAAe/ I gclV)WѿG㳿=t]Ivʈ dB0j3D ۄ ~ ]F'e*@eSk1?S@֌NGV?8U-h5=g brܩJ9TSeh6AV~d`BT&Th+k,5~ޘ]X T|N"!4߿@l2 ]j-yc=@b\{ @#³Zkήi9Zp:򴐎I81kj[Dzפ!x;pB7(}'ŋ$aoljGK{0 ]X3`C(o,% kUm+KRVUyOUM DX/$+AT`wg#Jb݄]~ jC7MVMyUԝ!3/.pg\!輩{d. I]s"3?C&Q\}6'DDAEX1dr_eks}R]2}H f>MVĒ[2:ӓݾE}gX6#~g6kf|e9<<:&Q*zHQݙ,3N;O!ѝK"6Ji>7 ζr眦^gpZ{VDQU+=.lSe]mٙ PضT~MSle΋5{O*E, 1E:PI=|J4&vSi8GSIʈ_ K4S$SS6;RЧh* q`QЧ#'8L5G;$G:iSC Hr;!g[%&Qhח[ ~!f1B)/._ 3AyХ-U9}3dCHy*|#i G Wը]jsMUY40p^[[ӏb[5(.Y ܡקjlL`\ Vj_ <>(|- mP`_nrkp%LsYuEA7ـmmRu= ǵ`dMo*@|hLbBVLF[5d;nAA0[Jq o#[0U4Œ}V$Ta>A0AKjn!/hjZU{턆T+@xu?[[X4_jH mYځa!Z+wl5N&#T#2NmˊF 6NkEMpXB˲ %R խ8Up| =P5" ۯG,&Yuy.ڋ(]MahZZc-bUHYV!Z/^2ԫկgc5t=sAKR[CoҘ[;E2}D9}G-":fJ,#!PrDڨ 1 Zb9#Egg^ȘYчTve}>ej j,}Ȃ<ڛ3 Y₉R?=$5We$-3rzs4t/d9 W> @Nԅ"sP$6 xRT7a$@ @Zܩj3ZҹAGfzhFAh/~ mYkVf( y Y(B͌؍DTZM=*?夥(6艏qY)Bl>kYY} @M 'sJ6y"'[bG!]ggV8q"l%钐IE>,v1E^ÓP@UcXÛxp@}܌+MP4?'cd~)]ZwূnV˂0) B7P]47Gz >