texlive-logicproof-9:svn33254.0-3.oe24090>    fɾ ;G|`u` a b̓nxJ&$)1ٴ4ū9t;ߡahN0^^5ߋ(=FeB62q?e paʲ5zU晾= :6񽴣#o~ L$'-q0tjKZH 3>Y0}T{3W 1[XZ̥MG3Z<,7p.l.~FZ`'{xjr4~ +]v ^Ri`-r[@b 9/UL^w!욆D2HSbh5(ЬޯMO]wHt=1ˢ*y#anB̝1ۙu*<뵃P~Pl']AwthSda60f72ff0fd04e287d5d5eb88524b26c7b43ac58a49a64262759319926bf7a4befd87b47bd33848336344c02c027867f24408dd,e*_MwXfnf#>; ? d , 0 a  +CIP` h p   ,@hx   (89:?FHGhHxIXY\]^bdefltuvz     \ `Ctexlive-logicproofsvn33254.03.oe2409 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/dc-64g.compass-ci]LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤fQ3f7S,45f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-split-n-2021-3.oe2409.src.rpmtex(logicproof.sty)tex-logicprooftexlive-logicproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex(array.sty)tex(ifthen.sty)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.2-14.18.2f@cdcY!@yaoxin - 9:2021-3misaka00251 - 9:2021-2misaka00251 - 9:2021-1- License compliance rectification- texlive-luatodonotes doesn't require tex(luatex.sty) anymore- Upgrade texlive version to 2021 - The following packages no longer exist: latex-bib-ex-doc, latex-bib2-ex.doc, - latex-referenz, latex-tabellen, latex-tds, ltxindexdc-64g.compass-ci 1726662959202120219:svn33254.0-3.oe2409texlive-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 -g -grecord-gcc-switches -pipe -fstack-protector-strong -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/generic-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text\Gu uutf-8d65a5b03aadb2eaa5ef6bcd28fc1ee8ac767b028ce1996d697dbc392ccb7ef7de71815b2e299cd50a79efa311a1a89cdc0c9a43199d564d94b93b2153e7d09c3?P7zXZ !#,`] b2u jӫ`(y0$ {.+QxOyz6U qut1ow|$d7Avu?TXzFC!Z*y]_R"oj CRa֜-o 8 O@7@FnqmMo~ܷMT̖ {Z<%y.c8Lh9;4odx'/ɥOQݶSO#*T7_f^zÍZ/2"ps4F\"O#A.‚FpV5R'fY7bxeLkiܭ¥LO}$W/w)[?N.L!W0}O^ŅzW@D\nFv@7?s߮'[Ym6GYħC4&Of(xc*ld>̙ݎ^i(F붞NARqDg WP9Z|yr=ish\Xċ܌AW|Itݩm .MA;4|/ ^7)FPL u0:m$EG}} c />&Ll}Cy։=:t嚇p=iQQU Z)3sd!7/W'qfiO.. o@? (xܐE.Q 8Co"4,Je,5O@8VV ͟aV~ C#2{\ jo=S14Pޠ#B)Ȼ0ƀ1Xkkׯ :U.qGn+}^\WoR" ^c)>๛}" yZ_Xkv܏`bTgpJx*fC!W m'Ͻ=*k2}-/c O e곦13CpH#Zإ_'|iJl5(hMZ6 {lYʍT>9 @]H|o=IŶw,}c:W9A ΂1CshGuagj(`=x r\&[.Ã跤) a"lj_I bay1q{ws4̼X}@3 છA%5,^!Zo ).[*le~B7L;f^o -Bd]pVM&e(D01.z9O5Ud䵼<O,yf \ڰ Cv2awa+5_?8(yr/|iY[K#-:#i$oUu1M=-T:$B%X1&)!?/MwI8׷\9y٣Po,sΗ1ft4ňı K3o]誧DZA\6ª,0Rspe2mf"0 "H_75Er`1X}yW"$9-epwVݨW4~As4&QϪM |h׻=5xQEH&ZjVFߞ,;*6ئKlhF$kkߪ!5|WzŁT=[}Oы%mOZE_ &=8\ U>eRi31y=:odE8Pؑhҁ8+)pu$g1b>j?qk3{$AXExOwoׁo䱗elr4z8[B7M0m"uiaXUCZ/ 4&PPڗf!W64 X>1J3>&=/!pDy9dkrv*l* MKSjwkɽk¡Sq,fe֮nbNp?5@Ě[nDp)pp(` Eۜy5ȋ%Uraox٦a=vNJK*J{d7tF vDƑ.ԯ}%j} >ku{؅-mHшJ[ >|Rs4䍶!nEsAAD[9ʈe(Frx,>͟E@|n *SPB0󢨚Cb ''ն^Lt_0V3U:ݱkgGU&7yhZ0=Cgv^>BjJ(XSn]~'L)J?S'ۋTUV!/ދnFz96%qTG+".߂:3w;F\._dB@>g2o |Qebd#vK,YZ䏄PCJr?uXvqa#) A`ld{f?ᮬS)L3V ioǨg"LpKFc,Qabv!軳k&e4̃r2x]EY [Fg+|v:Z4/D\JlѶ+<65S;SOoc Q_&p3g[sQo[ ӮGwxUJ)|[ZN\뗍C%ұX=Y,-wzD2ևҨDR֟ KajWȁ(7%Tnrі@90xjq\j_^Pn> &㴴!aqQ8CCxMbqh ,|쑣EҤ@"t}-)Րh4({)B`7]ۢͦz7^&Ғ^e.HKoY(vf)$;U74_+z,D}@ 89}q@dg*= B!ڣXTDmPOY(DŪ#B[BM7!T_*l RˋuO܇(MYoxdV jul{>+>Ԧ3iUf85:CNnF(cWݾ 3oӴ Oe#";P??fVex wxð w ӎbZu+;afS6~z~t!Dȑ*?uڎ`&4Yyd&ڷ?Ve_.Zܰ> I{.,B<綆[j/G-a$ 00-񹠻:A4}ud׶ mN`0QcLK=:>ֻ_;K@yFf4Ҁ7mP~GXٶ;9GS-8lnYٴ'Bx%" 2_ieC|GyBq:KǗ]h0W'7 x2:+uDwCwJ0h].:pwai^lDҒQJufI\H.+νԔR$ӵ7I^7,մߢ a99'L+cAJVĦ!&<:Q$ec\ZG~]Tm֔ɨ@t='Zٺdh}$Uw*+4 zZ *$d_Ep"w걏-%ĠINE}ۊb c7 buu!Rk{ T]0|F[#9~3M_+wQKlDtj$ՌnAʉ,9ҊLL f9SOm%_1CjGmhHòidVۤ]z\qj^bS Rr%b?F5L"8 F ;:U6J34|e8ҖbbI"Pj֓6;ysjccW~zi<0і}nUR8dwɥ:=>@;Oc=YX+D%||< Ǽ(#> *2W_"#*]o=}oTnhs`;j.OuE @aoS;,* j &>ݝ7xRxyi<)=2 l^OўydR塄޶iUAVWxrk z콙߿K⨍0I=lͽ\,R|4R#QH|e ;{I{A@qvȜ]^ϩ.9Yfbkrges,ʻ}ϴH4=TVd-;WL**)tgz˴1R +'45Sd*'Y7{mo,j qO`#z"`Ob!u$f5Ph&hɼV̒,;~=0w3,??cm^շmZ[8*85Z">ſ痾*OCH <Ԃ ͒7}V(A]-$#̓oW*3p T͝Y'p;rxS-X56DW]z`u&`idPp}ea_IԴ׺wGKf{|F>o-bڱFH!pq5JFF%P`5e7xGVr>bsh(LL?owL%:RF0UC{%ͬ*_B 0-gimzBfnPPMAdJ ͐`Y-G.t2Ts)҉/RUMww݃h8/!T%D Mjlb/C1lInlX]/ %ڂ}>A4s_`J,~;mC;Ddڄ+`*GT)P1xC5ls\J0@JFUDzRyL2=IT1{o^RR+GX. 6vr@,)]Ջ:QkF._BSAr2 !*͡XB!{IZ?rp:!K ٓgJrc!(5riȻd(\Dr oTR $sOXPe|kLK6X][ *B6Wt3&ZKíGzI>kݪ?qc>(M?fJ5)wҠS \kV"'Rakv';YkS\73ޭA:mh8P1ɤ1dK>} =G~B YZ