[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Lablgtk2 and lablgl build



On 16-07-2007, Stefano Zacchiroli <zack@debian.org> wrote:
>
> On Sun, Jul 15, 2007 at 10:36:07AM +0200, Stefano Zacchiroli wrote:
>> News?
>
> I'm working on lablgtk2 myself right now, 'cause I want to try building
> Matita (a proof assistant we're developing in Bologna) with 3.10, as a
> big test case for our whole OCaml 3.10 stack now almost available in
> experimental.
>

OK, i am sorry for the delay (uploaded lablgl only yesterday). I have problem
with my ISP (link is very slow). I was trying to solve this yesterday. 

Now, i am at work... So i cannot do anything before tonight. If you want
me to finish lablgtk2 upload, drop me a mail... 

Regards,
Sylvain Le Gall



Reply to: