Bug#516237: dia: FTBFS in Lenny and unstable

2009-04-28 Thread Mehdi Dogguy
tags 516237 + patch thanks I've prepared a patch to validate doc/en/dia.xml and now it should fix the FTBFS using the new xmlto tool. Regards. -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy/ diff -u dia-0.96.1/doc/en/usage-layers.xml dia-0.96.1/doc/en/usage-layers.xml --- dia-0.96.1/d

Bug#516237: dia: FTBFS in Lenny and unstable

2009-04-28 Thread Mehdi Dogguy
Please find attached the patch updated with the fix for the pl documentation. Package now build cleanely in a clean sid chroot. Regards. -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy/ diff -u dia-0.96.1/doc/en/usage-layers.xml dia-0.96.1/doc/en/usage-layers.xml --- dia-0.96.1/doc/en/usage

Bug#525533: inkscape: FTBFS: /bin/sh: ./config.status: No such file or directory

2009-04-29 Thread Mehdi Dogguy
on amd64. Thus, this could be a problem with the buildd machine. https://buildd.debian.org/fetch.cgi?pkg=inkscape&arch=amd64&ver=0.46-9&stamp=1240762400&file=log&as=raw -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy/ -- To UNSUBSCRIBE, email to debian-bugs-dist-re

Bug#522884: RFP: vmpk -- Virtual Midi Piano Keyboard

2009-06-02 Thread Mehdi Dogguy
e : GPL > Programming Lang: C++ > Description : Virtual Midi Piano Keyboard > I'll take it. In the meantime, you can check it at: http://git.debian.org/?p=collab-maint/vmpk.git;a=summary Cheers, -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy/ -- To UNSUBSCRIBE, e

Bug#520722: git-import-orig: filter option does not remove files from committed tarball

2009-06-03 Thread Mehdi Dogguy
m OK to you? Cheers, -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy/ >From 4895d5b985f561e8700cec4366d6151bfaf78da2 Mon Sep 17 00:00:00 2001 From: Mehdi Dogguy Date: Wed, 3 Jun 2009 19:36:27 +0200 Subject: [PATCH] Filter pristine-tar when passing filter option --- debian/changelog

Bug#520722: git-import-orig: filter option does not remove files from committed tarball

2009-06-04 Thread Mehdi Dogguy
On 0, Mehdi Dogguy wrote: > I implemented this idea in the attached patch. > I updated my patch because I forgot to create a symlink to the new tarball. So, here is attached my patch updated. --filter-pristine-tar now also works when --filter is used without --pristine-tar: It cre

Bug#531710: ITP: subnetcalc

2009-06-04 Thread Mehdi Dogguy
Thomas Dreibholz wrote: > > The package can be found on mentors.debian.net: If your package is ready, then you should ask for sponsoring on debian-mentors. HTH, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 -- To UNSUBSCRIBE, email to debia

Bug#527957: Updating the scala Maintainer/Uploaders list

2009-05-09 Thread Mehdi Dogguy
o remove them from the Uploaders list of the package so we can close > that part of the file. > I removed his address from Uploaders list. The next upload will fix this. Cheers, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 -- To UNSUB

Bug#528687: googleearth-package: googleearth binary fails with undefined symbol EVP_idea_cbc

2009-05-14 Thread Mehdi Dogguy
..@labrador 3466 ; /usr/bin/googleearth > /usr/lib/googleearth/googleearth-bin: symbol lookup error: > /usr/lib/googleearth/libssl.so.0.9.8: undefined symbol: EVP_idea_cbc Seems that your bug is a duplicate of this one: http://bugs.debian.org/cgi-bin/bugreport.cgi?

Bug#528698: pbuilder: Name dummy package according to source package

2009-05-14 Thread Mehdi Dogguy
pbuilder/rewrite: false >From 5c553feaf815a29e01e572afb87aaeced68844b7 Mon Sep 17 00:00:00 2001 From: Mehdi Dogguy Date: Thu, 14 May 2009 20:58:47 +0200 Subject: [PATCH] Name the dummy package according to the source package --- debian/changelog |8 pbuilder-satisfydepends-aptitude | 22 ++

Bug#528698: pbuilder: Name dummy package according to source package

2009-05-14 Thread Mehdi Dogguy
On 0, Mehdi Dogguy wrote: > +local PKG_VERSION="$(head -n1 debian/changelog | sed -n's/.\+(\([^ > ]\+\)).\+/\1/p')" || "0.invalid.0" Oups… I forgot this stupid line. Something like “local PKG_VERSION="$(head -n1 debian/changelog | sed -n's

