texlive-prooftrees-8:svn43184-24.oe1 >  A `YW^^f|ŭ#甦&F9m%x~ovۮl2|Ѹ5N+, 7:2af%-ia$l VuCUJ9b]^ O.X)gʖAT`:ҳaF[cL|\ _<rpixϧQe["UNzduRl,>ҹ? ?T#i`%OwQߧ.b42ac856290aac265de06bbaf7eb336cfe136e9b62656a912e7ac679702b4388edc739a2657f37f7ead5e31fe8f2191f916fc9ddM `YW^^fNcǟºBΚWqZMniRXLy{k@P.4LF-V$pV:$);GA 3Ȍ0˩jO f3:Ak3r;;zȳyTװOҨTE>p= ? d( , Vhl   ( 0 @  ,d(1889H: F G(H8IHXLYX\t]^b Wc Wd e f l t u v z : L P V 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.`ecs-obsworker-0003openEuler:20.03:LTS:SP2 / standard_x86_64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤`KQ3`XTC5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb38191f8225499666528d99e570dd3d1bfbd67077b3b91d4f993b4fb0de5de63crootrootrootrootrootrootrootroottexlive-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 initecs-obsworker-0003 1621920393201820188: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP2/standard_x86_64/51980bddaf3c8722ee4b9b2e86156ee3-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textUTF-8 Unicode text, with very long lines3bX,utf-8bef31df51f4ed7e7e52d7489d2b52167d4f51102106cc3afeec719767a1fad31?07zXZ !#,='] b2u jӫ`(y,w;S :D[u"LHGIr쏪+%X9s|NͰch+ BQPvOɜX<ШM qg>;?4 eL&i5]CtN?_+. b{Ec:9Ȣޕ7)qɸcop\b+ϵOy=DMnJ !Vcm=e~n#ҕRi9lI]W"䶚' :d>VY@l?Le"Tw &:-Q.%`B(9\1rcTr†C\z'72]]b*O-$$x3'1%/hKtѯh,ru/(yަ?N(n(s"BJMk'݆7ɁlCP `J8b:i}/GI&S/ĎMUo"S'P{5iSCTzYAUW KbdW$W~ ?}&!ܹsV])'e_IV(b)Bu(fV]TtOzҺNLX1Q>^w$̄Bduz pcK8(2wT!0bVS3yG47\#迒@X6' 5* OJޥd]V~DQIxDiN!wPhtI+ I5xq~tښ1<+4E8׭NmM+, EE)pX7AuudGp[T{#' 6׻#F p68[ϳ"%^ٰ6b{Wj?GJRY2#䔛Mџ0.|adSnUlnRvdb mSyTK% 琓.C.0Ƞp1 g1?8?ڇZpqTM>GL0L,͒\Kѩ>14b{7U*Жj*MR#{9+۷ɹBQg%i>Z ݷZԞE*B(<;bB=&y^a egVwSWo߮d5N] _ab rn)WK*T62LAE78$<6"נӳ6*1q- bUK. F??FPI(vngU/CBv;$GjR/6X! `;'_l/D1,Z՗_}(YWpQ}߮[ a@ӏJrG\ۮ"7U/.J"nLʥ j'B$t%|}O'ЍKP H`j|j[<ħ㍙uYjxᣦ+q[~cC8I٬G>uAtyh-q \fhebʽ5 I鼪َ@Nqq'@>&"A +`ii31h${[=,a?ƤܢvcOKkrv>l%Slh;9j4; A2@xJD1.ny$Pp:=pѢU[;v7Zc_n%蹰ȑ#Rnvs`Lrs 좲7D$s1ni~2!qͪͅC)Sɧ삳{K2bӝ[?*SŰjv W" 5m-7.[(tvNǸu'Q8p:oXU~E=' U|e86 8U$w&<~%!oE8zDcey^8 47SDQ(R!Bl$Co<]YVK|ë?֒:OJ ͥQUP7!WR!Uʪ.F ^D"u|hQv |*'8-$O&=!q\G#4Wj9ztq*<i[466 3 z}jHG1xZbnxf dk 0fQ6]`P>qpR(9CsBg]06JKT}yS眊1=zY$hLbh̸)mfEYڗJ֬Mvy?SЍ3Pl~)SEee8zE7 "bȒY:(zک)p][_ɗB6pj T[݉8/vsU9Z닃[f rD%wCMhٴC%Qh;s`k [Y)4\ܳהcđ*fzmpB\E77"DW_m':9/O+b!ْ$ٟVSn rߥdrNmCquVRHuHWmV؝+ G?'G mbF̈́*=eVc?eNf]4/iѢi1fx?b7-?@cٶIA՜/;D߂͌飋qTcHQCB3d0M^CM 126VJ0 SK3 *r6}VO$k2}G Xd:IbJ[Tx\6<׵CtW,'/+ݝqM8֪`iȹo Ïż۩Zzd@>>˨:@DyS uc1mXs+&䧬eck] 0uT(7k{Gaߔ}{ ÂSjc>ZL>.>/?-W:NHN&<-fh}F$f*ƽ EjFI5t?'i:xuH Rȁ䖲pXʯ;|P.`&# z樝'[BoAC LW3q֖T{OeKp],Pp+jީ7$fG $Q}d^pMR$874N#y#\U3?,s?4a-TIEfi@jXX䩺bA/$^T6ys2 )n R@Q,ԙΘUbx/lc„7cO4Ήy_J¿>K*W:nOuf7̮kwPLl%.+KӒs\SK8.Ku4SsXVeh\P]vyPB8lKw*E##QLIڀ%Vy6LR@.uj<r^/BI=[wŨ#`-]Fn qZ8Ĭ\m"\Dz7kulҼ‘b$Ғc82[* NS#$b]ı}ܓjrRTSwtưd}\L]NR \`0;[qh4*GdoSZxydzlZ+?ʐ;{דTeu&Րd#zR[jx&xetwfbi|0$ qbwD-/?W=.di xy6JmB6rES&bxBbӢJĩ2|)Psn^\M_NLifc,_ksN:y../꽯fegEp zlk=jo*~5lKB9yܪV_d]O-t̽6# #˳vB(Š]0U(w]! +X<WE|0'9K' ca&/"@Uy f3Ff(Lb-vFU9:2bERӋ&j *C!8cf TM TDM}:R]nΎ?vRrgf =̩$~ݨlb^Y`gUr wZkqzb 1rG#ː r$D2֣zn勱ܻ!O4ЃRk-+ "I+PjE395a&~t%VJb6n}5L2yQ-s~.=#[U;y9]O?\|)j!_2qRWsK9qTx0#g® r/p/&4V.pZgWBμihՖY[ۅ@UV!RL)#|*3 :i׽Oܲ8B.;pvE%fJ m7 lZV/14boUat:Fj  +#:%"3.1,>Z2XlYѧC.s4s(cCe:mA^E!0 |I_GZP#OnýNO=k̍'zȌ̟ⵧ#BqV9 sdj4icW WsxN8Gǿ4ə LXc?Qƪ%-0s|4?~?|8Y3gd(l R7\զX&xA#eFf H샷9poE ىÎ}7Ţ{/ۉl64iZ9eV>+i?glx} FOn^=ΑQ|f_,DzM&oq6V⑛>lgH5#b 8CI`Fb{W|!xy6Qʜ9N\c1\;Ǿ_3:Ćnޑd*5rhҹ0lμ]bI*D4Q10,fKr뻾$ZJAOm!N8FI^jѤ`z)1ܲ [hgF+..Ck̐F{Wm@b`E6ߖEwŌX%'8vQ|T5 ׇ,U~/Aԏ}ܑ+z1 vE1lA]FcZnWҔ& +y2n܊0DxtlEޡL~y]la[{y񲁄XXzƙo \,^TDt¯ ;-)B謲:9չӫ 'IqdQR?:\koX e>VHG0=^ٲa$uX|~e亥!h^Ϫ 8 Aw:b\8sC((C.2 du9*&;Ac9 Җ .ReO,|!P& a ex*" ^[XpN=&X y߁kFzԸ+_Ot ?m>A[x?7qѬF6$x\߿KK4품 ZF {} A(Z=F9` 6AΨ-WʢxTBϜUzTpV tW3iXa#s'ka y`Pb6c)ݎv,ҟNXh=m3n6"I5F̾e?b^a:暈9`0 Q:2 Gu/Ӱ6qD3DEMb8P470 ]mЙ@EcԀ;̊=[܅pFAp+Yk.6 94őww7!cb*s\baYgG&M._r,^b^zOO;xSFozJX56f AGgͲE>,j~K5oˢtS|ܹ PЀ:W>3ū!|||dV7>WgR*Ț-J?`<>*'b:9^JJ aeE) уYHEpe~ [Qx/$3Py~G{,`0:6 M9a$M _psj&MW-NmI*: U$”e]1m"dd+&yτ`jxSO҇6Mw%Kn4z_-8de"sJ!H*k8zrS9sg80zm*qI Qa.:B!*n]2!i%{|/5ՒS(a4 I[6ܽv4vf~V`{cSk#^|)@L߳}OT1Ӭ^tMzZ8#O(?Es+]`yb0I9#AXc9CL"GOM繢v`QPy\{},BJ+5̤y%̄ ߟ. 7˚V`/=+-`ySWInl]emk}sOQ*G_9+MEY}5VҌO9uuu`!n*a:dAkT y75(ph\Z%/F@)7_Q) }&?[{Ytk @}fQ"J$p :ZʔQV.%H$MYjAl$Jvt+*[KiXZ3W{@lXG;Ė59$jr_|`d%~xDA:GW@^?wƓAMKtjPeI |ef؀!J*֔[#_MUD* ',Ii2$GTyNrz zx@%ۅi252kw DP# lYǙe8ppP,;eÝYO 1K੤XXm(Z0(֧Z2Я0Ӓ]D!ʟ 7#XUJ@.`o9ŚwF`y!r hU!HozyETJY\)q]|f8˪lak 5> Ua-P-!'UŏR8|S\P[<ң02\7eZA)H(|fR}8ʉs]T a2 T2lC}8(<֝a*ݕqB,vj`wTlGb6׆N ~n':)2zD5#pb{ W Y"Bp] N—wR R$&43e}0Z R'$x%PHMSlOx1Nc~h4Np""›\}e˾ij| e,CkKm#e:?A.(߯&yU]2ܗⲫ5WM2lnv _0Ejp\Gᢹ @ei|`4 nG:t3:̟ey(%aUj8ȳ3Q( j,iL$hc0*2TV)ֈ芮EGLr~IVrtEagt2E]b?b#Jvf Q QvDG1e9PzchSJirٖOOW+Smb"l:TǸF^F_N;FGk4paPe&֊S&S{?/4_nFs=e(cVm2m "Ʋ v0Ss&yM3s]h +@iem DG'+˻eD(9x:yߘp4vh+М` 0ŻGYjvp"VL'9@& ܁҅HS]{xNdo7<5@[}z:귘~pV鰿CH)L|GBq."9@Q*[WlKŋ0[ vI"# ~Z/JLoTі,U%ȌN7EWHE?ju߅f=<͚p]9ř^ $׏P5I\SQGNlmR ZfW4?x0vo9*Eޞf8?|̌G ;=2]q׏ǠV( *{@\֐x%|MLf MW8 {D59vKnUPӪ{ _?*Iq,RR铍K0D THz$0{e.5Ip/[ [5ax)? W_uA{Hi,(noKҒnr"puT}֌{PA}n=_D(m2ŧXK}WС.i 8VxsV5wQ!m̜В)2P&na ,GK [ !TD46Ցj<:g\F>@dnb}IL S<"ЛgLe?4ǯLf)x$ZgU(~-8a2֊ީCS>fnK 2)#d m˸e¯\4vkɏIBP? JFTk~FGȂsøc,X4߹shX0!jLCb*MTSdMֽaޑm0~J& f0쟯FZاyB&B$&IG &$5@p Q99W̢} wtXOZCƯ ߟY=-#8Go?o*fJAcI&-з\L_H>d/kb8mڸE$HI.sШ4|~\H|/{W< سS>?Íh8XNsב&_%#XQߕ<< f*jTb0t&m}9A(6VK T1=*HKk ^NdnfpӑT=gQPUɅS?k.*?ԑsW\`!V9uK\ :EoIτa˜SpDc#+P&MkQq@1m. (usrKEoAs.a϶1<;; d=fZMQ=^,ix&S m t}pGDž36yfӡ`s"8ا|C.~J:NHX}~=k;i!қujsփ24zKKs[/63Y~@םۭMNk%q:xuLB#5^[$ mAu/vbG3Ꮢ4q4ѣ5KSpm$s1G N[Zj-[; 瑱.⸊Gh$ O9p}Qnd`qP`ŽkfwT`ֈYNM$˦ \ce/Yp:"ژp=!@sJm򞲵hc{+4A1Fr6F+9qOѼJvl_UH#${|Aea^Q!uj2jBu4"sԭPk] ItϪ(G<0s&`ѓ3KY\ӣ355v߅Ͼ0|c->E,o8/tkLTڸfQ}`yU::y#HgϠ{jpܨ0OiY7meFז)q\TR'F%ZXRvIGOZ_-+,J{1zJ,qR q?,GY3PIvM8 7A\9B$Ws4cL3/c_N*ķ3-V )5oSBc5;? G0^wBM < ?==5&+,<uyq9_AB g?0ϝ,\5\vD_7zZ33GΣP$ui^'S }'PxÙ] xzƥge |1F)@n=w? n]!{q/ ?qBraZ_n6F쵰^1 FSd .o={4:QGxJQ*7r08 :WNC6"MZ\u4y l1wu t=p{踯[]m^yB(G:>R'ptYDz%}^ YZ