Re: Fsck stops at boot, how to debug?

2010-02-08 Thread David MENTRE
Hello Markus, 2010/2/5, Markus Hitter m...@jump-ing.de: Boot off a live CD (or another partition) and do the fsck manually. If it still insists to fsck at boot time, hit the Esc key, this should abort checking. I've done the fsck from a Live USB key. There was no error! :-? Here is the log

Fsck stops at boot, how to debug?

2010-02-05 Thread David MENTRE
Hello, The regular fsck that occurs at the boot of my Ubuntu Karmic x86_64 machine is stopping (once at 83%, once at 90%). The disk is inactive (led off). I can reboot the machine through Ctrl+Alt+Del. How can I debug such a situation? Best regards, david -- Ubuntu-devel-discuss mailing list

Re: Dual Core CPU not seen after an upgrade to Karmic

2010-01-28 Thread David MENTRE
Hello, 2010/1/28 Christian Schuglitsch i...@schugy.de: Type uname -r and tell us the output. Can it be that you have the i386 kernel installed instead of the generic kernel? No, I do have the generic kernel: $ uname -r 2.6.31-17-generic I never had such issues before and I have used many

Re: Dual Core CPU not seen after an upgrade to Karmic

2010-01-28 Thread David MENTRE
Hello, 2010/1/27 David MENTRE dmen...@linux-france.org: After an upgrade of my dual core AMD 4050e machine to Karmic, the second core is no longer seen (/proc/cpuinfo shows only one CPU).  I have never seen this issue  with Jaunty. Is this a known issue? Should I report it? To which package

Re: Dual Core CPU not seen after an upgrade to Karmic

2010-01-28 Thread David MENTRE
Hello, 2010/1/28 David MENTRE dmen...@linux-france.org: For the record, I have opened a bug against linux package (thanks Dustin):  https://bugs.launchpad.net/ubuntu/+source/linux/+bug/513905 For archives: following Chris Cheney advice, I looked at the BIOS. I switched ACPI level to 3.0 (vs

Dual Core CPU not seen after an upgrade to Karmic

2010-01-27 Thread David MENTRE
Hello, After an upgrade of my dual core AMD 4050e machine to Karmic, the second core is no longer seen (/proc/cpuinfo shows only one CPU). I have never seen this issue with Jaunty. Is this a known issue? Should I report it? To which package? Any idea how I could get back my second core?

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

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

Why package coq-doc is not updated into Ubuntu?

2010-01-15 Thread David MENTRE
Hello, I just realized that package coq-doc is blocked at revision 8.0pl1.0-1 in Ubuntu since Dapper: http://packages.ubuntu.com/search?keywords=coq-doc It makes this package not installable in parallel with coq package in Karmic and probably in Lucid. The package has been regularly upgraded

Re: Why package coq-doc is not updated into Ubuntu?

2010-01-15 Thread David MENTRE
Hello Benjamin, 2010/1/15 Benjamin Drung bdr...@ubuntu.com: It's not synchronised with Debian, because we sync automatically from Debian testing (and testing has currently only the old version). You can solve this issue by requesting a sync from Debian unstable (using the requestsync tool),

Re: Benchmarking Ubuntu

2009-09-29 Thread David MENTRE
Hello, 2009/9/29 Martin Olsson mn...@minimum.se: http://www.phoronix.com/ Their test suite is GPLv3 so you can reuse it! A more precise link: http://www.phoronix-test-suite.com/ Best regards, david -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings

Re: Huge instability and insanely large memory footprint in 9.04

2009-09-25 Thread David MENTRE
Hello, 2009/9/18 J. Lennard lennar...@yahoo.com: I don't really know where to start. During past month, my machine constantly went to trashing mode where the hard-disk light is constantly on and I can't access anything or even swtich to linux console for several *minutes*. As somebody else

Transition to OCaml 3.11.1 in Ubuntu Karmic Koala completed!

