New OCaml 3.11.2: inclusion in Lucid?

2010-01-21 Thread David MENTRE
Hello, A new version of the OCaml compiler has been officially released: OCaml 3.11.2. This is a minor release that only fixes bugs[1]. As usual with OCaml, if the OCaml compiler is updated, *all* OCaml packages should be rebuild. This is a not so simple task that should be done in 6 rounds. We

Re: New OCaml 3.11.2: inclusion in Lucid?

2010-01-21 Thread David MENTRE
Hello Michael, 2010/1/21 Michael Bienia mich...@bienia.de: I guess Debian will do binNMUs for the rebuilds or are uploads needed? binNMU I think. My questions:   * Should Lucid integrate this new OCaml 3.11.2? (I think so) As I'm not familiar with OCaml, I can't judge this. But a quick

Google Calendar for Other Projects

2010-01-21 Thread Dmitrijs Ledkovs
Hello all Not sure who to ask. Can someone please create another Google Calendar with the same editing policy as Fridge for the use on https://wiki.ubuntu.com/OtherProjectSchedules ? I'll be happy to keep it updated. -- With best regards Dmitrijs Ledkovs (for short Dima), Ледков Дмитрий

Which packages for Arabic and Russian characters under GNU Emacs?

2010-01-21 Thread David MENTRE
Hello, Which packages should I install to have, for example, Arabic and Russian characters under GNU emacs? I have tried to install xfonts-intl-arabic and emacs-intl-fonts without success. Best regards, david -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify

Re: Which packages for Arabic and Russian characters under GNU Emacs?

2010-01-21 Thread David MENTRE
2010/1/21 David MENTRE dmen...@linux-france.org: Which packages should I install to have, for example, Arabic and Russian characters under GNU emacs? I have tried to install xfonts-intl-arabic and emacs-intl-fonts without success. I forgot: I'm under Ubuntu Jaunty. Regards, d. --

Ubuntu + Chromium Live CD

2010-01-21 Thread Jun OKAJIMA
This is a live CD, which is a hybrid of Google Chromium OS and Ubuntu Karmic. Try it and tell me your opinion. --- Okajima, Jun. Tokyo, Japan. http://www.digitalinfra.co.jp/ http://www.chromium.jp/ http://www.chromium.jp/ MD5 11757D16E3656760F30CB711158C38E4