texlive-logicproof-11:svn33254.0-71.fc40 >t 6 6_6"48 <3!]W>D] 'p~[ye> 'p~[y̞H0gwX \,l> CMhI`~_xf?Ϧ.4uZ?>NC;_respJp&Gxy"  ΚvЈ(QiaɥUF[$!_pL'LQsSkZH֊VXl |9й۸5PRGu`,U )V79b-.KǯF<кtpg_ 15Բi+P C"( PcnP*D+ A=BiK!ڀRdSaii~S`m=M3GZa #j`'1O@[{D9YjN,Q̱ JߔE<.RiLT?oC5Ԇ Bv5c1uۚqVՁBFRlF<YXV?7$[Sa4_!` 26wRD] 'p~[ye> 'p~[y̆Z}yHށ/ri$ĠnAhɸ";AG/:eے##-YKcj$mٴPUʰ+7BJ}I !:J7̗4bFa<򖝏ϞN:D9 (rh 螶)~o%0ZKzAIA8Wwj ;;qM7D|Z`&͗Pޫ1/8s ϝ|Ceq D1r2ڲ2W7%.X!~/.Oxux|L0_qIFDI 9%N,^]g3`>'o#µkQZ/~0 _#ZxF)F|]1>FEGܝo=#EBi̥*WC&9M)tzwPE͙ ٷ5k*#>5l/G24X;qW0W;A`>`<? d ( , ]#2< KWou|    0 4DXl   (89,: WGH$I4X8YD\d]t^bGdefltuv$TXCtexlive-logicproofsvn33254.071.fc40 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.e[buildvm-ppc64le-08.iad2.fedoraproject.org]Fedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤eGQ3eGS,45f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-2023-71.fc40.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.1e@ed%yd"d?@d @c@cc^cc(Yc*b@bb@bV@b4t@b/.@a a a@Fedora 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-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-51- 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_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)2023202311:svn33254.0-71.fc40texlive-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-81542184c16f095206d3678caf65736bc05d29e441a04b2144c65a594027a2f4e5dc5956b74fea9959ce18142066c03f0df9bbc4685d7ccb0b66d8fbd3398a9dc?@(/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$€&&"L#"`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 >