texlive-logicproof-9:svn33254.0-3.oe24090>    f85 ;G|`u` {bFMr{^kvZQBъa}BM(p<ݰ-(zTߥjOevIBs,m~)5}e'pD6l<_ً rn,1qPoF)2SKs**glXDK[mvT)?g-}]i؉zOɄ iJgƔUٚ@T˞‹}PQ,͙UwzĕL%9g*77*?C 玞HSJgf|;/eQ&bb3ab3d01dc76cb671e144b874760d1f9a8a30384d18f5e9dd86acaf858fbc1593bcbd12352ff32bb60ad4a0d80da428f3e7f963,}aOvרYq*s>; ? d , 0 a  +CIP` h p   ,@hx   (89:?FHGhHxIXY\]^bdefltuvz  ( , 2 t xCtexlive-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.f3dc-64g.compass-ci]LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤f7FQ3f3S,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 1726690232202120219: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 -fgcc-compatible -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS --config /usr/lib/rpm/generic-hardened-clang.cfg -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textclz}Qa`!putf-87866350b63c45d662d0d549012f186229ffdb9271e1b921668693a1ed12c94bb356d0238d96ca74fc3eaecc514b51417d3dd15772f745dc264c504f928db2e9a?P7zXZ !#,`] b2u jӫ`(y0%,)h5I/9d>geu1#|@wɝSPeyRN j`+>!:*m-O0_ i)<&zE(,'8?([t?f㒆M]먺yc$?;|S#^_F^_a`u' `;->!~O;`TKn;h{bjn'ZUuk i"pHQxIv`lm`=C΢aP ,ds_ց!4 fkZQyڮ lnWMJMO_XtI8>'?AR:{6e1gqOZ][Qד{LG6Q uP ^x]Jz{|;pMzxQ#!{TcY/Yi0>3NQ Q .l u&e#[鞪33x$#3U1PiLrI 9ָŠq8g"-G[Z(e717r씶&Js1 ^(sı !'%.bf0 ~y4a|8G67栘PO*2D[Tk+Qڷ%PʉӈtW}h8$/?Kui5/x|]G%ĵ#TDWSFRg.X; AگJj=z}_GPu .=_aU{i`JK =-xjJy̓ZHT>A2sb^FQ]kgQV:i4 ~I%tto]Ubْh Z+<23HN( $4=!dE/>xDbt+GgV}3l|-D'8~ݵ^JыDž;sf9*FIm &f)$ßRXe:z9@qg#2 4/FJ}7r&VIf $6c&Ƭɝ7'lY4qg~ľ]M(JC/x $ Dd`tÛj쾧 |Vdx6}K흌3G}> ܡ_jB'tq8cUj7зXV 0-)la!ة!s\d g 5@__7۬%E/-BRfͶ'k˸X`T<{G UR3Ou=L_ f㮢)% o@<HfR_=2WC SY|riߟC$Xء iJ\pz0APgMk( LFUBZ0R=u8aq4ʿfOnpAHe}#4u^ Q`rOHtK`v~yhFAZwF~4ã}]kD/I@bc +ǘpgvZֺsgx m9k0A(b^"42q\V:]dK*,su XVL. y(QUEi8)GKs4ͥ)"`f:3n"ߎtJZ[+X& i$}]F@ci⮰@o4Tc|sqz*K nTU;.^P.ɿGku}2&ׄZg+C҈*tD{HϩryY ! uߖ]x7A"+3?X Hcj Dt0˺RoŀhcA,g'F+Z%w6KKgɼHI2YRr .€5R 2LUnE\/C`r((nFrlcī|<5_t%['ӣe(ICHງ9ZI 0K %+7MCJyx(W %양.߇U Ez8Doi n?k[YYW3K^Y,yEXgZS6F.KqG0 >?BN028»j,.?z=d`il2g͚2 e‚[xmP~ڟ#z Zp~V/L u(Z=N-I,,֗,. @#K WܩZ`J1' 6N礏ݿ2Dy״(ww;ݞ$\MmDwr6%$Y ȱ&/>mZZ(k:N&VP;ɎwT3md:KԤ7ٸn <)[A_)U_o:-{)VXkQha}_QKdc%;Dm+3c&`+M:;}@}LIeh 6Q+ZmovVPbUPg1J^R$h[914WA0#O!zph!kcĂKjDc4+E/5)Nnu(7n'{~U4(k l IrZsh;D4II= )#&~x=O T{#Ji| w( ~7J,ȆDq?ꗴ Z$Rv  8ѕfvȺ_$IMRZ_J˺ˊ! 4VxEX}#|+.UN?O~'- qx_ׂؕÿ?P>.)M;܊sv=te> S6-uWFףiQĨNDf2TbkSM׻t{ Ҝ`Y|j泮\<4ZD [Jq$}r/ǐ"G\+ G c09Wmү َ]i!1cK8iZ ]ɯ{Yd =$T£u/Vf%fʓ;Լ]4B(kHc<^k&g a[9R८h8T$c~,,wDurj58 q"D'/@!IJi̎B^)WlZhNRMIrsZ] [xɔ">gh߃5!:30{m8c4€+}E|HVA۷t--( g(]T<&U'VD(Q9-v_QAݑp(p6(a623v-fLQﵶ&k: 7^f?d}vx͉s/n3,U 2Od6޾l\x,gB@p񇦱_Wh&"%u}E|jS]2/&%V\K\pg0VX%Z sdž/8kF3GA(a>㷨+`Bi~H7␍\^ƥL^MpaKGҥdJqa"`4A{ԹNey:ecĂ_5sdxVjg˺EY|;^W3,v}Sq-͓,u%ȶ )RgbMfg8Yg&Jng|h dh"\@7 Nrw6#,2;3z 5ή2GcH*syy_Ggy/|`0uY+V^0 ?dlZ"6bW՗LiRpQQ'g_6fneCpprŗ1mFBڜư?4H0(:3F;sDx?fmބ_2e&v@-f~-:є2%2g!"6--me%d-9)=g3PjKt֧H :ӎJxڶ6 S|ZԎ  heVfpTֈQ07Ekx-o8@h[s PPQI7ˆrEN IVTiYYs\‰ @Ig1=eh۰mhڌ6+I:]t٠B)!fh5Xf/ͧdH]͠ oYٟ1Y\"Γ.dzn?ʁH5L-zCJì:e7hE@ϐ"ԎMp96]}G O̽u {kL^D˳[<d@m\!, "Dص-s!c:Gc@F+HW;: ~<0:C `Gï=D4c$IN <ԏ&?v;v[nzJhd8u)) G|Q$>"c^WvVhu=wnGVdj;:(3sEXO>w5^i4&AtW=Yc7j@+Μ=hrvvՔWC2RϟceoyS,wH9$)Fu,a\&A Y|#w]:=Vwm:Y,Ew͈xa kEATd#2%S~|-41 iosȏbYfÕN^P|(-UO>~; >&zUb+٫>Qk^'iuU]Ϯ2ژ)j(aF˲F4 mx# I'WIa'6*1чR?;Q"/a9>:-F%ΣxjuxfbZ}u|aj>Ep ̾ULbf+ǧ?+@s 8׆R|A?`g]"Q â\{RjA]Ww {frK¹NU]N_Z|~ŷ>3!!(FwB3l䃳{Sa<*⺵ʑe3hD ?FV5m8lOw/t]d(.=G~B YZ