texlive-prooftrees-8:svn43184-24.oe1 >  A `W^^fBd9GD>OΕQḊB@tЛ5+4ڊh'E)d[/ mAyO&#}3q_]E5*RRdYXڶțg =^[ }  ]D\œ{ &t2GR^ڨdC Y8. ĉzJE0!zn#K*?FlOjer1rh='(IvhJ-4WM}ا~˥>p= ? d( , Vhl|   $ , <  (`|(-849D:FG H0I@XDYP\l]|^b Oc :d e f l t u v z  0 4 : |Ctexlive-prooftreessvn4318424.oe1Forest-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.`obs-worker-0010openEuler:20.03:LTS:SP2 / standard_aarch64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤`AQ3`CXTC5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb38191f8225499666528d99e570dd3d1bfbd67077b3b91d4f993b4fb0de5de63crootrootrootrootrootrootrootroottexlive-2018-24.oe1.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 initobs-worker-0010 1621924531201820188:svn43184-24.oe1texlive-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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP2/standard_aarch64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textUTF-8 Unicode text, with very long linesO"DM3$Ji utf-8c25f854497a588662edb38d9e099a18b3b31ec69e34ada58b5b0763618b38dc2?07zXZ !#,='] b2u jӫ`(y,whV7GR /͎\[z v_@-[^ FB !ƕq Kf2 yn@Lͼ;] bt%yfn* B S]Fj:tuVwDDoߡG8u,ijWBXfafY9 [ UP;ˑqQE˱j25~*g0,&xNy$|^+ T}"B|JkxѡNҀmw>+7]ÛBFu{Oy}hRL[#!!93ЋNOMbbX*_z``[q({H97UȄ mkH*~❰nJ,I6,Z59UKCpPN,Zs,>W;u؆$O'NidH"6NPZyV/O/$+[& $o#iBq7 b|%(-[@('^p@]OW }rhFG&lhꎗZZ ]yd%`&i6z%O@-``Xx#Ǧ%O!m@1C9.aUMFZ3'̰>&x]ƚQnPx7/ ldV'XMR'\v]z(`5V)\n؏-M*ӏ#=cCP P#K%0ix. K~=๣TZ|FP}Oj0l@/L?urOom~50=wsrTҐDA iG\f#b5DV]ࡃf\oU1Ιm9'SvzKmyvh mN$~Qijyv=WŪX4FuEaS ݌H.n7:o&l#gTV}D S_4ØY=_Covw24Bx6BFt]7J Pٙb^$?h๻d|rtk#[|JsS)^8q>{kn4Mtov̎Y"9u:N|}Ri-&ut@8pi7I<ݻ"V& m:hɁݸ7$2&Vj8fƑh$;^wEY/|۩lV@0/Q{Py."[ٗVy=6kV4T$s|PVewX}HH5}+<Y빰OK-5ΫG b tMC^ +iU^`1'06TN/!}J< hГ >#`*: 'Yl[t8< 2,@L8$e߭ɦgk4A7>JlZ=X??Xt&-oOM^{I*Ѣ}w Ůr})L%JܦtS' ]ARq ,#rO2( M; 徛i,  c+R}**eEO{Y/w$dÎ6J+|4[axV7NHKI9qI8__^@?`1Bw' Di-0/cBO>cf(]ۢ; w7z1y-7 o(sV,59d!Cc*jyF5̓gT ֳK iÖ j/v»=B$`0l?dž},^$w`!2R2%R6,turjE`Rv$$~b":{V|]Z$':N3zͺNSa Ă<%rbC|J3 Ɋt 2fG|egdfgIso,F#:E/Dib_ l!KûZ^m!F+q.g3d'"HV,2N u0~L[x;iL2!d摵O=EQM ;:h%?Jnz]ҶzdK`k&|nu,/t]jqJ/M[KŦIpmy\[_lp[VvѺis~K w?g,B&-YVDSj=jI6 C`L!-C=溥5\^ۙ:VF*ԓ'2sO9t .}YM@dK[Q|0۝ĕt7_y eazm!O聂x6p!DDgO r#jDKtHGwbRR5\<bPP\oD46 -TB7bh2Wh5jb\@e/hUUhC):xHឈ@H tQHY.^5{G, щ֯ђ_9Şb'L_s] /it<Ѷ%֤—9B\퓝LJ[zi0&u Z)(;:x"22x3r1b`&g_[] i;\-~N·81R8 JxX? ?26maoƺ$Biq bl(YLR wgg %zn HDoXn㈗R)  XpðO~P&Q%QU[ E4#Cϐ-!}i߮GHVi=XʖHυ9Pjf2??}6J]8Dz #v2,W%ݢǔ^^GNՁ{LƒkY_s Yfer =2 Uݧ~n__6m>Lge缚UTϹg 2e-ܻ/ovJ&,Ȝ,>KcYm8 &ϘJ=F7)@hD z>rLܥ5һV;16ss/ ﰜ)!g 5֤֔/IBUb3ۢ"iaU ;hƠN>F9hd lpg3m$D7fފo wzb<ߞwPղ$J@>OFG_d3%/08c2}<]Wib%w^0 PgcD$X(X^L'́[:7(cԛ x3 gvq|pĒbꐑ lC1x•Lu 3kC]0=l͢v*=u(p@Y4 xudLվ4jA|gxXZMh̭nPK6[{4F{p#?'c՝ER[1a_8Ρ7E`;mPaE:F:dm^?O:.oбlʱl\lñMEKf}_53F9 +䍐u>b"V+DKnG^G=̀ߵp$?kg 3l[{wq9:rSM }ⅶ/hMy?:ن yM|4K AË5ELvmr>ΡGo;%hȴV>9S gʖ=?Rmxwc񱕹Ǽܐipzzd?W354#)S!_a 8d% ^ Cڒ4CO`#w*m^O pUmwגc<ΔNLs=Lw1}3I:yd CWu-Z "T&(q+īchY_(5ّ):.ci ,$ PO*C3 x+hX,iѹ-[_|qĠdmQxT 1D7H$~ EROk-J;ܚ|" b٥ʁ#'Z~#p[?wtnT^>S&5=?r)t¼vלʑ v?~Kš8zNB=ڷdd[1xeI|P(b픩璷&C)_R5Ao+B.G;Z\1"MBefjjYQC.6Vn4TMHSC}R"Hrrz2i 蟔mT@bPt?o2BI6 ;mX2mvS>ea6w cN6pB-n<&pڗJšmj_QvSr_>~1/4 gZ.nr7 D9N;8(5-zV`2=RΧ pcӢqFx|t1@X 9]S$\æl!ʎAH{3AOAfBX8ޞ2W v}0K (%@Hys 92ø!X'f 'J,_`3O?Ұ{n@~ B[!걙&3B|2IH7<ߑ& ҾpEE"?9O^Ah$"Gg{Dn/'Nd< b.@),xJ`S}\zt#R?‡S,c~T)rS=tjHg 35K~uӘh3.Bfnu)dp;G[] 2}[p 7"57(oE5^ ets@nf*C| ەzFF-UYMV[.cOsXU׌Z vrk+74<NbvL8+Ffz.pC,IVUsFvkmldeYUĨ5[ٶeϫ%=tد3&;OilZfZgM/LB2y[;CtY'lCԛ LB NXBw]pb)HZ]`"-?% EiD.y=Ɋ" ʼ7k{/(s¯ 6)+?|w28p zmIcŹ7LʈRbu)p05ZmY3qI}&ŌG<6wmߗ7 A2(I; \GB!H:{GkQ@v6R: NNװzH?.r4XeD/O{ vF<>ꤥFI6N syH,@] ǰS21#K-ONCYy7 صL* !rjm+]ʖjoH[dk=2lMYpGF &tکK%;GID`!Pq  Rzbjn^ΎlkWɝcm)9WkMr : m]8>m}aִP^60Vwʐ/m 9'ΰ|.k+a}Dq_Uwl>v+Ux~Ne"j;M n[Bbm(aq#&I5.K3 GE]'3" ;v u,ll{Qv@U(]nݙ7=b^8l>yw`_/\`XUl*`m.Sћ^ "ϔ(1MWq3s GG@dJ ?2͠ EPQ2j,CG$ԡ(z92^Y,; %3:)?\RyhF@ǁ&N6_PPukgb|7* A;[ RlUʌ3߶l詒cc?<}h祇Gfev-!1d$;"B4 kl ӵ$ьS$8 {`Kgf Z,xd#eN(ޡ'ކ{v 5M 94HS' YLU':䪘U_Wv(,p={ĎV#wL-ST6JdcC^깅h\37㘾 B Ήr9I3bl4ך`><VX\9VHpvjGcR Ml'sLJ-hӁ[:̭qoKX<۾1[_SNP=&CV̘ej3(R-.湿Ii D'1eF,l@A͊uo:* Yb@L*~޵CS^9=@@esqEEù\GԹ̤(&kg8l] ɖf% a譴L $h.^sgV(Zhk72_$JyU؆zHzA_w= HMWZR5%D V7ZC|Ҏ g_}"K~rwa:t͂%=C8, ,96NW,#Λ6~vTYj|Ɨb ?#+򸆊u&'$*|߇툜DL*axONLô!8&ү/i")iLS>-@^'jv])|c쯍@#E凔2Κ jdR; $շ=~0͸/QMmF^aqč\.rH+٫'~>s3@2qH 4ցWLsKKʪɞx_ϤYvHT) 6N*CѠEmR iO{Ms=TjQEea E~מӣٓYFmӲ4ů0dC 6-Fc goz?z|0q{iTRx/P.=89%\swDP\+s3TYȷLiq@MD:ńR>J)\0ژ֎E>@ |2~qp!\hqJQǮ{eDri_̄;/my♋p혃Xӝ^km[rm-;ʙ  D_GɨoQz2SkR -wPF"&bGu0^_/yfωb;Sc.Xq'LZZy7Vmʨ]Gwڥ[%*ˀ8DmũR+CY'R25LLpuߢ$*J[hl!e:Rw];U_f8dթ? @KLrG;kf$)^089j֓͜/nݙ8( dữsA)Y 7a!( \[xY Kg73˷VyGJjg>4gPfi:}q[.Äq3^Cli%q5)_iL[RJ,_\}EY{g^>3t c=vitw|1P^4fhxei+GKt1qMv癿@޾!^qP=Re։Vu.5PU<:9Q6G84|vJ8ijpsof!$V< v:F@bEĔ ۻka%Gvi_=4l+^b-p8`% ;'Mjf5o-y$^1:?/:9.ՃҐ8bBOa= KҺXי2Dw: rFމI/i)oVp5EY e㹑H@H?*x]4Q4nb^nTvdQ [/t)B|p#53)2aS[uߑ{Wꆛm}t/bӰuS`갥Lo{5 ,CBXں+ h?VJF@*U!l%ՌO57bGx{ʘcb1OMltz4Zbs\|2e߷Q\N7 zހ{YBۉF=ҩ,Nu.SK~E(^ BzJ Xo| <*;9,jϳ)yigWA]m/Zh "@s!6HfePŨ-aa1SX}w(@ .F%llI@9L^s, B$"m&myhǭOiU|s=̙yk42" s^ Э*4gQ1&Os gu^S*Oj{3/ʣ<<*; !ձ*pV~bҠx@8g]՟J`%CeaM;E7}!x_dhC]sK(jz BJ8RŹGEXTygSЮ\Es/LJEa,bVtN-\YMu3\s /14Te ѼmFN_Xu2XQ/C,ؔĝt<~Z΀ło@k'5/Pe|<)&sx&(X"*$x]A|%xAG 7~BIo{򳀣'|30ԉq*\M^j."={_;O=#)KXFH۞R['E=B9r%W^,&1:T!𛜥bwĕ$С{` WsFָ1Eա=nW-@?C8d?a(?Q+.T6yG{G! Da'HK·]X1ܩY}JlZ y:!7֐-PyFNsCximӅe ضo9;Ew{6?F4o kc5\| -C&.Kakh吤SPpf5|3p3q$u=-xϖ @};σB:,ֆQ4,F3}W&`XW^;K[`~cv-ov!Q%&41E\Lne8)!ɾA>Xnz\󩾽"֪2޿-R}\6|XyR'9TGsf\z%}^ YZ