texlive-logicproof-8:svn33254.0-25.oe2203 >  A bI}K$fH ;lj%!;ʮ{8>|}6rcz<|bXZl|pIjpl fǤ!(Y$Gv`C&ʲ$ֹe;%r}C]}bR{ `9=t<9٨/CN PaC&dU3MzLy# ^J*&1 4Hlz, z~aa3b49b42eec0df5d8ae82adf9283605a3eef30bcec214c37438c8f49c090addbdffeffde1bc756b396f694586940034056dc4f8-]bI}K$f_>€X`ؚxv@14y4Hk7r3}Ӧeρr-foβ鍔<-4E*RϦ_(b]:z#Vagwf4$_wnbX<' v|1JEpT&֍ԫ;s[oԨ7|b=Ap7^BبB*1= DvٕvKp8$U@ehlzKǙXi/x55`>p> u? ed , 0 a!6? T`x~    < @Pdx   (89:FGHIXY\ ]0^ibcd Le Qf Tl Vt tu v z      $Ctexlive-logicproofsvn33254.025.oe2203Box 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.b<)oerv-obs-worker-01]openEuler:22.03 / openEuler_2203http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤bDQ3b - 8:2018-25maminjie - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Remove texlive-lexikon who requires texlive-wsuipa- split texlive- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initoerv-obs-worker-01 1654537257201820188:svn33254.0-25.oe2203texlive-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 -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:22.03/openEuler_2203/ade59236b5b39993e1ba040648eb289d-texlive-split-ncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII text9J_utf-812b6f0472314c5dcb0d3967ff81ec3729a5717bfa51f20bff4304905626b95d7a139c8c1ee26a7b1e9cb6281e53cb80392ece274ccb19007b0576042ef12df38? 7zXZ !#,`] b2u jӫ`(y-6iNG=zZg!OPuth7hZed:D 7e2*G'߄qu!۽m+1_ []kiKiHi%e2ZÞh zaFk_uLUlE:V"ҭMQjC\s8V%x/A!IXps[_9u VpA#PE6e[8j[6?gÊ{#p[5Z7J[ \Eb['^N'$V%IkBkwEqw9L7KewXhe4I"p2udef+-LDk-}ػB,Fwts;w kTkK: wѯ$ExAtG$7 >~#Wm),?.cgj@pzPe*pVv# |gsA6Ūi-L=:z Fv[@qnqa5Fz#Mz_ڜB3Lx~N{"a+Vf9!;}QnJч"ﮔ 1`?S)wxI:0h17 քjk.9?5ZbVZa35a">5p@xP?zd^4[Fc-/j:K E_4A‡Gۇswm%PN ,$Gv)1*Sm)KG;X '|]16+tJ|?Ձc"w#[^:A#)Jɍ9ny:z-,mDgW 1wr4x<"IbЂZX_٘+?F.Τx>?F˯ݺ t"=O%EF):FꝾO8> EoM4(GXP&^gj2bhP,.u!WFpEq Uy?+?r=N )B"l5͈-ST|Pb<ű6z%d@]]F=juh C'Z@S8řp`졨D٩7ia_JŶ%rXGap9ŋ+{ "l]d.x yAMDs7qݭa{pLvB_7%´/<,,߽GlpT ( ^ C_cg3WNo^_twT Ci7#kExf8?yȗyVY jUDc5<ݝX]A>6ffaȔl#,Dt*V9$񹍟%6aC?d146/7}Y8Crd6׀u2z-1g)ÆhXu5pdiR)14jh+4hk$qI U/"P(Cɮ 7@N=jJo3cLŌ%FԍbOT46X8ַ;`HP\>XFMYA(=h־kW W>(8Sznɞ#}zNpZN%y>M0SӯIqO1;u8a p ||hl։c\I ޏQQښ z>W,f' r1#6"N*= L.ZPd{Umԩ$NnKD$BI+k),G!&їt0R {3C"cc#'+T,mw4EH8ϫ9d:Ͽ$^B3=:3 !x}Eja4JG.6u).3,xF_W> \JA+vU|ڸ$=/Jp҉8ur4Tj ZAAvQfL[נ̀/0 E3T鐵8t4P@IcK= à5^zɌTvږIH=\&kx Y# 兩ՑאzL^JU(ndIZdoeʗȦ"@1*kHO"T &uDk-{UzneưdBsYAPQ%))7ճܶ/J^i4TCy +^ie|I|ud%3Wd `@Ūi++mʯ5 ]PL! 71p{m{ocdwi^~ Cq&x;^?yUIg2,Ȩ73|?=VѬŵ$5!k{i?]a9AZN`wzO߆Jݻ:b$r9E^Zq'^M)!]mr\S4Ud #IwQ 4b>]h/gz-V06e'V92&ޛJ*TRB/WN4{%֋| wo/dxH3y?e7۝֩ţo2rS p)c\r1J424PiyT;Wli×ULU;2چQtةV,y7^VLP'P?A30Fzh²8 #6t/+W3,Z˙j$cx󦠢)1f$QBJ p[TvG7v#2j5wux%S Tͨ\UнM6UTWe;q"c Tā TB3K3vQĈ 62@o* ld"CDN8μeN}rC`$kHf&p57(H}EV>WaC$LN  O^H*uDy`aM>9i 5@ s͆? ~~[[s=AID/4+ȢYR8LFS /鱯Q:\>Iw9#bOFN&Y L@|A۪~X 󥗶Rpj(" Vȩ>c>LNGh%mѐl"-o6V}S8q)Y!. X3'?1olJ|ztխpJ l"-? ?,2e[8Չۓ,fR'x:"`mm.w2 \uN1u_ Q {PFL~8Ϳ{,ưթ*"U:sjlb0Pl6Z)ۚ1+1،;gDU)aqҴN,,٫ˁMY!zr!3-,oYj8$XZx,kV1ccEֽ) ߵJrj8c;O9C-rwݐ /%;5X՜١Iy׾ 풇5tٲVmE[W$y*D+KԪ[*1jJo xuHV!*3vߌѴr0‚`=+3zi:xpN<)ۮf-=%q)3RyJ%թm+I+o>}D-hhY3 u.j*{AW>`p7⍉\Emʮ9)119@_!m2-Q!n0-۴ҙZvdcnSrʋ~3~x+KtnBWΝ,?0^-h&%LDc)%j3}gx!QZB>>{Ի0,ﱆ=bUCfs}>%oAΔ+ɇ315WPox򋖓dV5%!=4*p5v~`$6.ߍ.ڽs?c6b9df$զx ֦o-䒾lJ/ᰙNDsAanN B0m"Dz%OnۺكRx~NJ^c2@)~hK >dBOc篦n5Qi+qr|gQ xF3bY}-KIYxdY+g9Zipv5,F]vqZ2*5S+Hn-ǓSl߭Z@^Zp}znTw GE@ް[5m~i5ĽiIB?>ì@ MCH1uDxj$G7&Y?ZnhFqy⎧VLsT98+[KTmS4{kb9e~QA]oOL0"&<]&ocL&pu4s$>{}Yɫ֨ȅ}ݑ嘆l<1؆3f.4+G<_Dհ ˠB^zʒX2=Ǽz H+_²3c3N0¤K:>7AN QLfTL]NzO?6Ҿ6LКP /'HΦC4A~ʫPoD{YbeJ<d4և-bglG'Sd"vҏ |[H,\8?"59oi|A̐!UH?v] gm_4QXyj&>뀨!g_sn >.-X Oq 9q'S&h`c"ADyb 2\iP V]~m*9C@kJC|jTbkkCX|+}bwTkGӱ&cډE;'V/Im5?0}ҁ4 F*3BO7lڠK^]ót+ $4wTNqESc|:@͑D^"K23>h  IsRDa?yyAD9&b<ṯW`B8= YZ