texlive-logicproof-9:svn33254.0-3.oe24090>    fP ;G|`u` 5* <鐅5tB-/l/hs2-bM.|W'aYG>1d.9G`6}k)N/B]:' [F4lLdGmW[/ Fk* kweKq@PQoӥ*}-Pķ)=h]m).G1F`~;p8EL]Olm@l*u|Y;Bd*gq+W_A% Uʷ 4fB8ò[s'y^QԖ$D; ? d , 0 a  +CIP` h p   ,@hx   (89:?FHGhHxIXY\]^bdefltuvz  $ ( . p tCtexlive-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.fdc-64g.compass-ci]LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤f4Q3fS,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 1726655463202120219: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection cpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text7{Jutf-82a25eafa3101e25d74d042920bd0a7f983486ddd4ea6948afff7e5e85ac9b8c147d3b4e9f9fbaf65bfa65cad5b853e9a682d405c355d1888fe98e5180256f87e?P7zXZ !#,`] b2u jӫ`(y0$=E\VY!nP2aG#˓t1 5fiMPy<!m|[㔴q,-Vr9Eesc_1Jm!5B>j(i9 0x!zV$"Ħ1TΩK!3+pIF=$9i3EO$0wWCCtG>S!9'2YS>_"eLBz;!6Ւ(>H ͨ7ھb0ݘ+ svêKMVAN0% P4f:'p2
    UGKle)S؀wN&ރocffx N>jlY%B׮S\98ڒO/ 9vr]lP.V?\w`ax։j5*<*͖Xj3HiJI|:(y2ju&-1um?B# &K ؚŸ*k 4!`,qJif;$tM>5)r%lMz~K  0[U {C>MNg-Гv"kq4MM/ oюQg3"dsjf*Z J-*4!H_9]b#L?'[?n|=[l ΃ɠ/"HV͍VǝU+#ma,>p7KPKX_BF«me 4G,u6,}a%-nMA_5}wk͒a{Yc02%6bK.Ȑ[a 7W-;h|w ;iEzY?²@nh_! S1au]Qdlv=Y ә3f]d 25B39 ޘ 5F fh|(ʾVQB#E 9)ώ=` _ q?^=t&Y ̇Iɂ^GC,+Uf}>Y-V&n離HY>aܑtRyw T.{hdei H9UA:q6a  (/6}h:g >Bp"Ƅdxt'/8"lhe^wA5gI;j[=BGswɁNhIۧn\;Nq+ˊJI@MRH3ŌJ9,lEmM 7%3gkP4xg".;m-QG}#@S >LVvjU4'K%)mڂC׈Bm0|@t#cH&\ڶPRtA//^Z~kNEJ:X'{bKȔ~ND"fh3m432:Ů7+eh?;7;~$oa3(}˭Vp>T9\;v ́Ȫ;K̴KC唻BZ/֤ӜWv3XaW$csG ^ʅπ!N9!ҵx|a&8`;ȤvAo?J. NS:$jՌ-p[`cC\gS>(Bv L߶%^P z(P({{H[%;{/CU0;c-,/_"UHjޫc:[oU SEiq{h v)šw a:ڣc<{8ǧáwhpdT$K%|R-dga**ץe,`Yn;-6 <} >{41̛TbߚQ\5jUf"^Q5?8POV`Z[xX_.N# "*ݕC型xoVF齐sFZ;v,֙נ8G8eak0qwJ釔"\Cu 㓷1^3ɻx&CX`/~KAP$i&GخKL͓}mH%MŸ=x-=wqྐྵ62Tǡ?q pQoYy2\ö%0sP=fSKPvs]3~YlYBC~kXpX;:e4Rƈm'urWf݅ѥ}~{VSyL=<|aU|{$2!3# /=pzUe#}ݻW$OΦVvQ7 ðΌbk%uh,jҹ'A/-&{HThCn`G$(qUC|S+N=L:3"NOd5.mƁP,|[B' OT,˹r2:ˋ2HAAg([go OPwa ̿Oxaű{kξ5C?Զa/_0Iq3ev,6@z8pd}9߾dQoFJL9OյpK3 D;n]r2s"$ۜzom?d F'ϪĉkK`U1nK=Bx!J \u-VөimrȂ~] ˹)mm m. C)φ ~ro% 3?If{'Z=ë&V\F{c;¿Ʋ :2.KQF@C>_4!FЍ8N47V["eX>rɠ GiĒp@ރ1B8BԱ(q@:F!nWxam ӔY~ 4t2!^`}^%~/^ǭ_Н>fM{]aߤtVDb•ߓP0ɗ=,Eu"4 8љ::HNB(t52rB h9j~#>^ 專jpt::!XO6)%!-J2Q&(O)5߷۲\;ܢ{S<=_p+qv5ۑښ~NKM),`h!+ۭ>{>N1o\_dNPj#{qӧӯQmKU֥qV%RIێ} AƥRۺl0/'> ~5{*S7ERC/8"3RQ DΪ2I/v>?EIJd[/ =cot7AFJJjw9a QwoR;nGlu-jYlqE-Hg;mLE Sǒ OwOGrtW8ۈnIoEx"vqPḀ-<\c +Bzw< tFSņw ;یQq(bf*sšX$PGLBK};hM p}0pnH8R_Q+^;u_y+07M\ZZKωD"U#jry`3mLۛS%gڐ6s>c;ID`>Y <&U^^Rpz '`Q( T%a! I>"PWItf`t pϧpkS&CbRU6œ,$w,A',AcU |Y]7. ` ssƇa'X?7JCA,I +ތ dt9ᆔUn2+诀3XZ)"$復4'd_@3_L:$\}E>P^ ˙aʄ>n 7c[9<O@N jZR 9shÕIk`:sl1{wF_- &;S,=B{-u !\kOL+BBڟ3`lW2e-Ke_aUNU+&c,Ss1& ˴P\,wD {m90x5;&)Y}ش}{Z( {ªҎ^X8> @6vƃ#dH3FxaciQlBɡ;}~l) h쎊55q2=nu$ GYs96'3%:JdɨnYΚGszPΠڤmF{`7H-\9ȈS 1JvĘHy`x/8%v+Q8DqW3 4wG)]o迅Dg( 謂7TFeF.;6yt.S`^;PIwG6 +sP츙LOdݳ_6٤5We}slBw;؅*F1VJbxAg=+Af'SF'pGӴe\[>h-@\5]V~= YZ