Bug#528698: pbuilder: Name dummy package according to source package

2009-05-15 Thread Mehdi Dogguy
Loïc Minier a écrit : > On Thu, May 14, 2009, Mehdi Dogguy wrote: >> I thought it would be nice if pbuilder-satisfydepends-aptitude gives a >> relevant name to the dummy package. > > Ok; I guess it's useful for people using these outside of pbuilder. > > A

Bug#528698: pbuilder: Name dummy package according to source package

2009-05-15 Thread Mehdi Dogguy
Loïc Minier a écrit : > > dpkg-parsechangelog > Yes, but head is part of coreutils which is already a dependency of pbuilder and sed is available anyway… -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 -- To UNSUBSCRIBE, email to debian-

Bug#529720: crm114: Changes in .css files leads to data loss

2009-05-21 Thread Mehdi Dogguy
of protocol changes. There have been unison and unison2.13.16 installable and usable together in the same system, thank to alternatives. The latter was kept for compatibility reasons with older distributions. HTH, -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy/ -- To UNSUBSCRIBE, email to d

Bug#536383: libgraphviz-dev: The location of the standard library of OCaml has changed

2009-07-09 Thread Mehdi Dogguy
639ccb6250b9c2cfdd3e6e24 Mon Sep 17 00:00:00 2001 From: Mehdi Dogguy Date: Thu, 9 Jul 2009 15:57:24 +0200 Subject: [PATCH] OCaml's standard library's location changed --- debian/changelog| 14 -- debian/control |2 +-

Bug#537433: buildd.debian.org: [P-a-s] Please remove spamoracle and ara from p-a-s

2009-07-18 Thread Mehdi Dogguy
Package: buildd.debian.org Severity: normal Hi, Recently, spamoracle and ara packages changed a bit. $PKG-byte packages have been merged into the $PKG package when ocamlopt is not available. Hence, they are not packages-arch-specific anymore and can be compiled on *any* architecture. Please remo

Bug#532289: matita fails to build in a non-networking environment.

2009-06-08 Thread Mehdi Dogguy
.) > I assume that telling xsltproc to not use network is enough to solve the problem. Attached, a patch that does that. HTH, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 #! /bin/sh /usr/share/dpatch/dpatch-run ## nonet.dpatch by Mehdi Dogguy ##

Bug#532289: matita fails to build in a non-networking environment.

2009-06-08 Thread Mehdi Dogguy
Stefano Zacchiroli wrote: > On Mon, Jun 08, 2009 at 02:06:25PM +0200, Mehdi Dogguy wrote: >> I assume that telling xsltproc to not use network is enough to solve >> the problem. > > I seriously doubt it's enough. > You're right. I forget to push one line in

Bug#532289: matita fails to build in a non-networking environment.

2009-06-08 Thread Mehdi Dogguy
Andrea Gasparini wrote: > > I think you'd want to modify matita/help/C/xsl/matita-xhtml.xsl as well. > Right. #! /bin/sh /usr/share/dpatch/dpatch-run ## nonet.dpatch by Mehdi Dogguy ## ## DP: Don't use network when building help documents. @DPATCH@ diff -urNad trunk~/d

Bug#532289: matita fails to build in a non-networking environment.

2009-06-08 Thread Mehdi Dogguy
Enrico Tassi a écrit : > On Mon, Jun 08, 2009 at 03:51:16PM +0200, Mehdi Dogguy wrote: >> You're right. I forget to push one line in the patch. >> So here is the updated patch attached. >> Using it, I was able to build matita without network (the documentation >> wa

Bug#532289: matita fails to build in a non-networking environment.

2009-06-08 Thread Mehdi Dogguy
Julien Cristau a écrit : > On Mon, Jun 8, 2009 at 15:51:16 +0200, Mehdi Dogguy wrote: > >> diff -urNad trunk~/matita/help/C/matita.xml trunk/matita/help/C/matita.xml >> --- trunk~/matita/help/C/matita.xml 2008-06-20 18:39:32.0 +0200 >> +++ trunk/matita/help/C/ma

Bug#520722: git-import-orig: filter option does not remove files from committed tarball

2009-06-09 Thread Mehdi Dogguy
he basename! Otherwise, some funny errors may arise: "/tmp/foo.tar/bar.tar".replace(".tar", ".gbp.tar") = "/tmp/foo.gbp.tar/bar.gbp.tar" :) Please find attached the updated patch. Cheers, -- Mehdi Dogguy مهدي الدڤي http://www.pps