2009-08-19 Thread David MENTRE
Hello, I am very pleased to announce that transition to OCaml 3.11.1 in Ubuntu Karmic is now completed! http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html Many thanks to (in order of appearance): * Ubuntu side: James Wetsby Andrea Gasparini

sid OCaml packages missing in Karmic: still time for sync requests?

2009-08-18 Thread David MENTRE
Hello, Two new OCaml packages in Debian unstable are missing in Karmic, pgocaml and react: http://packages.qa.debian.org/p/pgocaml.html http://packages.qa.debian.org/r/react.html As far as I have checked, all the dependencies are available. Is it still time for a sync request? Yours, david

Re: Build issue with why and libfloat-coq

2009-08-18 Thread David MENTRE
Hello Michael, 2009/8/18 Michael Bienia mich...@bienia.de: coq-float needed a rebuild for the new coq and OCaml and I requested a sync of it from Debian unstable. The build of the new 'coq-float' happened after the build attempt of 'why' so it failed but it's unblocked now. Thanks a lot

Re: Build issue with why and libfloat-coq

2009-08-18 Thread David MENTRE
Hello Stéphane, 2009/8/18 Stéphane Glondu st...@glondu.net: It looks like it's coq-float. It depends on Coq ABI, which is $COQVERSION-$OCAMLVERSION. It must be recompiled before why. Thank you for the explanation. Michael Biena has triggered a recompilation of the packages in the proper order.

Re: sid OCaml packages missing in Karmic: still time for sync requests?

2009-08-18 Thread David MENTRE
Hello Onkar, 2009/8/18 Onkar Shinde onkarshi...@gmail.com: Yes. Feature freeze is on 27th August. Thanks. Done. https://bugs.launchpad.net/ubuntu/+bug/415369 https://bugs.launchpad.net/ubuntu/+bug/415371 The documentation is not very detailed[1]. Should I subscribe somebody else

Current status of transition to OCaml 3.11.1 in Karmic

2009-08-01 Thread David MENTRE
://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html [ There are slight differences in the above page, the above description should be the correct status. ] Yours, david -- GPG/PGP key: A3AD7A2A David MENTRE dmen...@linux-france.org 5996 CC46 4612 9CA4 3562 D7AC

Re: Error while building a package in Karmic, no /usr/share/cdbs/1/rules/ocaml.mk

2009-08-01 Thread David MENTRE
. Thanks, Yours, d. -- GPG/PGP key: A3AD7A2A David MENTRE dmen...@linux-france.org 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu

Error while building a package in Karmic, no /usr/share/cdbs/1/rules/ocaml.mk

2009-07-30 Thread David MENTRE
-buildpackage : définir CXXFLAGS à la valeur par défaut : -g -O2 dpkg-buildpackage: paquet source ocaml-libvirt dpkg-buildpackage: version source 0.6.1.0-1ubuntu1 dpkg-buildpackage: source changé par David MENTRE dmen...@linux-france.org fakeroot debian/rules clean debian/rules:23: /usr/share/cdbs/1

Re: Error in Launchpad for signing the Code of Conduct

2009-07-28 Thread David MENTRE
Hello, David MENTRE dmen...@linux-france.org writes: However when I go to signature web page [1] and copy/paste the .asc content[2], I get an error: There is 1 error. (7, 8, 'Bad signature') As usual, the issue was between the keyboard and the chair! For the record, my error

Error in Launchpad for signing the Code of Conduct

2009-07-27 Thread David MENTRE
Jul 27 19:51:27 2009 CEST using DSA key ID A3AD7A2A gpg: Good signature from David MENTRE dmen...@linux-france.org gpg: aka David MENTRE dmen...@ras.eu.org gpg: aka David MENTRE david.men...@gmail.com However when I go to signature web page [1] and copy/paste

Re: Migrating OCaml to 3.11.1 in Karmic?

