texlive-logicproof-9:svn33254.0-3.oe24090>    fG_ ;G|`u` B d$c7YiqVb9U0*/%K¿(FwC*6Rʐ|'{89ō, ~34ŕ8jb] SE &,!c)Kx/`Ǝ@^?6V sѬz26]4:"uM>$>֨-7j}d5Y^8X!BҔ(0Gֶ2j{?f.uscжU(|u!pƿrw.⋳+)!JbocA(#bFH%DM*>.Ӑޟ >L0bai >0a36d4c74f641cba9b9586eccfb7f4990905f887fd60ac4da4528f85e35f572223a1c22efcba7d1617f52a9df01a1dcc24a779e7,e>S^A0O f>; ? 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.fB5dc-64g.compass-ci]LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤fELQ3fBXS,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 1726956085202120219: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~O u2utf-8de80aa6527235d2111edacebd1ec3467c093a8aa00251fa94e849718fc1d1323207baad5a9243efa4e74c9cbf91adee5cb4e3337e71cde90f9e6502f264f40fc?P7zXZ !#,`] b2u jӫ`(y0&U,sXvU|[!%& isUAa:s}v?g nV(xl ٝ<$(&΍fOTJ:3 ]w797kb⻦*{sbe>ٌ䭟Fr"_qXj漝$TgH&ɳpr偛̚L5OU<ӝ霑LU m.PhL ֚[<0MZՖs#aCl) dadѱy:Ν7-A4Pv@n7&Щ8]3QVq@Ol^K !h qB WP u~3(J#˪H|P_ej,qdP5kY{,IVXPCq<]/8ՌE^Q*Η6џ`~Q8 FDQ,Dz4b;pj|'~{Dlee,pk6&ihAbs-ɓ3^~.En:&+=JJ%7QF>y\$ê"#躦 AXZDhE>*p0N5SK y\6O0XOQ 䰿ۨc> <ڧ:b5F! ATؠf[aҳ^9ZSjy-Kv~!\m1V@59b1O # T=wup|ko\X"JJ 3jɦH[_jı}bf1԰KM32T7S(R. ^+EBUG"2D%#ߩUݣrDWr ;F"-ukj+*/0_%l ?nNMCڟo- #$iAzNąKaC!s tj-U0ߘc_jdBX9Y!ي"bxSj)$Dy LwbVKw@( 4YWWGgpnjE= ]ӱ!DPmYLSͅEKcr)ҵL7V3-0=VcDu8~ιuRL&a] It:PnM[#~$͜d3*f R{i_KtLm=2a@|H]Xf;TYGpIn1;%O0%k ZNZtcL%䑊yJ:c peꈜz;<e}.^T D\?خjG:dWܮ1pz'l4Z:ݚ3~(O:.:2Yq#U[`V0>Jg UcN+J U,q՗Ȯmȩx]雞i6\pU_ T(H;cXnLg\?& ɬh[7Z4k@w#=r%@^TW5tOK/FmMM3$ |K@[Q3!#3wKR\OaeZ5d$]/=Ł#_6ʞ }i]c>['dlv[BޢN Gey0#ɗUscY %eǫ$b J1:00_ܧ:vsYf98z bUz^k,EE[~0yy+ߨ`j#C&[&Vתr-t "_3=iGfC@S<Ω[R{薎; _Lܠ>9z9'mCI.Jû.I}勵PvZ3>u\1{W6ZT0P݈ ̹4c" <h5^ @9rW,%٭ro0qaǡoتyOBwqEN2N %̇ʙE>,rt44,W^f,M]?+yBXSl)Ϊb'G!DU|?^W˫%oiC$E5hf%7{D S0)8kd(N 6DAs*j-nOPJ<_I4L6.Xlb eY6v ^؁*يMEmܟkW'\:ttz(v(#@ECHw6xtJ&ǰtt0s(Q Ӗ!FgfwzaZ> [xOA]qaʗ]THMODž-  yYId# ` `UD Z`2ox@J~[Ȼ|w=yn(Remڴ0m='$[.4 Ӑ}@0"TNDOyCp0%tH[xϩjy."H`f׀z\V\Ȅ tO[XNc(pzJؐב-5q{vRjk߿O2}CVCr=EqFZfRtS)4.M6\|dr6]eYdm1GDS(C&5fx+"\fXU_ D`)6R}g(d*{Sl[KƕwE7L9ːf1G]هܯLld-Lg h7LKqRPp##%j+>YZc@+Aq8W g(P<4f %M+Tev! }]+SkA_g:Y-x55T Sڛ^ubM  C Ec 6j{VHi:HHf]Gp.W& R^N.vhh4 $&uMQ¬!'ᑄ^S\9Hg6l٢ #Z9ӬVM]1J[J3b˜*nA;$2w"ZR Se dTևa(7z?./ФzyGsk@(7!C&8EA[+-Ѱiy#S;4Q/dP +(mHb%]VVVbSϰi.Zt6gG,yz a9^)85hP3bFxp<{<{HO #\s(Z3+\oOWc! 4YB:?”2o6CHq^߀Kd+ր0:e{rHz͠gKpL{L_5b' Kց GT'AMhg{ FY&u/v/` ng}S撺b8ua'|ҝkq3 QLl c({z+ڶ0Hʘ):ȚEK_+_<Դ6:i@E?cso&cM7:2; 4~óyB3S ?(3d)"v;Pma5ujnl$0`Hs1tmi-H&Mtqf؂dj5ߢ+b8)[$.yb,t(\x٦ l!=74c;]sd54Ha!fؗ\)H'.7x켙g9 8徤0T(δ׫_9iGE%͆HwQ ӛ RDnp(OA'$5NA/f/1b5|Hp,͘U;6F-VxDs5Zg]2S]:/"U!T1(ˠ?,|ޟ! F7TZp/atU`j!r:$@דN`*V=eYجWp/)tX #z[QőYe-BI5ӥ5,JS У^4OJ%B hJ~E?vb2&ޏv߹Ruy(.g^.{cr1YL7C.)m0%i*9$y,*ęE[!N$-= @f|15Al+cc2&L VdBkg|^?Cn&ځxltـ㉾؆ dJDwZ#LZܲ\2S)qk0DSw^$s_By W1hZ^RjQ*#!'U=ȗp2+g鮵rnLo0Ətm+#Oui %jP(+Y1R&[M{}Eݷkw> ~(_i0ȗ'iK_k2Wxj !G6mAga9MhȡCXv@s(:۾?RcKRb1A,E K87?F?S{AF{< ;ιq>ֹ҉+V6#DI|GH:k> /kX>Ȧ#R^Pc8;x>ܚ aCyDi E5B^g|i_ HpPtvszcQ%P"I^=DC:{MR˂GOq䰸$ ,$E+9-t)}{gSboP<"$Cƭ]{hzIﲢ47ȭuXS}kzofU >0s:ۂȥq^}Q2*G!"VS K3Bݿ,K!₞b)Sہ夵)oTܨƙ|8*^wxcy0iԥ UGJ LDl0qނrHh$[o7':AR#p lc̀\(R(xGwS"X$|VH|p&&É3wk_ 9}ƕ0>IZ;4kj  0egQsN#;܍ $/gu,Uq Q9k Xʡruh2uOCd5J}9v$}n>SMJgNV#9'c +C":r[6rQxOf\iUic3Rts\ZELN1TW >5Nc'{ސW B/P,D wHQb96>7b?ws1)o$y168{lwHt&ӲP&Gu0#U$N`Tr'Oi+rXЏ]fUݨO፹+%Vb@lBzY*6AUePSN*0kƨʼn|5$WtƳE^VW(PH'IbpЩzXQ*Gg=Rse!m2]ԸD^w3W)vf⭣q0#ͤ'$l Јpx6e*JV}U{ӝ:b39]iFQ.{~ݡ@v ZHu+e#Jo,)`T=o BkP>my$Ubi@qCWRUOh7=M ?Jk褠R{݈ {թ$>NtN37ސP/&O@=G~B YZ