texlive-prooftrees-8:svn43184-24.oe2003sp4>  <@PT@7!.ܶujG7oedopeneuler@compass-ci.com G7oGR sY~CFiJRs~]%5=k$۷<cN:B W0fź?te ZC:I#F?}"reG_:V*5ylD:qS򃶗q3PAƇKxuYٛWS"+t3#\1-T΄V:r*;=~ Wu=CcTS f!b"(bU?oxdXFnhxra+ٿv.jGG@6)P3۫h󥋅$-wD\ \FDw`hnQ~#V 08Ee (ڤǸΡBP[f?sxI܇Νᒮ$4b0f83d27f0c48f6417a0d8c5533ee20b7a45d593a25a8d5cb66a21f4e682789e249671033614454a467010c70bab56e8c0b3be8LPj6ѻ$>: ? d, 0 Zlp      0L(89:FGHIXY$\H]X^b +d +e 0f 3l 5t Pu `v pz     Ctexlive-prooftreessvn4318424.oe2003sp4Forest-based proof trees (symbolic logic)The package supports drawing proof trees of the kind often used in introductory logic classes, especially those aimed at students without strong mathemtical backgrounds. Hodges (1991) is one example of a text which uses this system. When teaching such a system it is especially useful to annotate the tree with line numbers, justifications and explanations of branch closures. prooftrees provides a single environment, prooftree, and a variety of tools for annotating, customising and highlighting such trees. A cross-referencing system is provided for trees which cite line numbers in justifications for proof lines or branch closures. prooftrees is based on forest and, hence, TikZ. The package requires version 2.0.2 of Forest for expected results and will not work with version 1.ed%dc-64g.compass-ciLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤edmQ3ed7XTC5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb38191f8225499666528d99e570dd3d1bfbd67077b3b91d4f993b4fb0de5de63crootrootrootrootrootrootrootroottexlive-2018-24.oe2003sp4.src.rpmtex(prooftrees.sty)tex-prooftreestexlive-prooftrees    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)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:svn43184-24.oe2003sp4texlive-prooftreeslppl1.3.txtprooftreesprooftrees.sty/usr/share/licenses//usr/share/licenses/texlive-prooftrees//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/prooftrees/-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 textUTF-8 Unicode text, with very long linesH~'K,+utf-8beea0669abb9b1d9eb571a63e4c4512536fbc830d8d28938afa402b4e5fd60b2?`7zXZ !#,=&] b2u jӫ`(y/۱3H՝wQW^˔q6`3[V>Q!* =\Kovi^O%J] Z+AJGơփe㛳 ҫ-:2K=kf\'mbǢ-WtgI$62t)YԴ&7p(Q?TH zjdi]2̫a4!Ofŗ:K?Ѹ:" ߚ#Z?&"D6 փ{KXZɁJFX@ /. '͌~k|](>V}Mce Af]ܕ~ :>0=ڢ7\2!.-q%{4`Z&ȬS\ ef??esB=Da9>6kX޷@Qeod~Yvb?3Gj1 S%cŀzK6j#(gCUM'Dִmdk4Px]>L p-JUdA]Ny"zȺ_FIe1e*R ]n_<9 LKR] \vkPɚ%[<;y ,f2V:@'<>1ki5J)0RBVIA9oe*Fy̗RZCu_VF=NkX)񷨹 \SF[ZܢD x샶$Q*9O`KdYF}KZ:"4mˮ)s֙RP"b0v CȒk|pRr5юf.aGscDs%49C_3#)I=jjs!=Ha7hԗVeZNҊCQULanmư Uſ&L gKK Q aᆴ+K@F}N͋<Ʌ؟qLwތ6wlnm35 MiͮqJfNC2J*θr"T%_☝,43y5*!{>vYE~t~wh#$p)X{<*2RJn% $?49QtBYT׶\$^l+RxJ*0 (v?}nxGM9e=Y\YEW6&M]! 0U{4IWB[o+'IwgCUK@8[[fQͯו & Ueq]3OcF#e%3p#p-f>0t!#-kt^{!Gy-V~Mx;\1wʘFsqA+ӐIN!&Bx#Uov-MQb ÁY;9> 8覰?q{wVfdP8%0(8Ѻeekx hu<%n%ս.| T;үO"u)_#y?V#̹i4КF寕DRf,T}_lbBH"(eDk%J==h[.Pd؃p^jGQAy@R|BҰ?* A4Yͼe5zÜ.*d/Jr<+H/0p%A6m%m";^K[@Q ?oqE*O.jaq5!«`γH=є4ՠW e}zDlȀg+DDN_Z^Q*H6"[#MOPh|5XcFJ"?ʍG\ 0:I+Q\VtP{7Ƒ9k&B#PRYNHeֵYu96TyC$"5cg#pޭe Q8yp'EMFsY줍F7/IyQz^^̎I#Fvsf@U/@ځd{P]#'{(R#FNRشQwB@.,#b$E YS6K]62֒Z-# FCPJrymTߑ hfo|[琅7 Ej_×E #l|mw,ǫ ?^3[IXҸO7NJySakBNo| cwmi)4gi{k+,̙ 0ӤQvY>#qTCPR#̂'k kX˽$UOS"T&+5MweH}HrzW|~dS/L?'g ?o==;}*$K**YH2wfDwzUAM,h]E7ͪQvD }V d%+h&mVDGwb(yn?=WRD6n'@|O"RDo`jrS'/u G\=[W2hItt?,3U3 rf7*Y?0= WAh]&,G"V,,HN#/IPmTޱh𲰱|32 c?3?V\,}u[kD[& G qB}-.$vē', ?PxO~7Rg6ɥ9 <;!m@cCZWM4].rً:듈:b(fEW13_Bp? g:~thPhNDJ'3Ep =f Zy5kB;gԀ eHYI ]r($Ճ`cú$2 buh">3J]Xkh0Vh +f2Qc[I䃒xE:L3n#m"B;m,j5X wVj~wQCRVLTx-$Of-K @8DhR0,_[M$\/+:rhGRxǽ8MߜgYPz_>T+v9Ex5\K/1ڸ}h\Ew xKÀ|>`Ӷ ' 2\] Bx9{7`6qpE[19 )gքjjl ?`AҪw;~tQVA]k%PŶ1{+%I0e(ev/ƬcSDrF7ܜ1Ì*㽸֯:+MGfC*=av:wN~ g^`G"򌍫ohM7UۢzSryPkmQa)Ĝ5 U@#}Q+M]\uAQnRj yJ'gZʺPR72s*%vNm^3Rρ[Ko "(k|04/U ِj@_oswhܨZ~ϞӫFIr>BFKRgJ|^_Q oǁ_]jp#/e&a cEǵz4{xVE軻Mm+PXYX"y&xdؚ`Vsz@28"#H# A/ar? !) ' "3}3+\ۨԊ4m{7|q}i*IΐfR)E{fCD%X}m,,-w0sm\,%\j/_pzp s5Ф>0B8.>=%0_$x\cWt(a!˧?Ǿfg&E7滄L$UR [h(JUJEE'7R/#F +(.u<;=0Usр,I߉|vɟ!ba1%ja>G<N>$XUm]gT:`94@/+H,(齢^N$ m[QAfTd&2^])Y}B^݈ ;zeNܫ>%`_wPh2I<v=rEh9Y)UyY@ 3cܗ kBxzV-8.CW:aL1`lώ`4Il}vL? ??drӋ٠J*0 2 se>AU1|Pg<%rqIԲB(Iґo6YDMa (Zvr*w8a`RT#ܾ֥L{x#TY-L,{^DTEžK@* d,u :U 4ЌM}A"RP4 4 K>{wpӷK\G"QYj0l;@ov^H0xxs$s=TLqZ8uM\ԋWn]IKHZǎ at;0MV&ݏ+MS<0u;YߐrVUa?$JR N[ m[Qv(Ƿ|\.WkԒc/1rq'\6'P;i[t+n 6tVCS{jKcpN*ӡ֤'1|Ŷ&d 6U,I |7{ka~cUЯ,8>%d䪗) nbku"0lB.WV$E 5o3ѳ H :ˡZE'\HϻnpL̓un3K^~SUHK<éA)hrL~i\5{4p;/v `N~zQE!Lc{ICbB;^=/$'L2͞D|U)X Wmʂ7r@s9Y%%'-UEK^ϷV`!A@/(c" 9Mzzw3Մ>!VRѝ E9N1)zkM Lk#;i` w+]8\C8 xG,ӏJ5$@(gsv,bbdz>dqfF{_8z|wVZʯ:%fq['Zs֚sV^~/f a*)^%>fר U93'Hf=2\j5&J=ˠn_u}I*;%"<-kF[Rc '2ȳ&vJNk]ID윶*w>zt%Xw%kEۋ߫|$Vv1 7]EB2BwjԀIEG3,_1jKCha9wV`iLm議_MsAô*R aQf5ȓF渐d"(sI0٬.6ѳZ *l#\Ӕfw>>~@hF<ӖVf^u S)G&`*ƬB9y0 ÛFnr}mp$JJvQ*Ej Mb[zRd{!IjD Z_S`ˇ摽/Q}dM\d |`.o;=l3!S5'{ m X$aRzGz~\/GERtMd$o̩(Xg3*CQϖztī @}Ě摷D0Qās2h`e1V7w},W,F}^`#۱nSze{: ׶v=b6W]#VCHOT{~NM].&b%ؖϊ,0cZ_ bgv#J5[!gt0P쓏,פkPҰ[7a raT:ņ5Oq{%R%uO4[nԾM{Dyf$dxM>%c)Xϸ;/Sv"<~.c '>.OwԡO;j`gFUՀ7= = g5űb`y] UjYe.qB݋Q•%rn晌m oZ+|H\31.'[b?MÅ!iLEAgS*dUc׭NOvW"蕱rZ9~&:Uf( -[sF1EU`g_dϏ4>a"]f 9)5P,HdS)@$]oQ> E#>wl(S b2T92~>r_:ᏁI W=ZI-6óKqRͣ@rJݚHBp I$KbU9Փ~4дNAl=a+뛑@7.[FG,li'_:9d=U:OM hP\$ 5(vb8w1&"n[Wv3MoӇ%|ljώ;#3S$.8f|矺7×+\auf>>G8qRg=dsojU %8J! V8tXg:^ <>-<ڦSG;F'm[˟;{rdQ47_n~5y8d9YR)j{tZ'KMwKǐM sq*82z `Gh^y|\Z[DKI:Pj,q ;כ^YޏT^U1#Acђ򰙧+\XE{#Ue /GՁ s_I .Xt9*H G(mI@Jn}n;^~r8 v>o|lo㢈π-$;)0/;)lmN>Q|TR<4;rJ:Gz N+p@]Bo$ i>R1P ?Bɚи1/l~"Jo-t<_I[qC_0A_skxT Hvzno}lpo6;$3؏ǻ#lͱa;:df1<23 }6F?,ulo`.0s x-"`kRK9Ј<ƨ $bew`|CLGL2^JY0 2ėZu] /*=,G(pkj7DC+m\&Z/J5=:Kvٳr( ܲ~ǂP…jn0yy2oA2c \o'/fs8cP6$W)9P{D!EŭѽR 'ԪT~tR.|PҋeOєxa1e?¦j ZpY-'5L_ Hz $=c<8Ph݇rKfIy}7.yaWߝ ~ŴCO`psMt^eO+b=|eYˑ\«v2U?:3bKO^#}2Kv*"q΄nvY::TˊN⌺N;A-X pTqI-Q> ?e`:U q[ۆ5 Dd^@hgPoo{:)g'Ф%%9us f=||zN S Sr9i`7pGFT!uř^ '}:4aq%&AC%N{c]?QKh2 9r%n#U]L᲎UɺPN=-h/U6)?O' 0yO,B ZeJ' CU &f |1 sh ͥ4qSݔ2"XQ2SFtq fCRkC (La?R^[YьJKCa,i{X9u3-El`8k7ٷ"$;n?+Aq7cSMeh>x@ѻXʁ&j$8zI7e, QT?(ssk(=@3e7XlϹRE73(uy :ZD #(}D FMQEQZplti(CY>*W4rnjEcXpm?^u^qxx@᳒'vrh NpjDw*9諍B}OCR 3u)xhh/ !N.HQ=ʑg<֊ AI0*yN)\MuᲡDּ RbV>^FH_7pe+ EO #V q$Gj*q*w3YsX~im~cT'4 B#*hȿ bύM>mC[u> 9Ra?$*""u32ӪnNuV*kIWr{BE'a/ Imϵ"h-iwCHoEk{lp1.nd4j8e`'ثYWk+O-cZrC-5U$qI,f,"lEp.%qqkwJk oSz%[F]㳤 &_ YKwI2))POi+8}fsoW|L+Ƕo);=wf /Qb|#%MtJ>H8*/%phS$@Eq?T bVE6 Ry:%|* E25aS?cZrS\`W$@`dž e=Xgg'2YJv^ ;PU6ԩ$àEgL fZexvyG!~B7*,S5%C) gg*[Zp:76P!WYPݳ-Y%],i_Ek qYu#|-AtDY87k2SVY FSS7$N-r E`l :!t H  m =R% I6"V5|{DpK4>wNu h?7Uj* ݳZɞ$^)60[KG^Qc]N>}h\#\0tCI ,a|}Gw&fx3Q\bwu*{j(F0Jqs[T*bZT^ q񗺿ޔ?$sB8^C}D.GPW1Hwf#E, $ t鼦 %h' T/4&ɔS䘮n WFM^!A5{m@]}A<@sF0M=Qܘ\UǬ/@F|۳i5Z#a'zOk_r[)J_S[c ?[-ծ0Vir6'M݈?qjbE(8ln@D Abwת6y!uT[ݗr8B#2L $6&&fy[O ] 'm]MrZrT&OUeS3?XWf[,Ԭm2G7wPj'LGlw5`tf΁<=Yq}lrϹt4Ɔ9;\-p)ꋻ]/ ree~= իNP~zN˓vʼn|)۾Xɯx|~UB0lVwOITZ-ԃ\:AS'09hxN[e-Ȗ1o.sg!&2FX/ד},]I4SMR7/CBV,H"Fˣ\)#?tvCWBqL/a]_ntKzpl,K  c."8LQ3hGRmĮKzf]r~&!5U#{j_/[Aݬ8C\' Ӄh#2-U@}? rv,n/anPa%@ݜTeZ}]`p] : ;|J˵Գm<ұ&o﹠@-I ϘA?gv)k Si {b %נCYPgH[WKOG'䜯f/1+ނ4KSq8 XV( vp%b /9PĽиN,=fWs3)55X.h̩N^ d, ǜ%E Ou[ yΨNX0w!c6(yHt"$Ne=axJ/I>Y$¡82uy?3PdB5 f LsnEGu/ t}I^L=5֢1h5ɺK~BzBJK)8]PZ.'%;jOUFp;q $IxӌE.0zN>je#bz/[|)+rGw cf7M=4̾*WZ/>O9wkNi4 5l@G%q]VI*'-W9lf€3&r7!}?yҼ^uo#d|{zܢciI/낎Xuՠ1(m0*XѤ -w׀de1y,` @Vm} hth<]h^90ujsRO} 'J+'͂l_x$!MA00&>b^Wg #1l諊x ܋p)~ϝ3^)CQA$KkTt$jg24i鈪ݏ,WMzRU@O12- 7Q6wrc}b 2u%Y7[n跼W8WL!} 3O@궓w\!r^Q92NTB9$t z|! YZ