Bug#532289: matita fails to build in a non-networking environment.

2009-06-09 Thread Mehdi Dogguy
ve not one ATM) > In your attached build-log, I don't see apt-get installing docbook-xsl! Have you added the patch? -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subjec

Bug#532289: matita fails to build in a non-networking environment.

2009-06-09 Thread Mehdi Dogguy
Stefano Zacchiroli wrote: > On Mon, Jun 08, 2009 at 02:06:25PM +0200, Mehdi Dogguy wrote: >> I assume that telling xsltproc to not use network is enough to solve >> the problem. > > I seriously doubt it's enough, as the incriminated line is a > of a remote stylesheet

Bug#520722: git-import-orig: filter option does not remove files from committed tarball

2009-06-12 Thread Mehdi Dogguy
Guido Günther a écrit : > > On Tue, Jun 09, 2009 at 10:41:49AM +0200, Mehdi Dogguy wrote: > [..snip..] >> +if options.filter_pristine_tar and len(options.filters) > 0: > Shouldn't this be: >if options.pristine_tar and options.f

Bug#532970: jocaml and "use topfind"

2009-06-13 Thread Mehdi Dogguy
even if it's possible to make them work together. Furthermore, I won't say that it affects the usability of jocaml because findlib is not part of Jocaml. All together, it makes this bug a wishlist bug rather that an important bug. Nevertheless, It will definitely be fixed in the next upload

Bug#532970: jocaml and "use topfind"

2009-06-13 Thread Mehdi Dogguy
reassign 532970 findlib retitle 532970 Make findlib work with Jocaml thanks Mehdi Dogguy a écrit : > > Nevertheless, It will definitely be fixed in the next upload. > An of course, it's a bug for ocaml-findlib and not jocaml. I guess this is also valid for ocamlduce… Thu

Bug#532970: jocaml and "use topfind"

2009-06-13 Thread Mehdi Dogguy
ocaml development stuff. Adding jocaml-interp won't fix magically the issue with findlib. The same work will be done anyway. Jocaml depends on ocaml-nox which depends on ocaml-interp. -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 -- To UNSUBSCRIBE, em

Bug#532970: jocaml and "use topfind"

