<div dir="ltr">I was confused by the rpm number, my mistake.<div><br></div><div><div>[olpc@xo-1e-88-13 logs]$ rpm -ql webkitgtk3 | grep typelib</div><div>/usr/lib/girepository-1.0/JSCore-3.0.typelib</div><div>/usr/lib/girepository-1.0/WebKit-3.0.typelib</div>
<div>/usr/lib/girepository-1.0/WebKit2-3.0.typelib</div></div><div><br></div><div style>Looks like the two libraries are packaged in the same rpm.</div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Tue, May 21, 2013 at 5:06 PM, Daniel Drake <span dir="ltr"><<a href="mailto:dsd@laptop.org" target="_blank">dsd@laptop.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Tue, May 21, 2013 at 2:02 PM, Gonzalo Odiard <<a href="mailto:gonzalo@laptop.org">gonzalo@laptop.org</a>> wrote:<br>
><br>
>> webkitgtk3<br>
><br>
><br>
> I think that is webkit, no webkit2<br>
<br>
</div>How are you coming to that conclusion?<br>
I just checked the spec file, webkit2 compilation is enabled, and the<br>
lib appears installed as /usr/lib/libwebkit2gtk-3.0.so.18.0.5<br>
<br>
It is not as new as the version in F19 of course, but as far as I know<br>
nobody has investigated as to whether that really matters.<br>
<span class="HOEnZb"><font color="#888888"><br>
Daniel<br>
</font></span></blockquote></div><br></div>