OCaml support on Ubuntu & Proposal to improve it

2008-09-27 Thread David MENTRE
(I already looked 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

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-disc

Re: OCaml support on Ubuntu & Proposal to improve it

2008-09-27 Thread David MENTRE
ed of an Ubuntu dedicated developer for OCaml-related stuff, for now I only plan to request on specific synchronizations. Time will tell if this is enough or not. If not, we'll see if I can step in as an Ubuntu developper, judging on my abilities and on the time I can allocate to this task.

Re: OCaml support on Ubuntu & Proposal to improve it

2008-09-28 Thread David MENTRE
he packages on the Debian side: http://pkg-ocaml-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]

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 6C6

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

OCaml packages status on Ubuntu Intrepid Ibex compared to Debian Lenny

2008-10-11 Thread David MENTRE
b2 bin-prot intrepid 3.10.2 1.0.5-4 bin-prot 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

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

2008-10-12 Thread David MENTRE
ckages. How can I do 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/mai

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/

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

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. Yo

Re: Question about gdebi, what happens after installation

2008-10-14 Thread David MENTRE
ectory. You might need to restart a fresh Synaptic before doing all of this. 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-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss

Re: Jack

2009-02-17 Thread David MENTRE
Hello, On Tue, Feb 17, 2009 at 13:22, richard.b...@blueyonder.co.uk wrote: > What release of jackd, qjackctlt is being shipped with jaunty ?. http://packages.ubuntu.com/search?suite=default§ion=all&arch=any&searchon=names&keywords=jackd jackd : 0.116.1-3ubuntu1 As a general rule, one can use h

Adaptation of ocaml_transition_monitor to Ubuntu

2009-06-02 Thread David MENTRE
Hello, I have adapted Stephane Glondu's ocaml_transition_monitor[1] to Ubuntu: http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html This daily generated web page displays status of various OCaml packages on Ubuntu Karmic. Currently 20 of 122 packages are f

Question on automatic migration of Debian packages into Ubuntu

2009-06-03 Thread David MENTRE
Hello, During automatic import periods like currently for Karmic, is there any reason that a Debian package would not be imported into Ubuntu? If the Ubuntu package has no Ubuntu specific patches? If the Ubuntu package has Ubuntu specific patches (-ubuntu)? I am currently investigating why certai

Re: Question on automatic migration of Debian packages into Ubuntu

2009-06-03 Thread David MENTRE
Hello Onkar, Many thanks for you detailed explanations. It is much clearer now. On Wed, Jun 3, 2009 at 10:05, Onkar Shinde wrote: > If you wish that graphviz should be built against latest ocaml in > karmic, please file a bug on launchpad and someone from MOTU team will > handle it. Should the

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 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. Initially, I w

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

2009-06-03 Thread David MENTRE
Hello Dmitrijs, On Wed, Jun 3, 2009 at 15:23, Dmitrijs Ledkovs wrote: > Not an expert nor a DD nor anything in Ubuntu. But this could be > either a gcc4.4 transition/bug or a python2.6 et al bug. > > Does exactly this package compile fine in Sid & Jaunty if yes than > most likely gcc4.4 related.

Re: Question on automatic migration of Debian packages into Ubuntu

2009-06-03 Thread David MENTRE
Hello Onkar, Many thanks for the explanations and links! Yours, d. -- 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: Issues with pycaml in Karmic (was: Re: Adaptation of ocaml_transition_monitor to Ubuntu)

2009-06-03 Thread David MENTRE
On Wed, Jun 3, 2009 at 16:22, David MENTRE wrote: > It builds in Jaunty (not exactly the same package "-8ubuntu1" instead of > "-9"): Here is the changelog of Ubuntu specific changes in Intrepid and Jaunty: pycaml (0.82-8ubuntu1) intrepid; urgency=low * Apply fix f

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 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: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=5318

Re: Question on automatic migration of Debian packages into Ubuntu

2009-06-06 Thread David MENTRE
a bunch of bug reports to request rebuild of needed packages: https://bugs.launchpad.net/~dmentre See bugs with "Karmic: Please rebuild with latest ocaml" title. Yours, d. -- GPG/PGP key: A3AD7A2A David MENTRE 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discus

Re: Question on automatic migration of Debian packages into Ubuntu

2009-06-07 Thread David MENTRE
Hello Iain, On Sun, Jun 7, 2009 at 12:34, Iain Lane wrote: > In order to get the attention of the sponsors to upload the change, you > should subscribe the ubuntu-universe-sponsors or ubuntu-main-sponsors team > to the bug reports, otherwise there is a high chance nobody will see and do > the chan

Re: Properly identifying applications

2009-06-09 Thread David MENTRE
Hello, On Tue, Jun 9, 2009 at 16:50, Patrick Goetz 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 / evince" would be a

Re: Properly identifying applications

2009-06-09 Thread David MENTRE
Hello Soren, On Tue, Jun 9, 2009 at 17:45, Soren Hansen 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 instantiation could va

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 i

Massive sync and rebuild of packages? The case of OCaml

2009-06-12 Thread David MENTRE
Hello, I'm following the status of OCaml packages on Ubuntu[1]. Currently in Karmic, OCaml is at release 3.11.0 and nearly all packages (except 3) are correctly compiled for this release. Unfortunately, OCaml 3.11.1 has just been released. It is a bug fix release[3] but, due to OCaml specificiti

Re: Transition to OCaml 3.11.1...

2009-06-12 Thread David MENTRE
Hello Stéphane, On Fri, Jun 12, 2009 at 16:37, Stéphane Glondu wrote: > I don't know either how Ubuntu manages this > kind of task For the record, I've started a thread regarding those issues in Ubuntu: https://lists.ubuntu.com/archives/ubuntu-devel-discuss/2009-June/thread.html#8656 Yours, d

Re: Massive sync and rebuild of packages? The case of OCaml

2009-06-12 Thread David MENTRE
Hello James, On Fri, Jun 12, 2009 at 16:55, James Westby wrote: >>  * Is Ubuntu infrastructure is providing capabilities for doing such >> massive rebuild of packages, in several rounds? > > Yes, it's called "Ubuntu developers". :-) "I don't want to be an Ubuntu developer!" :-D More seriously, u

Re: Massive sync and rebuild of packages? The case of OCaml

2009-06-12 Thread David MENTRE
Hello Iain, On Fri, Jun 12, 2009 at 16:58, Iain Lane wrote: > I think it would be easier to get this done if you were to stop by our IRC > channel - #ubuntu-motu on Freenode. There we can tell you what needs to be > done, and equally you can tell us the same. I can't to this right now. I'll do it

Re: Transition to OCaml 3.11.1...

2009-06-12 Thread David MENTRE
Hello Sylvain, On Fri, Jun 12, 2009 at 20:07, Sylvain Le Gall wrote: > I think we are too tigh regarding time. I prefer that Ubuntu ship a good > 3.11.0 release than to have to fight for months to get a 3.11.1. I need to think a bit more about this but looking at the amount of work I should do or

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

2009-06-13 Thread David MENTRE
ependency 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 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.u

[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 Uns

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

2009-06-16 Thread David MENTRE
Hello, Following my recent questions on synchronization between Debian and Ubuntu and my announcements on the good status of OCaml on Karmic, I have another question to Ubuntu developers: is it possible to block the automatic import of Debian source packages in Karmic? I can provide the list of th

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 Watson 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: https://bugs.launchp

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 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss

Re: Transition to OCaml 3.11.1...

2009-07-06 Thread David MENTRE
with current ocaml 3.11.0 in Karmic but only a Debian developer could give you a definitive answer. Yours, david -- GPG/PGP key: A3AD7A2A David MENTRE 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify setting

Re: Package name of Ubuntu notification system in Karmic?

2009-07-11 Thread David MENTRE
Hello Siegfried-Angel, Siegfried-Angel writes: > 2009/7/4 David MENTRE : >> 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: A3AD7A2A David ME

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 pac

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 : [ 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 /n+1/ is finish

Re: Migrating OCaml to 3.11.1 in Karmic?

2009-07-21 Thread David MENTRE
Hello Scott, 2009/7/21 Scott Kitterman : > 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. Yours, d. -- Ubuntu-de

Re: Migrating OCaml to 3.11.1 in Karmic?

2009-07-21 Thread David MENTRE
Hello Andrea, 2009/7/21 Andrea Gasparini : > 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 mailing list Ub

Re: Migrating OCaml to 3.11.1 in Karmic?

2009-07-25 Thread David MENTRE
Hello, David MENTRE 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; &g

Error in Launchpad for signing the Code of Conduct

2009-07-27 Thread David MENTRE
e Mon Jul 27 19:51:27 2009 CEST using DSA key ID A3AD7A2A gpg: Good signature from "David MENTRE " gpg: aka "David MENTRE " gpg: aka "David MENTRE " However when I go to signature web page [1] and copy/paste the .asc content[2], I get a

Re: Migrating OCaml to 3.11.1 in Karmic?

2009-07-27 Thread David MENTRE
Hello, David MENTRE 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: recompil

Re: Error in Launchpad for signing the Code of Conduct

2009-07-28 Thread David MENTRE
Hello, David MENTRE 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 while building a package in Karmic, no /usr/share/cdbs/1/rules/ocaml.mk

2009-07-30 Thread David MENTRE
par défaut : -g -O2 dpkg-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 fakeroot debian/rules clean debian/rules:23: /usr/share/cdbs/

Current status of transition to OCaml 3.11.1 in Karmic

2009-08-01 Thread David MENTRE
rly finished (only 6 packages remaining over 124) but not completed yet. Latest status: http://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, da

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

2009-08-01 Thread David MENTRE
n the "clean" target of > debian/rules. Ok. Thanks, Yours, d. -- GPG/PGP key: A3AD7A2A David MENTRE 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

PPA: how to build for karmic

2009-08-01 Thread David MENTRE
"incoming = ~/ppa/ubuntu/", where "" is "karmic", "jaunty", etc. Is this correct? Is there a way to make a PPA dedicated to a given release? If I want to have the same package for different releases (jaunty and karmic for example), how do I must proceed? Your

Build issue with why and libfloat-coq

2009-08-18 Thread David MENTRE
Hello, For transition to OCaml 3.11.1 in Ubuntu Karmic, the only remaining package having an issue is "why". It fails to build because its dependency "libfloat-coq" is not installable: """ The following packages have unmet dependencies: libfloat-coq: Depends: coq-8.2-1+3.11.0 but it is not inst

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, davi

Re: Build issue with why and libfloat-coq

2009-08-18 Thread David MENTRE
Hello Michael, 2009/8/18 Michael Bienia : > 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 Michael! Yours, d

Re: Build issue with why and libfloat-coq

2009-08-18 Thread David MENTRE
Hello Stéphane, 2009/8/18 Stéphane Glondu : > 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. Yours, d. --

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 : > 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 (ubuntu-devel-sponsors, archive m

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 : >> The documentation is not very detailed[1]. Should I subscribe somebody >> else (ubuntu-devel-sponsors, archive maintainer)? > > 1. You should add latest changelog entry from Debian. > 2. You should subscribe ubuntu-universe-spondors. Done for both bugs. T

Transition to OCaml 3.11.1 in Ubuntu Karmic Koala completed!

2009-08-18 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 Mic

Re: Huge instability and insanely large memory footprint in 9.04

2009-09-25 Thread David MENTRE
Hello, 2009/9/18 J. Lennard : > 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 suggested, have y

Re: Benchmarking Ubuntu

2009-09-29 Thread David MENTRE
Hello, 2009/9/29 Martin Olsson : > 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 or unsubscribe

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 upgrad

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

2010-01-15 Thread David MENTRE
Hello Benjamin, 2010/1/15 Benjamin Drung : > 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), which I have

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 h

Re: New OCaml 3.11.2: inclusion in Lucid?

2010-01-21 Thread David MENTRE
Hello Michael, 2010/1/21 Michael Bienia : > 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 look at our

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 : > 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

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? Regar

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

2010-01-28 Thread David MENTRE
Hello, 2010/1/28 Christian Schuglitsch : > 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 Ubuntu release

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

2010-01-28 Thread David MENTRE
Hello, 2010/1/27 David MENTRE : > 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? Fo

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

2010-01-28 Thread David MENTRE
Hello, 2010/1/28 David MENTRE : > 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. 1.0

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 U

Re: Fsck stops at boot, how to debug?

2010-02-08 Thread David MENTRE
Hello Markus, 2010/2/5, Markus Hitter : > 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 of the fsck (so

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

2008-01-07 Thread David MENTRE
for me. Yours, 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