2009-06-13 Thread Mehdi Dogguy
27;t work. I admit that the two problems are related but somehow completely different. So please file a new bugreport which will affect this one (#532970). Cheers, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 -- To UNSUBSCRIBE, email to debian-bu

Bug#520722: [git-buildpackage/master] add filter-pristine-tar

2009-06-13 Thread Mehdi Dogguy
tag 520722 pending thanks Date: Fri Jun 12 12:37:55 2009 +0200 Author: Mehdi Dogguy Commit ID: 7de9f129883b95374240fa177948e12ddd17a342 Commit URL: http://git.debian.org/?p=users/agx/git-buildpackage.git;a=commitdiff;h=7de9f129883b95374240fa177948e12ddd17a342 Patch URL: http://git.debian.org

Bug#532970: jocaml and "use topfind"

2009-06-15 Thread Mehdi Dogguy
Guillaume Yziquel a écrit : > Mehdi Dogguy a écrit : >> >> This another bug. The point of Guillaume is that "#use "topfind"" is not >> working not that the toplevel library doesn't work. I admit that the two >> problems are related but somehow

Bug#533217: nvidia-kernel-source 185.18.14-1 does not build under vanilla 2.6.28 or 2.6.30

2009-06-15 Thread Mehdi Dogguy
modules > Have you tried using module-assistant? Cheers, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#535267: sks: FTBFS with latest ocaml-nox

2009-07-01 Thread Mehdi Dogguy
It should rely on ocamlvars.mk (which can be found in dh-ocaml) or on `ocamlc -where`. The fix is trivial. BTW, why do you `cat /usr/lib/ocaml/*/native-archs`? It seems totally useless and appears to be the only thing that caused this FTBFS. Cheers, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussie

Bug#535320: coq: Coq not available with ocaml 3.11.1

2009-07-01 Thread Mehdi Dogguy
ng is still running fine. Cheers, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#536104: why: binNMU-unsafe relationships between arch-any and -all packages

2009-07-07 Thread Mehdi Dogguy
arch:all packages… I hope this will be possible in a near future. I'll upload a fixed package soon: I already dropped the versioned-dependency between why-examples and why in 2.18.dfsg-3. The next upload will fix the problem for libwhy-coq by re-building it against latest Coq. Thanks for the

Bug#536104: why: binNMU-unsafe relationships between arch-any and -all packages

2009-07-08 Thread Mehdi Dogguy
Mehdi Dogguy a écrit : > > Ideally, we would ask for binNMUs of arch:all packages… I hope this > will be possible in a near future. > Just a follow-up: It seems possible to upload the arch:all package without uploading the arch:any ones. The procedure is described in th

Bug#532970: jocaml and "use topfind"

2009-06-24 Thread Mehdi Dogguy
reassign 532970 jocaml thanks I'm reassigning this bug back to jocaml since I find a way to make ocamlfind work with JoCaml as is. Next upload (as soon as ocaml builds) will fix this bug. Cheers, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38

Bug#534574: gparted: dmraid should be at most suggested

2009-06-25 Thread Mehdi Dogguy
I do think that the problem that it may cause is really really annoying and grave (you can loose you raid). A user might be really clueless about why his system doesn't boot anymore. Cheers, -- Mehdi Dogguy -- System Information: Debian Release: squeeze/sid APT prefers testing APT po

Bug#540185: git-buildpackage: Some tools for Maintainers using Git for their packages

2009-08-06 Thread Mehdi Dogguy
Package: git-buildpackage Version: 0.4.55 Severity: wishlist Hello, We, Debian OCaml Maintainers, have some tools related to the maintenance of our packages hosted in a Git repository. We think that they could be useful for other maintainers too. The 5 tools we would like to see integrated in

Bug#540185: git-buildpackage: Some tools for Maintainers using Git for their packages

2009-08-06 Thread Mehdi Dogguy
On 0, Mehdi Dogguy wrote: > > We, Debian OCaml Maintainers, have some tools related to the > maintenance of our packages hosted in a Git repository. > I forgot the link: http://git.debian.org/?p=pkg-ocaml-maint/packages/dh-ocaml.git;a=tree;f=tools;h=e7d1e834c698cf201661e7952865

Bug#548117: (jocaml_3.11.1-2/avr32): FTBFS: Outdated config.{sub,guess}

2009-09-23 Thread Mehdi Dogguy
#x27;s was my fault. I didn't copy the updated files in the correct location. Could you please test a rebuilt using this simple patch ? http://git.debian.org/?p=pkg-ocaml-maint/packages/jocaml.git;a=commitdiff;h=670eaba88b70e2b81a5a8472ec27cd835d177a30 I think it should be OK. Regards, --

Bug#544404: Fail to load plugins at startup

2009-08-31 Thread Mehdi Dogguy
Package: frama-c Version: 20090601~beta1+dfsg-1 Severity: grave Hi, The current version of frama-c in unstable fails to load plugins at startup. This makes the use of plugins (like Jessie) impossible. I'm sending this bugreport to prevent frama-c from migrating to testing. I'll fix this bug as s

Bug#549830: laby: FTBFS: ./build: line 25: ocamlfind: command not found

2009-10-06 Thread Mehdi Dogguy
gt;> make[1]: *** [override_dh_auto_build] Error 2 > Just a reminder: The relevant error here is the missing GdkPixbuf.pixbuf. Cheers, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#549151: FTBFS: /usr/share/cdbs/1/class/ocaml.mk: No such file or directory

2009-10-06 Thread Mehdi Dogguy
se to be able to build. >> Would you apply it? > > Personnally, I do not mind applying the patch since it just shortcuts > the symbolic link. The only objection I have is that it would be in > contradiction with the OCaml packaging policy: > > http://pkg-ocaml-maint

Bug#550344: ocaml-fileutils - FTBFS: Failure: Cannot find "ocamlbuildlib.cmxa" in ocamlbuild -where directory.

2009-10-09 Thread Mehdi Dogguy
e: *** [debian/stamp-makefile-build] Error 2 > A link to the complete buildd log would be nice. Regards, -- Mehdi Dogguy مهدي الدڤي me...@{dogguy.org,debian.org} -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#550440: advi: CVE-2009-2295 arbitrary code execution

2009-10-10 Thread Mehdi Dogguy
he security team to have more informations) Cheers, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#550441: advi: statically links to camlimages

2009-10-10 Thread Mehdi Dogguy
or you can mark it wontfix > if that is your plan. > Ah… then I misunderstood you report and I'm sorry for that. Stéphane's answer is very clear and I have nothing to add. I'm tagging it as a wontfix bug. Cheers, -- Mehdi Dogguy مهدي الدڤي me...@{dogguy.org,debian.org}

Bug#550440: advi: CVE-2009-2295 arbitrary code execution

2009-10-11 Thread Mehdi Dogguy
e > either. Maybe you guys want to look into it? > I can have a look (again :)). I'll send you something in private. Cheers -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#549151: FTBFS: /usr/share/cdbs/1/class/ocaml.mk: No such file or directory

2009-10-12 Thread Mehdi Dogguy
notfixed 549151 1.3-2 thanks The version 1.3-2 is now uploaded. So, it doesn't exist yet. -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#541682: Should be fixed in 1.3-2

2009-10-12 Thread Mehdi Dogguy
notfixed 541682 1.3-2 thanks On 0, Guillaume Yziquel wrote: > This issue should now be fixed in git. > 1.3-2 doesn't exist yet because it wasn't uploaded (waiting for dh-ocaml 0.9.1). Cheers, -- Mehdi Dogguy -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.d

Bug#549151: FTBFS: /usr/share/cdbs/1/class/ocaml.mk: No such file or directory

2009-10-12 Thread Mehdi Dogguy
Mehdi Dogguy wrote: > notfixed 549151 1.3-2 > thanks > > > The version 1.3-2 is now uploaded. So, it doesn't exist yet. err. ^^^ not -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ

Bug#545532: ITP: ocamlviz -- Ocamlviz gives the ability to instrument an existing code, in real time, with lightweight monitoring annotations

2009-09-07 Thread Mehdi Dogguy
Package: wnpp Severity: wishlist Owner: Mehdi Dogguy * Package name: ocamlviz Version : 1.0 Upstream Author : Julien ROBERT, Guillaume VON TOKARSKI, FILLIATRE Jean-Christophe, CONCHON Sylvain and LE FESSANT Fabrice * URL : http://ocamlviz.lri.fr/ * License

Bug#483792: Subject: Using make -j causes the package to FTBFS

2008-06-02 Thread Mehdi Dogguy
Are you sure that the encountred bug is related to freetennis ? 1) In your mail, you say that "Freerunner FTBFS". 2) Freetennis has only one source file which is freetennis.ml. So, there is only *one* job to be executed by make. It appears then very difficult to fail with one job. 3) There is n

Bug#484234: RFP: frama-c -- framework for source code analysis, of software written in C

2008-06-17 Thread Mehdi Dogguy
retitle 484234 ITP: frama-c -- framework for source code analysis, of software written in C owner 484234 Mehdi Dogguy <[EMAIL PROTECTED]> thanks I'll work on it. Regards, Mehdi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#481163: RFP: freenet -- An anonymity and free-speech protecting decentralised darknet system.

2008-05-14 Thread Mehdi Dogguy
Hi, I already thought (as many others) about having Freenet in Debian. Actually, it was packaged in Debian several years ago, as you cas see it at http://snapshot.debian.net/package/freenet Unfortunately, there are these bugs always in open status : - https://bugs.freenetproject.org/view.php?id

Bug#500699: menhir: Ambiguous manpage concerning "-v" option

2008-09-30 Thread Mehdi Dogguy
Package: menhir Version: 20071212.dfsg-1+b2 Severity: normal The manpage is ambigious concerning the "-v" option: It says that "-v" is an alias for "--version" AND is synonymous with "--dump --explain". It's fixed in the last version of Menhir. -- System Information: Debian Release: lenny/sid

Bug#468557: what's the status of alt-ergo package?

2008-09-10 Thread Mehdi Dogguy
can imagine, this will never happen in a package :) By the way, we are in freeze status ... I don't think I can upload it soon. I'll upload it in experimental when it will be ready. [1] http://debian.dogguy.org/ -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#468557: what's the status of alt-ergo package?

2008-09-10 Thread Mehdi Dogguy
show alt-ergo? At > the moment I just had to resort to adding a symlink from ergo to > alt-ergo. I'm afraid you will need a newest version (≥ 2.14) of Why. Why 2.15 will be uploaded (in experimental) soon ... > > -Timo > -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy/

Bug#498485: why: calls cpulimit with wrong arguments

2008-09-10 Thread Mehdi Dogguy
ckage). Now Why uses only why-cpulimit. So the bug disappeared with Why 2.01. Try to get a newer version of Why ! [1] http://why.lri.fr/download/CHANGES -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#498485: why: calls cpulimit with wrong arguments

2008-09-10 Thread Mehdi Dogguy
Timo Juhani Lindfors a écrit : > Mehdi Dogguy <[EMAIL PROTECTED]> writes: >> Timo Juhani Lindfors a écrit : >>> Package: why >>> Version: 1.13-1 >>> Severity: normal > > Whoops, I made a typo: I have why version "2.13-1" and not "