2009-07-27 Thread David MENTRE
Hello, David MENTRE dmen...@linux-france.org writes: Do following operations in 6 rounds. Start round /n/ once round /n+1/ is finished. In the following: * synchronize: synchronize source package from Debian unstable to Ubuntu karmic; * recompile: recompile the source package in Karmic

Re: Migrating OCaml to 3.11.1 in Karmic?

2009-07-25 Thread David MENTRE
Hello, David MENTRE dmen...@linux-france.org writes: Do following operations in 6 rounds. Start round /n/ once round /n+1/ is finished. In the following: * synchronize: synchronize source package from Debian unstable to Ubuntu karmic; * recompile: recompile the source package in Karmic

Re: Migrating OCaml to 3.11.1 in Karmic?

2009-07-21 Thread David MENTRE
[ Added in Cc: Debian OCaml Maintainers for info. ] Hello Iain, 2009/7/20 Iain Lane la...@ubuntu.com: [ About transition 3.11.0 - 3.11.1 in Karmic. ] Let's do it (IMO). If you could write a mail detailing what needs to be done, Do following operations in 6 rounds. Start round /n/ once round

Re: Migrating OCaml to 3.11.1 in Karmic?

2009-07-21 Thread David MENTRE
Hello Scott, 2009/7/21 Scott Kitterman ubu...@kitterman.com: How long do you expect? A similar transition took 4 weeks in Debian. Can you finish by feature freeze? If we start now, we can hopefully finish by mid-August. As feature freeze is the 27th of August, I think this is doable.

Re: Migrating OCaml to 3.11.1 in Karmic?

2009-07-21 Thread David MENTRE
Hello Andrea, 2009/7/21 Andrea Gasparini ga...@yattaweb.it: I'll help too, starting from today, as I followed the latest ocaml transition. Thanks! Let me know where we can synchronize ourselves about that stuff. (irc,jabber,mail?) I'd prefer email. Yours, david -- Ubuntu-devel-discuss

Migrating OCaml to 3.11.1 in Karmic?

2009-07-17 Thread David MENTRE
Hello, Currently Karmic ships with OCaml compiler and libraries for OCaml version 3.11.0. Debian has nearly finished its transition to OCaml 3.11.1, only camlpdf is missing[1]. Should we do the same transition to OCaml 3.11.1 for Karmic? The transition takes 6 rounds[2], there are 124 source

Re: Package name of Ubuntu notification system in Karmic?

2009-07-11 Thread David MENTRE
Hello Siegfried-Angel, Siegfried-Angel siggi.gevat...@gmail.com writes: 2009/7/4 David MENTRE dmen...@linux-france.org: Could somebody could give me the package name of the new notification system in Karmic? I would like to submit a bug report. notify-osd Thanks! Yours, d. -- GPG/PGP key

Re: Transition to OCaml 3.11.1...

2009-07-06 Thread David MENTRE
but only a Debian developer could give you a definitive answer. Yours, david -- GPG/PGP key: A3AD7A2A David MENTRE dmen...@linux-france.org 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe

Package name of Ubuntu notification system in Karmic?

2009-07-04 Thread David MENTRE
Hello, Could somebody could give me the package name of the new notification system in Karmic? I would like to submit a bug report. Yours, david -- GPG/PGP key: A3AD7A2A David MENTRE dmen...@linux-france.org 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discuss mailing

[ANN] All OCaml packages synchronised for OCaml 3.11.0 in Ubuntu Karmic

2009-06-16 Thread David MENTRE
Hello, I'm pleased to announce that all OCaml packages made by Debian developers are now synchronized to OCaml 3.11.0 in Ubuntu Karmic: http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html Moreover, all packages[1] have the same version number in Debian

Re: Is it possible to avoid the automatic import of source packages into Karmic?

2009-06-16 Thread David MENTRE
Hello Colin, On Tue, Jun 16, 2009 at 16:12, Colin Watsoncjwat...@ubuntu.com wrote: Yes. Very good news. Please file a bug (either without a source package, or on a randomly selected one of those source packages in Ubuntu), subscribe the ubuntu-archive team, and give us the list. Done:

Re: New status package to compare Debian and Ubuntu OCaml packages

2009-06-13 Thread David MENTRE
without binary dependency on OCaml are also displayed. New URL: http://bentobako.org/ubuntu-ocaml-status/raw/compare-unstable-karmic.html Yours, d. -- GPG/PGP key: A3AD7A2A David MENTRE dmen...@linux-france.org 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discuss

Status of OCaml packages on Ubuntu Karmic - 2009-06-10

2009-06-10 Thread David MENTRE
Hello, After some rebuilds, the status of OCaml packages in Ubuntu Karmic is in much better shape: http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html Currently, only 3 packages have issues (over 124): * pycaml: a new version (0.82-10) has been uploaded

Re: Properly identifying applications

2009-06-09 Thread David MENTRE
Hello, On Tue, Jun 9, 2009 at 16:50, Patrick Goetzpgo...@mail.utexas.edu wrote: I'm not sure what the answer is at the moment, but a no-brainer choice is to clearly identify WHAT application is being invoked from the menu. I agree. Displaying a Document Viewer (evince) or Document Viewer /

Re: Properly identifying applications

2009-06-09 Thread David MENTRE
Hello Soren, On Tue, Jun 9, 2009 at 17:45, Soren Hansenso...@ubuntu.com wrote: You think Evince is more helpful than Document Viewer? How so? I personally think we should keep both, e.g. Document Viewer (Evince). Why not have an inclusive view instead of an exclusive one? The exact

Re: Issues with pycaml in Karmic (was: Re: Adaptation of ocaml_transition_monitor to Ubuntu)

2009-06-04 Thread David MENTRE
Hello Max, On Thu, Jun 4, 2009 at 01:25, Max Bowsher m...@f2s.com wrote: Accidentally or not, it looks like pycaml will need to be adapted to not use that function. Thank you Max. I have opened a Debian bug report and put your detailed explanations:

Re: Adaptation of ocaml_transition_monitor to Ubuntu

2009-06-03 Thread David MENTRE
Hello Stéphane, On Wed, Jun 3, 2009 at 13:23, Stéphane Glondu st...@glondu.net wrote: What about waiting for OCaml 3.11.1 (it looks like it will be out soon), and doing the transition at the same time in Debian and Ubuntu (so that we solve problems for 3.11.1 once and for all)? I don't know.

Re: Jack

2009-02-17 Thread David MENTRE
Hello, On Tue, Feb 17, 2009 at 13:22, richard.b...@blueyonder.co.uk richard.b...@blueyonder.co.uk wrote: What release of jackd, qjackctlt is being shipped with jaunty ?. http://packages.ubuntu.com/search?suite=defaultsection=allarch=anysearchon=nameskeywords=jackd jackd : 0.116.1-3ubuntu1 As

Re: Question about gdebi, what happens after installation

2008-10-14 Thread David MENTRE
-- GPG/PGP key: A3AD7A2A David MENTRE [EMAIL PROTECTED] 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss

Re: OCaml packages status on Ubuntu Intrepid Ibex compared to Debian Lenny

2008-10-12 Thread David MENTRE
that? Yours, d. -- GPG/PGP key: A3AD7A2A David MENTRE [EMAIL PROTECTED] 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss

Re: OCaml packages status on Ubuntu Intrepid Ibex compared to Debian Lenny

2008-10-12 Thread David MENTRE
David MENTRE [EMAIL PROTECTED] writes: Sure. However, I don't know how to assign the same bug to several packages. How can I do that? In the same way, to which package should I assign the bug if the corresponding source package only exists in Debian? Yours, d. -- GPG/PGP key: A3AD7A2A David

Re: OCaml packages status on Ubuntu Intrepid Ibex compared to Debian Lenny

