On Fri, Oct 19, 2012 at 2:59 PM, Thorsten Leemhuis wrote:
> On 19.10.2012 22:54, Thorsten Leemhuis wrote:
>>
>> I'd assume mesa in Fedora needs this three patches:
>>
>> http://cgit.freedesktop.org/mesa/mesa/commit/?id=0229e3ae41be109ac423b2eb2ddf79e24b799d60
>> http://cgit.freedesktop.org/mesa/me
On 19.10.2012 22:54, Thorsten Leemhuis wrote:
>
> I'd assume mesa in Fedora needs this three patches:
>
> http://cgit.freedesktop.org/mesa/mesa/commit/?id=0229e3ae41be109ac423b2eb2ddf79e24b799d60
> http://cgit.freedesktop.org/mesa/mesa/commit/?id=2b8e90a33826dcd30b0cbbf464fbd191bf299d38
> http://c
On 19.10.2012 16:10, Jerry James wrote:
> I'm working my way through Rawhide rebuilds for the recent OCaml
> update. One of my builds failed last night like this:
> […]
> File "ide/coqide_main.ml4", line 1:
> Error: Error on dynamically loaded library:
> /usr/lib/ocaml/stublibs/dlllablgtk2.so: /li
I'm working my way through Rawhide rebuilds for the recent OCaml
update. One of my builds failed last night like this:
"ocamlc.opt" -rectypes -thread -I +lablgtk2 -I config -I lib -I
kernel -I kernel/byterun -I library -I proofs -I tactics -I pretyping
-I interp -I toplevel -I parsing -I tools -