texlive-logicproof-8:svn33254.0-24.oe2003sp4>  <@PT@7!.ܶujG7oedɕopeneuler@compass-ci.com G7oL jE]tte*yB/%,DJ W-*v$xUjehk3Ł96C6,V?k}-M drAGv;qȤ- Ni Ji%3ۊV4뮞y*P5qR%Q"[Ip氫]_L慖ҨAYf{ zTsNTpc :S 44yUל&(8rf9r4d5ebeab35ce4ef37bbb04d20e48f1e11c22352a13084b48d31fd8b595617d063701b6cd492e9db69b1b56893fdadf7ea71d9376,dY@%l0 *M-`>: ? d 0 4 e  ".FLTd l t    0Dhx   (89:FGHIXY\]^=bdefltu v z L \ ` f Ctexlive-logicproofsvn33254.024.oe2003sp4Box 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.ed%dc-64g.compass-ci]LPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤edQ3edX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-2018-24.oe2003sp4.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.15.1_k_^$D]Guoshuai Sun - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-venturisadf texlive-wsuipa texlive-vntex, because those packages use utopia license may not be free for anyone- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initdc-64g.compass-ci 1701095205201820188:svn33254.0-24.oe2003sp4texlive-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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection cpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX document, ASCII textH~'K,+utf-8d7bd134a912f7d8a14bf822d5771afbf202d9a2e59e31e843d5d8cca4f8d9b26?`7zXZ !#,`] b2u jӫ`(y/۱Kc)uGI[m=z׷IX8%.<;y=ي1urS2$YִۤX|ѱ#+oHJyxq̛[18` " GՓ:Qf=L(4A=||,aI1Vpze{tݙM1j޲lc aqyǀޖʸ@ H[<-' O$+5A0+Œ1/SdM6 :+D|ԟu!G*_N@_Z=[h (K8>P;4:ozA%=B WS"@Qj V adPr}N6'yjİ3tXX-gm3/KA%c[;Eȧu3%GՎ rvH5i5q7o^t(;|x_*G'>֩۠H}9(Ct}E4#NO a<_uY'`iJK\=@ϖbB:_U0k3틷HlBvWHLTCY,gnR ;oHf)hhylaFZ߰#* ݋G|7pǐ.&)Ï}]4M:h0eBzĕBO͐3qƶBg%d{Xy" 7&"07Cm^ L^q1^@Mg``*GҼwt/ (<5 ':;j'wsfJ)s7|mT񞕛?Bο9Ғ Nj{|h2/r#0RNa'~z$v~xsj xP)1B kO/7c)60Gn83x]=zirMn4@3wӁLs0?[)`Prz6!Rp%@_ %ow?7hv kVH(ƃ&|*+{H`<oE׻B5W?Eazsc)9%ZOU>ܟ-}a {l3`.aX5D)% >i |zBPG{J Ws #y<1:6'QfIRrkbnE\b.%wR ǿQ2`'o3ZqlE:Sf:*K(X`* 7ͷmA!&zuqRyH)8PzΟGU?鋔uEY(k(=Oތ Z,QRn Mp6u'9#6ae>KgyO)0$j~%Ldoe36{L.GlD-Zgk[L\+8;"0R7' [4>j+IgZ<'Zk{32@Vր oؔx^qU FlxRe/nG5 .$:8-Q%)V`d[Ù#?HMPmeΰ7&u:#|RJ#A?ma<,ZwM `vpRѕކaNh>j%Mb(` };APuYU ɗO&u~K7 Lt*lmoI,P'ςEu> $}|'a}i>҉WW=&7%+m$dd}~@)(e"(DDLef'6(W!+5oY5N*UC9@JVSEC_n3E@qY1EH (TC=obwi1=[<=mQ֔VI."!T|5\5s,e% 󪖝/O.OQR$12I㣳Rr[6Iwwhr/))|S5ΖCqUi{g$ yb8 73u`%R68$? !t⡪`p Q%f M䑦` }Z̆oN{)E@UP+'=*elH18 dfCؒcBxv9Fpip yĉ :ۺ3Cu=W5IOA8{ woD3Ss3:Q b nC?˚N]gA{Yf_f` /<4.av 0h1S0o&^(Y(eX#tѬ;x7(MƁhRA4&ϧ=}o0֞d5 A׉BOo7aio`څ[8e ";Ҹ"3k=5jY"t:lAq~R]ˤC<\_tKsvͦdR(Cੇ'"B'EOZ]O7$J}F< jts{`ݐ 0c07RO;ş iFXv^ 5[կ9/,<\aI02]dԱ20BܭѬ1F<5;3?Ȇmk}?Ԑf;ێ0LĆ3F+*`kAS|@L?Q/=wBRWqquCia[YvDEkݲxUnM4x^` Y\sR ^kVZf&ƫTMǗ% xNΏJ&pL3wPL/.->zjL"B5,mVl}GV>$qF/XRE$ gtX0;t54yJj]t5FIq[NX`aiD٤eV,`~Or++ UںeSKl:! V'0"kSdg)gB;7G\H6gnxK]  yQABH E7Z3?$cM*"*=BHw% eQs0d >Y1W5B>3IeA9@iG.`b`ԑ ӈ fĈfk)e6Ti Xrqxn)ANyW M̊?Ca)ߙNKW h6ku]PBlk@MH#$|FIcM2$3e;Av7$TI>+WKd:)aʴ @.t&v!]x}{ܳӃ &^؇" ƏǮk5P m­/&LrfER_$AHNV5_h3] O"stdCGIsń3\Rk)it-O-3t\2K rg;xAoev%M" B}B'kowWi"nԚj5v;:1_ l|is93as,; fztNQ6AsrЃy)$5ĺ&*%F(܊RO Q,ߨ IQ ˮiKC ?Mj@7#9tj`[8>LKNX7>]-"ƶKFhj(9JX ~1A//!pi?52.2hG k3hcͩY _QJq:I P 2m/o =(4Z 7ojrV)jMNM}#POE6s5e3N ~(n cz(W η|*7Y[&0Bq-P*a#RDS]JRkH:qѶqtumF͖XM[)ѯ 4E0CްEz*m5/qOPnf\V:+Ўf`n&.e0jj<D/0Xccc0f",kGRL:cޱʈkS$p_Fř`qgNMʀap٢-yh=ZDV ̶`0(.(]G.OƯM s!%W0PJ*ZA 1\2H:4ʔKx}N8 ,FoB B cYN<t@WZѰ?Poi^7 %|Q_Qk~m20(Tb9[ FIrҰpYQ—@rM{cƟ@M:gEȢz$ 솗W`D&pڭ_ "G l&|Jk`hbmH޼VF;Rkb A$Z׵C0L~?!I;-;1 s6nY6NuJvEFC[3h=T)kBqKoUu4b)+5[TM"_ xRx4*,|J”cIJyژ!f1L@6; YSP;zv8{3rΒd<>d&m#& zhAD0]+)2,{=خlt.Aϗh>qxst$\?|}x8Xڝ |ێP,&v%PgNmߥ Reh)f3`3֔7e$GD2H;_$ v_~ŇkJe# nmoJh+ JC/4L-A t2*KMi y}6]iBZx5'}pץAvLgx7x)}hQQ;~[ܷQΟ)qw*scyj/"mzGb2ckFgT& be8μ4X8v fծk@_GbCJtƨ/?F12O*i J_]B oBuzIN%[HQGZο}NЇ-ۖ}bL<&{~ j/Tl-AtAPʑ@]!wnCAw{_O;ջ9nz>V. ,\-Ҟ#xkdG :kU7?GQg1Д~Ъϙe2<˻--bCp,{|)d4g3cB?7h G0zo?bL>k3ϟ0U{V5}p&#͏b##9>!3b[l 䄦3(XbeH?}eW0|*`<ꌳ,N|-Df~M%v({coY{ wc~1m80覴/kU egڻ'I {7zBOLԽRJ\ oNɦ,Qj~&l}bME"P1[=]181頖FEOY'יoR޸B8Q׹{JYC [>a8'CA4n6B[KHY.%F0wqZGezˠtZ} '+룋yj/WsЯBc9@G] ,'kcv0v"LK9Dt-!_ș8j8v[+Ħ`>"Pe& N+Qdbuw>k6Lh OĪ2&nxh&bDL g<ܖ@I݁iawr/kk|IP&8]6/MhY"PyCm-\Ðs_Ꜫ1L⎠ X*H?fhp(l[sl/C:@lpN^ {M~F ǩk;R4d-ukf5-YLU6=ZB^źvũI]o߮`0cgS3^ vڃ9Kj_Լ3Pbk{gE )M /sZz8I!`Wő;!<I0Co7̈TP QE 46s>ui"FROD"Zl.,VE?.G.0M$ BVX ց+{Z_2=M=y\K~ޅ v#xC?q ",q;ûUO{Gob)d*̬'74b%&VMRqU\y6YC%S(<[vzn[m7O_c$=1|5JZ>'y(L/Wp3Wu 5f ai[;Awb*wpHXN&TxP%'0st=" YZ