2008-10-12 Thread David MENTRE
Hello, David MENTRE [EMAIL PROTECTED] writes: David MENTRE [EMAIL PROTECTED] writes: Sure. However, I don't know how to assign the same bug to several packages. How can I do that? In the same way, to which package should I assign the bug if the corresponding source package only exists

Re: OCaml packages status on Ubuntu Intrepid Ibex compared to Debian Lenny

2008-10-12 Thread David MENTRE
David MENTRE [EMAIL PROTECTED] writes: The remaining thing to do is to apply this bug to the other packages. Done, thanks to Matthias. For the record, one needs to chose Also affects distribution, keep the same distribution (Ubuntu) but change the source package. Yours, d. -- GPG/PGP key

OCaml packages status on Ubuntu Intrepid Ibex compared to Debian Lenny

2008-10-11 Thread David MENTRE
lenny 3.10.2 1.0.5-4+b1 ocaml-reins intrepid 3.10.2 0.1a-1build1 ocaml-reins lenny 3.10.2 0.1a-1+b2 == end == Sincerely yours, david -- GPG/PGP key: A3AD7A2A David MENTRE [EMAIL PROTECTED] 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discuss mailing list Ubuntu-devel

Re: Pointer to explanation of Ubuntu package naming?

2008-10-10 Thread David MENTRE
Hello Didier, On Fri, Oct 10, 2008 at 08:54, Didier Roche [EMAIL PROTECTED] wrote: I think you can give a look at https://wiki.ubuntu.com/PackagingGuide/Complete#changelog, the second part of this stanza explains the versionning convention. Thank you, that's exactly what I was looking for.

Re: Pointer to explanation of Ubuntu package naming?

2008-10-10 Thread David MENTRE
Hello Didier, David MENTRE [EMAIL PROTECTED] writes: On Fri, Oct 10, 2008 at 08:54, Didier Roche [EMAIL PROTECTED] wrote: I think you can give a look at https://wiki.ubuntu.com/PackagingGuide/Complete#changelog, the second part of this stanza explains the versionning convention. Thank you

Pointer to explanation of Ubuntu package naming?

2008-10-09 Thread David MENTRE
Hello, Could somebody give me the URL of the wiki page explaning the naming scheme of Ubuntu packages, compared to Debian one. I know this page exists but can't remember it. :-( Yours, david -- GPG/PGP key: A3AD7A2A David MENTRE [EMAIL PROTECTED] 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD

Re: OCaml support on Ubuntu Proposal to improve it

2008-09-28 Thread David MENTRE
-maint.alioth.debian.org/debian-ocaml-status.html Give me a little time to have a side by side comparison and understand all those complex build naming and machineries. :-) Yours, david -- GPG/PGP key: A3AD7A2A David MENTRE [EMAIL PROTECTED] 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel

OCaml support on Ubuntu Proposal to improve it

2008-09-27 Thread David MENTRE
at the wiki but the documentation is *huge*) Is there any other mailing list I should subscribe to? Many thanks in advance for any help, Sincerely yours, David Mentré -- GPG/PGP key: A3AD7A2A David MENTRE [EMAIL PROTECTED] 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discuss

Re: OCaml support on Ubuntu Proposal to improve it

2008-09-27 Thread David MENTRE
Hello James, Thank you for the pointers and key words. I'll read that and come back when I have an clearer idea of things to do. Sincerely yours, david -- GPG/PGP key: A3AD7A2A David MENTRE [EMAIL PROTECTED] 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discuss mailing

How an unstripped binary in a .deb package could be stripped?

2008-01-07 Thread David MENTRE
, david Footnotes: [1] https://bugs.launchpad.net/ubuntu/+source/ocamlnet/+bug/180364 [2] http://lists.debian.org/debian-ocaml-maint/2008/01/msg00061.html [3] http://archive.ubuntu.com/ubuntu/pool/universe/o/ocamlnet/ocamlnet_2.2.7-1.diff.gz -- GPG/PGP key: A3AD7A2A David MENTRE [EMAIL