Bug#498485: why: calls cpulimit with wrong arguments

2008-09-10 Thread Mehdi Dogguy
Timo Juhani Lindfors a écrit : > Mehdi Dogguy <[EMAIL PROTECTED]> writes: >> Ok. It was corrected in why ≥ 2.14. > > Ok, it is probably too late to correct this for debian lenny? At the > moment it is not possible to launch any provers from gwhy GUI because > of the

Bug#458267: missing variable OCAMLDEPOPT in configure

2008-01-08 Thread Mehdi Dogguy
able_p "$as_dir/$ac_word$ac_exec_ext"; }; then - -ac_cv_prog_OCAMLDEP="ocamldep.opt" + ac_cv_prog_OCAMLDEPOPT="ocamldep.opt" echo "$as_me:$LINENO: found $as_dir/$ac_word$ac_exec_ext" >&5 break 2 fi @@ -1928,7 +1929,7 @@ done IFS=

Bug#459908: pidgin-data contains manpage of finch

2008-01-09 Thread Mehdi Dogguy
Package: pidgin-data Version: 2.3.1-2 Severity: minor pidgin-data provides /usr/share/man/man1/finch.1.gz but it would be more appropriate to put it in finch. otherwise, we could have the manpage without the associated binary. -- System Information: Debian Release: lenny/sid APT prefers testi

Bug#595921: Future unblock: frama-c/20100401+boron+dfsg-5

2010-09-07 Thread Mehdi Dogguy
es of Frama-C (that's needed by OCaml). And yes, the runtime dependencies of Why are somehow broken since it doesn't reflect the need of at least the version of Frama-c which was used during the build. I intended to work on that but didn't find time. It will be fixed for Wheezy.

Bug#595424: unblock: live-manual/2.0~a4-1

2010-09-07 Thread Mehdi Dogguy
out? ([1] is not available yet) I don't have any clue about the new layout yet, but it seems odd during a freeze. [1] http://ftp-master.debian.org/new/live-manual_1:2.0~a5-1.html -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debi

Bug#596052: emacs22-non-dfsg: Should not be in Squeeze

2010-09-08 Thread Mehdi Dogguy
Package: emacs22-non-dfsg Version: 22.3+1-1 Severity: serious Justification: Should not be released Squeeze should not be released with emacs22-non-dfsg (just like emacs22, see #582156). This is a dummy bug to prevent the package from migrating to testing. Regards, -- Mehdi Dogguy -- System

Bug#591839: squid: simple typo with bad effects

2010-09-09 Thread Mehdi Dogguy
patch to squid.conf be acceptable? > Yes, please go ahead and let us know once the package has been accepted. Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#596207: unblock: smbind/0.4.7-5

2010-09-09 Thread Mehdi Dogguy
on in src/include.php > There are some updates made for the translation files not documented in the changelog. Also, some .po files have their "Language" field empty. Could you please fix that? (I might be wrong here… I didn't check policy for how to best handle those changes/files).

Bug#564556: [pkg-lighttpd] Bug#564556: Bug#564556: lighttpd still unusable by default

2010-09-09 Thread Mehdi Dogguy
On 09/09/2010 12:00, Olaf van der Spek wrote: > > Is a separate request necessary to unblock? > If so, please unblock lighttpd. > I was waiting for a mail saying that it was uploaded. Unblocked now. Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, ema

Bug#596207: unblock: smbind/0.4.7-5

2010-09-09 Thread Mehdi Dogguy
On 09/09/2010 12:35, Giuseppe Iuculano wrote: > On 09/09/2010 11:58 AM, Mehdi Dogguy wrote: >> There are some updates made for the translation files not documented in >> the changelog. Also, some .po files have their "Language" field empty. >> Could you please fix

Bug#320431: retitle 320431 to [pts] add link to versions from backports.org

2010-09-09 Thread Mehdi Dogguy
d link) and in the PTS (according the mail's subject). And there is #549115 which explicitely asks the same for the PTS (and precises that it's already done in DDPO). I think that this bug can be safely closed but I'll let QA team decide on whether they should merge those two bugs or close th

Bug#594777: [Pkg-varnish-devel] Bug#594777: varnish NMU for powerpc FTBFS

2010-09-09 Thread Mehdi Dogguy
On 0, Stig Sandbeck Mathisen wrote: > > I'll get it included in the packaging, and forward the relevant bits > upstream as well. > Do you intend to upload soon? Regards, -- Mehdi Dogguy -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subjec

Bug#560463: libcommoncpp2: diff for NMU version 1.7.3-1.1

2010-02-01 Thread Mehdi Dogguy
tags 560463 + patch pending thanks Dear maintainer, I've prepared an NMU for libcommoncpp2 (versioned as 1.7.3-1.1) and uploaded it to DELAYED/2. Please feel free to tell me if I should delay it longer. Regards. -- Mehdi Dogguy diff -u libcommoncpp2-1.7.3/debian/changelog libcommoncpp2-

Bug#560484: smilutils: diff for NMU version 0.3.2+cvs20070731-4.2

2010-02-02 Thread Mehdi Dogguy
tags 560484 + patch thanks Dear maintainer, I've prepared an NMU for smilutils (versioned as 0.3.2+cvs20070731-4.2) and uploaded it to DELAYED/2. Please feel free to tell me if I should delay it longer. Regards. -- Mehdi Dogguy diff -u smilutils-0.3.2+cvs20070731/debian/changelog smil

Bug#560457: xnc: diff for NMU version 5.0.4-3.1

2010-02-02 Thread Mehdi Dogguy
tags 560457 + patch pending thanks Dear maintainer, I've prepared an NMU for xnc (versioned as 5.0.4-3.1) and uploaded it to DELAYED/2. Please feel free to tell me if I should delay it longer. Regards. -- Mehdi Dogguy diff -u xnc-5.0.4/debian/changelog xnc-5.0.4/debian/changelog --- xnc-

Bug#560457: xnc: diff for NMU version 5.0.4-3.1

2010-02-02 Thread Mehdi Dogguy
t without delay. Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#555233: duplicate

2010-02-03 Thread Mehdi Dogguy
forcemerge 475279 555233 severity 555233 serious thanks 555233 seems to be a duplicate of #475279. The security team considers this as an RC bug. Thus, I'm raising the severity to « serious ». Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian

Bug#475279: Fwd: Bug#475279: mediatomb-common: Don't embedd prototype.js

2010-02-03 Thread Mehdi Dogguy
bjs-prototype maintainer (CC'ed) when updates happen. At least, maintainers of software using prototypejs should be warned before a new version is being uploaded so that they can test their packages and detect possible breakage. Kind regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#475279: Bug#555233: mediatomb: diff for NMU version 0.12.0~svn2018-4.1

2010-02-04 Thread Mehdi Dogguy
he system library has had other > problems before (web interface being completely unusable). > Yes, I saw that in the bugreports. It appears that libjs-prototype is used by several packages. The maintainer of libjs-prototype (CC'ed) should coordinate with you future uploads and agree

Bug#587606: python2.6-minimal: Package fails to install

2010-06-30 Thread Mehdi Dogguy
but python2.6-minimal fails to install: > I cannot reproduce this in a clean chroot nor on my machine. Thus, I'm lowering the severity of this bugreport to "important" until the real cause is found. If you find the cause or a deterministic scenario to trigger the error,

Bug#552568:

2010-07-01 Thread Mehdi Dogguy
C'ing the current synergy maintainer to have some input and know his opinion on the subject. Regards, -- Mehdi Dogguy -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#579028: pbuilder: installs untrusted packages without asking

2010-07-05 Thread Mehdi Dogguy
On 0, Ansgar Burchardt wrote: > > > Mehdi Dogguy wrote: > >> Can you please explain how this will break "all existing configurations"? > >> Does it mean that all people are using untrusted repositories when using > >> pbuilder? > > Yes, it

Bug#588283: override: frama-c:devel/optional, frama-c-base:devel:optional

2010-07-06 Thread Mehdi Dogguy
, override says extra. > frama-c_20100401+boron+dfsg-3_amd64.deb: package says priority is optional, > override says extra. > Package is right. Please adjust the override. -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debi

Bug#570363: Can't specify a user name for the git.debian.org

2010-02-18 Thread Mehdi Dogguy
to honor the "User" setting from .ssh/config Why? -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#476494: (no subject)

2010-02-24 Thread Mehdi Dogguy
non-compatible packages together. Regards, -- Mehdi Dogguy diff -u nautilus-2.28.4/debian/changelog nautilus-2.28.4/debian/changelog --- nautilus-2.28.4/debian/changelog +++ nautilus-2.28.4/debian/changelog @@ -1,3 +1,11 @@ +nautilus (2.28.4-1.1) UNRELEASED; urgency=low + + * Non-maintainer upl

Bug#571435: matita: FTBFS: /bin/sh: query: not found

2010-02-25 Thread Mehdi Dogguy
usr/lib/ocaml/lablgtkmathview/lablgtkmathview.cmxa and /usr/lib/ocaml/gdome2/gdomeInit.cmx make inconsistent assumptions over implementation GdomeInit make[2]: *** [matita.opt] Error 2 Regards -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#571435: matita: FTBFS: /bin/sh: query: not found

2010-02-25 Thread Mehdi Dogguy
reassign 571435 release.debian.org retitle 571435 BinNMU lablgtkmathview and matita on all arches thanks Mehdi Dogguy wrote: > > I think that the relevant part is rather: > > OCAMLOPT matita.ml > File "matita.ml", line 1, characters 0-1: > Error: Files /u

Bug#571574: why: dependency on ocaml-base-nox needed?

2010-02-26 Thread Mehdi Dogguy
ses. Furthermore, if the argument "minimize the installation" was unconditional, then we will have a lot of packages to re-work in order to make them minimal and some extra dependencies to remove. @Ian: You sent a bugreport hoping to see this new dependency disappear or only to ask the que

Bug#585125: ITP: build -- script to build .rpm and .deb packages

2010-06-09 Thread Mehdi Dogguy
On 06/09/2010 01:50 PM, Fathi Boudra wrote: It enhances osc package and make 'osc build' command available. Isn't "osc-build" a better name then? (less generic) -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ..

Bug#562606: FTBFS: unknown options to dh_ocaml

2010-01-18 Thread Mehdi Dogguy
Goswin von Brederlow wrote: > Mehdi Dogguy writes: >> This is a much more informative bugreport :) >> I guess debhelper 7.1.0 fixed that. Can you confirm that? >> > > I can only confirm that stable debhelper doesn't work and > testing/unstable (7.4.11) does.

Bug#564334: cameleon: Config files not preserved when updating.

2010-01-18 Thread Mehdi Dogguy
, please close this bugreport. Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#593544: gnucash: Upgrade from Debian Lenny looses Online Banking (AqBanking) settings

2010-09-15 Thread Mehdi Dogguy
sh/2.2.9-7~squeeze1 > s/unblock/approve/ > Regards, > Micha -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#597117: MLMMJ 1.2.17.1 should be urgently packaged

2010-09-16 Thread Mehdi Dogguy
he security issues you're referring to, I'm going to decrease the severity of this bug. I don't see anything on Debian's security tracker for this package. Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.deb

Bug#596940: future unblock: kdepim/4:4.4.6-1

2010-09-17 Thread Mehdi Dogguy
? Thank you for considering. > Having the complete diff would certainly help to decide. Would you mind giving such diff please? (P.S.: You can upload it to experimental if you want) Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ..

Bug#596939: future unblock: kdepim-runtime/4:4.4.6-1

2010-09-17 Thread Mehdi Dogguy
On 15/09/2010 10:55, Modestas Vainius wrote: > > Would you grant a freeze exception for this package after it spends > some time in unstable? Thank you for considering. > Yes. (P.S.: answer for kdepim is coming… once I find some time for it or someone beat me to it). Regards

Bug#597261: unblock: qdbm/1.8.77-3.1

2010-09-18 Thread Mehdi Dogguy
bm/1.8.77-3.1 is not uploaded yet (or got a reject). Please let us know once it has been accepted. Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#595365: Intent to 0-day NMU FAI 3.4.1 to fix #595365

2010-09-18 Thread Mehdi Dogguy
for noticing WRT migration and Julien for volunteering > for NMU, highly appreciated. Thanks guys! > I unblocked 3.4.2. Regards, -- Mehdi Dogguy -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#597376: unblock: mathgl/1.10.2.1-2

2010-09-19 Thread Mehdi Dogguy
on is > now usable. > Removing some noise from the diff leaves us with: 143 files changed, 22012 insertions(+), 24099 deletions(-) Isn't it a bit late for such a big change? (and it doesn't fix any RC or important bugs). Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To

Bug#597370: unblock: xorg/1:7.5+7

2010-09-19 Thread Mehdi Dogguy
On 09/19/2010 01:46 AM, Julien Cristau wrote: > > unblock xorg/1:7.5+7 > Unblocked. Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#597357: unblock: cairo/1.8.10-6

2010-09-19 Thread Mehdi Dogguy
s are actually aware of the behaviour change. Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

<    1   2   3   4   5   6   7   8   9   10   >