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: