Bug#1003318: agda: Please package agda 2.6.2.1

2022-01-07 Thread Samuel Mimram
Package: agda Version: 2.6.1-1 Severity: wishlist X-Debbugs-Cc: smim...@gmail.com It would be nice if you could package the latest upstream version (2.6.2.1 at the time of writing). The currently packaged version is almost 2 years old and many useful improvements have ben brought since then.

Bug#777354: xjump: please make the build reproducible

2017-01-10 Thread Samuel Mimram
Hi, On Tue, Jan 10, 2017 at 11:01 AM, Chris Lamb wrote: >> Would you consider applying this patch and uploading? > > Friendly ping on this :) I don't maintain packages anymore. Feel free to NMU, or better adopt the package! Cheers, Samuel

Bug#849370: aptitude: Aptitude crashes with SIGABRT on install command

2017-01-03 Thread Samuel Mimram
Hi, Same bug here. From the stacktrace, it looks quite related to #836567... Cheers, Samuel On Tue, Jan 3, 2017 at 8:49 AM, Jean-Luc Coulon wrote: > Hi Manuel, > > 1 - Happy 2017 for you and your family :) > > 2 - I've not always the problem, this explains the late

Bug#718785: RM: dssi-vst -- RoQA; FTBFS since 2011

2013-08-10 Thread Samuel Mimram
Hi, Even though this package has low popcon (~70 installed), its features are still useful I think and not offered by any other package. So it would be nice to try to keep it in Debian. Moreover, the bug #653780 is apparently only a matter of adding a dependency on libjack-jackd2-dev, and libwine

Bug#717277: ardour: Please package ardour = 3.0

2013-07-18 Thread Samuel Mimram
Package: ardour Version: 1:2.8.16-1 Severity: wishlist Hi, Ardour 3 has been released some time ago (we are at 3.3 now) and brings in lots of new features (such as MIDI support...). It would be nice if you could consider updating the package. Thanks! Cheers, Samuel. -- System Information:

Bug#668495: [PATCH] xjump: Helping to update to packaging format 3.0

2012-04-16 Thread Samuel Mimram
Hi, Thanks for your work on this. Feel free to go ahead and NMU the package! Cheers, Samuel. On Thu, Apr 12, 2012 at 11:11 AM, jari.aa...@cante.net wrote: Package: xjump Severity: wishlist Tags: patch Hi, The dpatch patch management system has been deprecated for some time. The

Bug#654527: Consider gpdftext

2012-03-18 Thread Samuel Mimram
Hi, After a quick testing of gpdftext, it seems that it only extracts the text from pdf files. However, I tend to use my reader to read papers with mathematical formulas and figures, which papercrop handles quite well, and are lost by gpdftext. So, gpdftext is far from being an equivalent of

Bug#654527: xRFP: papercrop -- Converts PDF documents so that they can be read on a small screen of e-book devices

2012-01-03 Thread Samuel Mimram
Package: wnpp Severity: wishlist * Package name: papercrop Version : 0.47 Upstream Author : Taesoo Kwon taesoob...@gmail.com * URL : http://code.google.com/p/papercrop/ * License : GPL + LGPL Programming Lang: C++, lua Description : Converts PDF

Bug#651604: libmlt4: makes openshot segfault

2011-12-11 Thread Samuel Mimram
Hi, On Sat, Dec 10, 2011 at 5:48 PM, Patrick Matthäi pmatth...@debian.orgwrote: You are using packages from debian-multimedia. Remove them COMPLETLY and please try again. 99% of all reported crashes are because of deb-multimedia.. Sorry, I had downgraded the libmlt* packages before testing

Bug#651604: libmlt4: makes openshot segfault

2011-12-11 Thread Samuel Mimram
On Sun, Dec 11, 2011 at 12:04 PM, Patrick Matthäi pmatth...@debian.orgwrote: Am 11.12.2011 10:22, schrieb Samuel Mimram: Hi, On Sat, Dec 10, 2011 at 5:48 PM, Patrick Matthäi pmatth...@debian.org mailto:pmatth...@debian.org wrote: You are using packages from debian-multimedia. Remove

Bug#651604: libmlt4: makes openshot segfault

2011-12-11 Thread Samuel Mimram
Hi, The bug can be hit here by playing melt sequence.mlt (with the attached sequence.mlt, generated by openshot). Are you able to reproduce? BTW, if I remove the two transition blocks in the end, the file is correctly played, so it seems that the bug occurs when parsing those... Cheers, Samuel.

Bug#651604: libmlt4: makes openshot segfault

2011-12-11 Thread Samuel Mimram
On Sun, Dec 11, 2011 at 1:59 PM, Patrick Matthäi pmatth...@debian.orgwrote: Am 11.12.2011 13:50, schrieb Samuel Mimram: Hi, The bug can be hit here by playing melt sequence.mlt (with the attached sequence.mlt, generated by openshot). Are you able to reproduce? BTW, if I remove the two

Bug#651604: libmlt4: makes openshot segfault

2011-12-10 Thread Samuel Mimram
Package: libmlt4 Version: 0.7.6-2 Severity: important Hi, When I start openshot, add a clip to the timeline and play it, openshot segfaults in libmlt4. The stacktrace follows. It might be the case that openshot is misusing mlt (feel free to reassign the bug in this case), but anyway I think that

Bug#631852: Please package camlimages 4.0.1

2011-06-27 Thread Samuel Mimram
Package: camlimages Severity: wishlist Hi, It would be nice if the package could be updated to 4.0.1 (I know it's lame for a member of the team to ask this but I really don't have time right now...). Thanks! ++ Sam. -- System Information: Debian Release: wheezy/sid APT prefers testing

Bug#627133: [Mlt-devel] Bug#627133: melt: segfault with framebuffer

2011-05-22 Thread Samuel Mimram
On Sun, May 22, 2011 at 8:50 PM, Dan Dennedy d...@dennedy.org wrote: On Wed, May 18, 2011 at 1:12 PM, Samuel Mimram smim...@gmail.com wrote: On Wed, May 18, 2011 at 10:09 PM, Samuel Mimram smim...@gmail.com wrote: On Wed, May 18, 2011 at 9:25 PM, Patrick Matthäi pmatth...@debian.org

Bug#627133: melt: segfault with framebuffer

2011-05-18 Thread Samuel Mimram
Hi, I hope that you had a good night ;) I can confirm that the bug still occurs with a non-hardened package (rebuilt following your instructions). ++ Sam. On Tue, May 17, 2011 at 11:42 PM, Patrick Matthäi pmatth...@debian.orgwrote: Too much for today (I will go to bed now). But could you

Bug#627122: [Mlt-devel] Bug#627122: melt sefaults

2011-05-18 Thread Samuel Mimram
Hi, On Wed, May 18, 2011 at 1:39 AM, Dan Dennedy d...@dennedy.org wrote: On Tue, May 17, 2011 at 1:59 PM, Patrick Matthäi pmatth...@debian.org wrote: Hello, you are right, it also happens here, I can play and compose videos, no problem but at the end it segfaults. I am building mlt

Bug#627122: [Mlt-devel] Bug#627122: melt sefaults

2011-05-18 Thread Samuel Mimram
On Wed, May 18, 2011 at 6:51 PM, Dan Dennedy d...@dennedy.org wrote: On Wed, May 18, 2011 at 9:02 AM, Samuel Mimram smim...@gmail.com wrote: Hi, On Wed, May 18, 2011 at 1:39 AM, Dan Dennedy d...@dennedy.org wrote: On Tue, May 17, 2011 at 1:59 PM, Patrick Matthäi pmatth...@debian.org

Bug#627133: melt: segfault with framebuffer

2011-05-18 Thread Samuel Mimram
On Wed, May 18, 2011 at 10:31 AM, Samuel Mimram smim...@gmail.com wrote: I can confirm that the bug still occurs with a non-hardened package (rebuilt following your instructions). For info, the full stacktrace is: #0 0x7fffe5ec54cd in filter_line_sse2 (mode=0, dst=0x7fffde5fb7a0

Bug#627133: melt: segfault with framebuffer

2011-05-18 Thread Samuel Mimram
On Wed, May 18, 2011 at 9:25 PM, Patrick Matthäi pmatth...@debian.orgwrote: Am 18.05.2011 21:22, schrieb Samuel Mimram: On Wed, May 18, 2011 at 10:31 AM, Samuel Mimram smim...@gmail.com mailto:smim...@gmail.com wrote: I can confirm that the bug still occurs with a non-hardened

Bug#627133: melt: segfault with framebuffer

2011-05-18 Thread Samuel Mimram
On Wed, May 18, 2011 at 10:09 PM, Samuel Mimram smim...@gmail.com wrote: On Wed, May 18, 2011 at 9:25 PM, Patrick Matthäi pmatth...@debian.orgwrote: Am 18.05.2011 21:22, schrieb Samuel Mimram: On Wed, May 18, 2011 at 10:31 AM, Samuel Mimram smim...@gmail.com mailto:smim...@gmail.com wrote

Bug#627133: melt: segfault with framebuffer

2011-05-18 Thread Samuel Mimram
On Wed, May 18, 2011 at 10:18 PM, Patrick Matthäi pmatth...@debian.orgwrote: Am 18.05.2011 22:12, schrieb Samuel Mimram: Well, I'm on amd64 and SSE2 seems to be enabled here (I see -DUSE_SSE2 in build logs...). Even better, when I add --disable-sse2 to the configure options

Bug#627122: melt sefaults

2011-05-17 Thread Samuel Mimram
Package: melt Version: 0.7.2-2 Severity: important Hi, When I run melt without any argument (but it also happens with arguments) it displays the usual help message and then segfaults. The stacktrace is #0 0x75c4af37 in QVariantAnimation::registerInterpolator(QVariant (*)(void const*,

Bug#627133: melt: segfault with framebuffer

2011-05-17 Thread Samuel Mimram
Package: melt Version: 0.7.2-2 Severity: normal Hi, I got a segfault with openshot. After investigating a bit further it turns out that I get the same problem when running melt framebuffer:x.avi?2 (which is used by openshot). However, if I specify a profile, for instance melt -profile

Bug#626295: qemu-kvm: Module won't load because of TXT

2011-05-10 Thread Samuel Mimram
Package: qemu-kvm Version: 0.14.0+dfsg-1~tls Severity: normal Hi, The kvm module won't load on this machine because of TXT (I don't know exactly what it is but it stands for Trusted Execution Technology). I get the following lines in dmesg: [ 138.722253] kvm: disable TXT in the BIOS or

Bug#625818: libllvm-ocaml-2.8-dev: Wrong directory in META

2011-05-09 Thread Samuel Mimram
On Sun, May 8, 2011 at 10:29 PM, Sylvestre Ledru sylves...@debian.orgwrote: directory = +llvm-2.8 works fine here (notice the + at the begining though). Did you try that ? On my system, the following commands: ocamlfind ocamlc -package llvm-2.8 -where ignores the .8 and stops checking on:

Bug#625818: libllvm-ocaml-2.8-dev: Wrong directory in META

2011-05-06 Thread Samuel Mimram
Package: libllvm-ocaml-2.8-dev Version: 2.8-2+b1 Severity: important Hi, The files META.llvm and META.llvm-2.8 both contain directory = +llvm however the right directory is llvm-2.8 (so you need to change either the directory or the META...). Thanks! -- System Information: Debian Release:

Bug#625818: libllvm-ocaml-2.8-dev: Wrong directory in META

2011-05-06 Thread Samuel Mimram
On Fri, May 6, 2011 at 12:18 PM, Sylvestre Ledru sylves...@debian.orgwrote: Le vendredi 06 mai 2011 à 10:34 +0200, Samuel Mimram a écrit : The files META.llvm and META.llvm-2.8 both contain directory = +llvm however the right directory is llvm-2.8 (so you need to change either

Bug#622634: Please package ardour 3 in experimental

2011-04-13 Thread Samuel Mimram
Package: ardour Version: 1:2.8.11-5 Severity: wishlist Hi, Ardour 3 alpha was released some time ago: http://ardour.org/node/4293. Since it brings really major improvements (MIDI support in particular), it would be nice if you could package it in experimental. Thanks! -- System Information:

Bug#585557: Please package 1.5.0 in unstable

2011-02-19 Thread Samuel Mimram
reopen 585557 thanks Hi, Is there a reason why soundtouch 1.5.0 should stay in experimental? Otherwise it would be nice if you could upload it to unstable. Thanks! Cheers, Sam.

Bug#613309: vloopback-source: Doesn't build with 2.6.37 kernel

2011-02-13 Thread Samuel Mimram
Package: vloopback-source Version: 1.3-2 Severity: important The module does not build with 2.6.37 kernels. Compilations fails on Building vloopback driver... make[3]: Entering directory `/usr/src/linux-headers-2.6.37-trunk-amd64' CC [M] /usr/src/modules/vloopback/vloopback.o

Bug#572121: Please package jackbeat 0.7.5

2010-06-08 Thread Samuel Mimram
Hi, Jackbeat 0.7.5 has been released, which apparently lets the program be run again... Could you please package this new version ? Thanks! Cheers, Sam.

Bug#577077: liquidsoap: SDL output do not play the audio

2010-04-11 Thread Samuel Mimram
On 04/10/2010 06:40 PM, Petter Reinholdtsen wrote: [Samuel Mimram] This is not a bug since output.sdl is only intended to play video (at least for now). If you also want to play audio, you should use something like output.alsa(output.sdl(single(...))). Oh. I must admit that is very

Bug#563669: Delivers documentation for Coq 8.1

2010-01-04 Thread Samuel Mimram
Hi, I will try to have a look at it. In the meantime, feel free to update it and put ocaml-maint as maintainer :) Cheers, Sam. On Mon, Jan 4, 2010 at 2:46 PM, Mehdi Dogguy me...@debian.org wrote: Package: coq-doc Version: 8.1-3 Severity: normal Hello, It would be nice if coq-doc

Bug#552326: Relation to PPL

2009-11-02 Thread Samuel Mimram
Hi, Michael Tautschnig wrote: Sorry, it took me a bit longer until I found the time to look into this. For me it seems to build fine until some non-PPL related error during dpkg-shlibs run! All I did was - git clone git://git.debian.org/git/pkg-ocaml-maint/packages/apron.git - apt-get

Bug#552326: ITP: apron -- An abstract interpretation library

2009-10-25 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram smim...@debian.org * Package name: apron Version : 0.9.10 * URL : http://apron.cri.ensmp.fr/library/ * License : LGPL + GPL Programming Lang: C + OCaml Description : An abstract interpretation library

Bug#552326: Relation to PPL

2009-10-25 Thread Samuel Mimram
Hi, Michael Tautschnig wrote: It would be great to see APRON packaged for Debian; please make sure it uses/works with current PPL (Parma Polyhedra Library), which we already ship/maintain with Debian. I know that some earlier versions required patches to PPL to make it work, but I don't

Bug#532905: Patch to build with GtkSourceView-2.0

2009-10-19 Thread Samuel Mimram
tag 532905 + patch thanks Hi, There is a patch which apparently enables to build with GtkSourceView-2.0 (attached). ++ Sam. Delivered-To: garrigue at math.nagoya-u.ac.jp Delivered-To: lablgtk at yquem.inria.fr From: Mike Spivey mike at comlab.ox.ac.uk To: lablgtk lablgtk at yquem.inria.fr

Bug#546788: RFA: libsamplerate -- audio rate conversion library

2009-09-15 Thread Samuel Mimram
Package: wnpp Severity: normal I request an adopter for the libsamplerate package. I don't have enough time right now to take properly care of it. The package description is: libsamplerate (aka Secret Rabbit Code) performs audio rate conversion. . This can be used to downsample and upsample

Bug#546787: RFA: libsndfile -- Library for reading/writing audio files

2009-09-15 Thread Samuel Mimram
Package: wnpp Severity: normal I request an adopter for the libsndfile package. I don't have enough time right now to take properly care of it. The package description is: libsndfile is a library of C routines for reading and writing files containing sampled audio data. . Various versions of

Bug#543821: RFA: fusesmb

2009-08-27 Thread Samuel Mimram
Package: wnpp Severity: normal I haven't used fusesmb for a while and didn't have time to take care of it properly recentely. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#522831: dh-ocaml: it should be possible to automatically calulate runtime dependencies

2009-04-07 Thread Samuel Mimram
On Tue, Apr 7, 2009 at 9:54 AM, Stefano Zacchiroli z...@debian.org wrote: On Mon, Apr 06, 2009 at 10:39:57PM +0200, Eugeniy Meshcheryakov wrote: I saw it, but it is about build-time dependencies, not run-time ones. No, it is only about runtime dependencies of the shipped bytecode and

Bug#518037: libsndfile_1.0.19-1(mips/unstable): FTBFS on mips. regression test failure.

2009-03-03 Thread Samuel Mimram
Erik de Castro Lopo wrote: Peter De Schrijver wrote: Package: libsndfile Version: 1.0.19-1 Severity: serious There was an error while trying to autobuild your package: Automatic build of libsndfile_1.0.19-1 on mayr by sbuild/mips 99.999 Build started at 20090303-1511 snip

Bug#516085: ocaml-findlib: Using native versions on native archs

2009-02-19 Thread Samuel Mimram
Package: ocaml-findlib Version: 1.2.3-1 Severity: wishlist Hi, It would be nice to add ocamlopt = ocamlopt.opt etc. in /etc/ocamlfind.conf on native archs (especially for ocamldoc which takes time on progs with lots of .mli). This would also save time for our buildds on packages using

Bug#437321: Xpress improvements in upstream ati git

2009-02-17 Thread Samuel Mimram
Hi, Alex Deucher wrote: On Thu, Feb 12, 2009 at 3:10 PM, Samuel Mimram samuel.mim...@ens-lyon.org wrote: Hi Brice, Brice Goglin wrote: On Sun, Jun 15, 2008 at 03:45:35PM -0400, Zack Weinberg wrote: On Sun, Jun 15, 2008 at 6:53 AM, Brice Goglin brice.gog...@ens-lyon.org wrote: Hello Zack

Bug#460946: NMU of gddrescue

2009-02-17 Thread Samuel Mimram
Hi, gddrescue is getting really really out of date in Debian. I intent to NMU a new version soon, unless you object to it. Cheers, Samuel. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#515573: O: exmap -- determine how much physical memory and swap is used by individual processes

2009-02-16 Thread Samuel Mimram
Package: wnpp Severity: normal I intend to orphan the exmap package since it's in a bad shape and I don't have enough time to take care of it. The package description is: Exmap is a memory analysis tool which allows you to accurately determine how much physical memory and swap is used by

Bug#512497: gnome-terminal: Gnome terminal does not respect locale's character encoding

2009-01-21 Thread Samuel Mimram
Package: gnome-terminal Version: 2.24.1.1-1 Severity: normal Hi, It seems that gnome terminal does not comply with locale's character encoding. My locale is: % locale LANG=en_US LC_CTYPE=en_US.UTF-8 LC_NUMERIC=en_US.UTF-8 LC_TIME=en_US.UTF-8 LC_COLLATE=en_US.UTF-8 LC_MONETARY=en_US.UTF-8

Bug#512497: gnome-terminal: Gnome terminal does not respect locale's character encoding

2009-01-21 Thread Samuel Mimram
Josselin Mouette wrote: Le mercredi 21 janvier 2009 à 10:51 +0100, Samuel Mimram a écrit : It seems that gnome terminal does not comply with locale's character encoding. My locale is: % locale LC_ALL=en_US.UTF-8 How is this locale set? Is it /etc/default/locale, ~/.dmrc or set somewhere

Bug#495362: RFA: exmap -- determine how much physical memory and swap is used by individual processes

2008-08-16 Thread Samuel Mimram
Package: wnpp Severity: normal I request an adopter for the exmap package. I do not use it regularly anymore and I don't have so much time to take care of the package. Since exmap contains a kernel module, the packaging is not so simple and I wouldn't recommend unexperienced packagers to adopt

Bug#432520: any news?

2008-08-16 Thread Samuel Mimram
Hi, Michael Prokop wrote: any news regarding #432520? More than one year without any reaction. Yes, I'm really sorry for this. I don't have so much time to give to this package right now and I forgot this issue. I've filled an RFA, so feel free to adopt the package. If you don't want to, it

Bug#484160: bug fixed in poppler 0.8.4

2008-06-30 Thread Samuel Mimram
reassign 484160 libpoppler3 tag 484160 fixed-upstream thanks According to comments on the bugzilla, the bug should be fixed in the latest release of poppler (0.8.4). Cheers, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL

Bug#484160: evince: crashes after reloading a pdf a few times

2008-06-09 Thread Samuel Mimram
Hi, On Mon, Jun 02, 2008 at 09:12:41PM +0200, Christian Pulvermacher wrote: evince crashes consistently when I reload any pdf document roughly 12 times (this seems to vary between files). Since I'm using evince to preview documents I'm working on this happens quite often. I also regularly

Bug#484497: please shib the menhir pdf manual

2008-06-04 Thread Samuel Mimram
Hi, Stefano Zacchiroli wrote: It is my understanding that the manual has been removed from the Debian package to make the tarball DFSG free, isn't it? Yep, I'll try to ping upstream again about this issue to have the .tex distributed in the tarball. Cheers, Samuel. -- To UNSUBSCRIBE,

Bug#483329: xjump: FTBFS: applying patch 01_overflow to ./ ... failed.

2008-05-28 Thread Samuel Mimram
Hi, Lucas Nussbaum wrote: During a rebuild of all packages in sid, your package failed to build on i386. Relevant part: dpatch apply-all applying patch 01_overflow to ./ ... failed. make: *** [patch-stamp] Error 1 I really don't understand what's going on here. I've just tested the

Bug#476687: penggy: should this package be removed?

2008-04-21 Thread Samuel Mimram
Hi, Michael Meskes wrote: while reviewing some packages, your package came up as a package that should maybe be removed from the archive, because: * No upstream activity in the last 5 years. * Last maintainer upload one year ago. * Low popcon with only 15 installed. * Release goal bug

Bug#472994: lablgtk2: FTBFS on OCaml 3.10.2

2008-03-28 Thread Samuel Mimram
Stefano Zacchiroli wrote: On Thu, Mar 27, 2008 at 06:03:19PM +0100, Samuel Mimram wrote: The package lablgtk2 fails to build from source with ocaml 3.10.2. Attached is a patch which fixes the problem. I think we'd better switch to new upstream release 2.10.1 if we go for a full rebuild

Bug#472994: lablgtk2: FTBFS on OCaml 3.10.2

2008-03-27 Thread Samuel Mimram
Stephane Glondu wrote: The package lablgtk2 fails to build from source with ocaml 3.10.2. Attached is a patch which fixes the problem. I think we'd better switch to new upstream release 2.10.1 if we go for a full rebuild for OCaml 3.10.2 since it also fixes other minor bugs. Cheers, Samuel.

Bug#472501: doc-base: Please add the Programming/OCaml section

2008-03-24 Thread Samuel Mimram
Package: doc-base Version: 0.8.10 Severity: wishlist Hi, It would be nice if you could allow the Programming/OCaml section. There are many OCaml libraries in Debian and having all their doc registered in the same section would be useful. Thanks! -- System Information: Debian Release: lenny/sid

Bug#461153: Rotation on RV350

2008-03-19 Thread Samuel Mimram
Hi, The problem with rotation on RV350 (left of the screen not refreshed) does not seem to be present anymore with the 1:6.8.1~git20080302.a4398ac3-1 version of the ati driver. However this is not fully usable since the mouse pointer is still often messed up. Thanks for your work! Cheers,

Bug#464195: hold ocaml in sid

2008-02-05 Thread Samuel Mimram
Package: ocaml Version: 3.10.1-1 Severity: grave This is a dummy bug report to hold OCaml 3.10.1 in sid until all the caml libs have been rebuilt with this new version of caml. -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (500,

Bug#464200: RM: sysprof/ia64 -- RoM; arch unsupported thus dropped

2008-02-05 Thread Samuel Mimram
Package: ftp.debian.org Severity: normal Hi, Could you please remove sysprof on ia64 from testing? This arch was not supported and thus dropped (see #422573). Thanks! Cheers, Samuel. -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'),

Bug#464201: RM: xmoto-edit -- RoM; obsolete

2008-02-05 Thread Samuel Mimram
Package: ftp.debian.org Severity: normal Hi, Could you please remove xmoto-edit from the archive? This program was supposed to generate levels for xmoto but is not supported anymore upstream and the level it generates are not valid anymore. Thanks! Cheers, Samuel. -- System Information:

Bug#462065: lintian: check for versionned dependencies for ocamlrun interpreter

2008-01-22 Thread Samuel Mimram
Package: lintian Version: 1.23.42 Severity: normal Hi, The check for the dependencies for interpreter of #!/usr/bin/ocamlrun scripts is currently (ocaml | ocaml-base-nox)[1]. The dependency on these packages should be versionned since ocaml programs are ABI incompatible between different

Bug#460267: RM: missinglib -- RoM; dead upstream, superseeded; RC-buggy

2008-01-11 Thread Samuel Mimram
Package: ftp.debian.org Severity: normal Hi, Could you please remove missinglib from Debian. Reasons are: * upstream is dead, * the package currently FTBFS, * superseeded by extlib, * no reverse deps or build-deps, * low popcon (44). Thanks! Cheers, Samuel. -- System Information: Debian

Bug#450903: libocamlnet-ssl-ocaml: segfault on custom ssl bindings

2008-01-10 Thread Samuel Mimram
Hi, Stefano Zacchiroli wrote: On Mon, Nov 12, 2007 at 02:56:34AM +0100, Romain Beauxis wrote: While playing with the ssl_client.ml example, I ended up correcting two issues: * ssl_client.ml must use: let cl_ctx = Ssl.create_context Ssl.TLSv1 Ssl.Client_context in to use the correct

Bug#450903: libocamlnet-ssl-ocaml: segfault on custom ssl bindings

2008-01-10 Thread Samuel Mimram
Hi, Stefano Zacchiroli wrote: On Thu, Jan 10, 2008 at 09:47:04AM +0100, Samuel Mimram wrote: AFAIR some code from the C headers of ocaml-ssl was copied into ocamlnet-ssl but unfortunately I changed these definitions later in ocaml-ssl and the disparity between the two libs was leading

Bug#459221: Create ocsigen-dev to enable developers to compile Ocsigen sites easily

2008-01-04 Thread Samuel Mimram
Hun Janne Hellsten wrote: Please create an ocsigen-dev package that could be used to compile Ocsigen sites under Debian. The ocsigen-dev package has been added in the latest version of the ocsigen package and should hopefully reach the archive soon. Cheers, Samuel. -- To UNSUBSCRIBE,

Bug#452502: reassigning

2007-12-27 Thread Samuel Mimram
reassign 452502 libsdl1.2debian thanks After further private discussion, the problem seems to be due to SDL and export SDL_VIDEO_X11_DGAMOUSE=0 fixes the problem. I'm thus reassigning the BR. Cheers, samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe.

Bug#453340: mldonkey-server: Mldonkey-server compiled with glibc6 and now SID use glibc2.7

2007-12-13 Thread Samuel Mimram
Hi, Sergi Barroso wrote: Yes, it's so simple, if you run current mldonkey server on Debian with libc 2.7 it doesn't run. After I compiled debian source package it works correctly. Could you be more precise please? What happens exactly if you run the mldonkey command? Could you paste the

Bug#453340: mldonkey-server: Mldonkey-server compiled with glibc6 and now SID use glibc2.7

2007-12-12 Thread Samuel Mimram
Hi, Sergi Barroso Terradas wrote: This core is running with glibc 2.7 but it was compiled with glibc 2.6.1. This can lead to unexpected behaviour. Consider compiling the core yourself or getting a binary compiled with glibc 2.6.1. Actually version of glibc for Debian SID is 2.7, mldonkey new

Bug#454900: linphone: Can't talk to anyone

2007-12-08 Thread Samuel Mimram
Hi Julio, Julien Cristau wrote: John Goerzen wrote: linphone: symbol lookup error: /usr/lib/liblinphone.so.2: undefined symbol: video_preview_start What version of libmediastreamer0 (and liblinphone2) do you have? Does upgrading to version 2.0.1 helps? The answer is in the report... Yep

Bug#454900: linphone: Can't talk to anyone

2007-12-08 Thread Samuel Mimram
Hi, John Goerzen wrote: linphone: symbol lookup error: /usr/lib/liblinphone.so.2: undefined symbol: video_preview_start What version of libmediastreamer0 (and liblinphone2) do you have? Does upgrading to version 2.0.1 helps? Cheers, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED]

Bug#452502: Big latency with the mouse

2007-11-23 Thread Samuel Mimram
Hi, Guy Roussin wrote: There is a very big latency with the mouse ... 1 or 2 seconds before the mouse move on the screen. The game is not playable ! I guess you simply don't have hardware acceleration enabled with your graphic card... What is the output of the following command ? glxinfo |

Bug#451517: split the binary package

2007-11-16 Thread Samuel Mimram
Hi, Luca Brivio wrote: The ocsigen binary packages now in sid take a huge disk space when installed (nearly 20 MiB), so I propose to split at least the HTML API documentation away. You're right, I didn't notice that there was 15M of doc! I will split this soon. Cheers, Samuel. -- To

Bug#450685: xmoto: segfaults when run with --nogfx

2007-11-11 Thread Samuel Mimram
Hi, I've talked with upstream and he says that the --nogfx option of xmoto is not useful and it will be removed in next release. If you really use this option, it might be a good time to say so... Cheers, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of

Bug#450876: RFH: ara -- utility for searching the Debian package database

2007-11-11 Thread Samuel Mimram
Hi, George Danchev wrote: Package: wnpp Severity: normal I request assistance with co-maintaining the ara source package. The package is in a good shape, but there are few wishlists bugs left in BTS, which need an experienced ocaml hacker to look at. Thanks. ara is hosted at

Bug#449451: dnc target in OCamlMakefile

2007-11-06 Thread Samuel Mimram
Hi, Markus Mottl wrote: On 11/5/07, Samuel Mimram [EMAIL PROTECTED] wrote: It would be nice if OCamlMakefile could provide a debug-native-code (or dnc) target which would build programs in native mode with the -g option which was introduced in OCaml 3.10. I'm afraid I don't maintain

Bug#449451: dnc target in OCamlMakefile

2007-11-05 Thread Samuel Mimram
Hi, It would be nice if OCamlMakefile could provide a debug-native-code (or dnc) target which would build programs in native mode with the -g option which was introduced in OCaml 3.10. Thanks! Cheers, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe.

Bug#448156: ITP: matita -- interactive theorem prover

2007-10-29 Thread Samuel Mimram
Hi, Mike Furr wrote: Enrico Tassi wrote: Package name: matita Stefano already has some packages for this on his gluck page, have you talked to him about the status of those? Moreover, since matita is written mostly in OCaml, it could be a good idea to have this package on the

Bug#446924: ITP: ocaml-ogg -- OCaml bindings for the Ogg bitstream library

2007-10-16 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram [EMAIL PROTECTED] * Package name: ocaml-ogg Version : 0.1.0 Upstream Author : Samuel Mimram [EMAIL PROTECTED] * URL : http://savonet.sf.net/ * License : LGPL Programming Lang: OCaml Description

Bug#439272: sysprof: package not usable

2007-10-09 Thread Samuel Mimram
Hi, Cyril Brulebois wrote: Ritesh Raj Sarraf [EMAIL PROTECTED] (05/10/2007): This bug [#439272] is marked grave and is not usable because of the missing library file. Any fixes ? I'm suggesting a binNMU, since a rebuild looks like sufficient to update the dependencies (in terms of .so,

Bug#410686: marked as done (numerix_0.22a-1(experimental/alpha/ds10): FTBFS)

2007-10-03 Thread Samuel Mimram
Hi, numerix has been autobuild without problems in versions 0.22-3 and 0.22-4. I am hence closing this bug. I'm not really sure for this one. The FTBFS is for the version 0.22a (please notice the small a) which is only available in experimental. Can you confirm that this precise version builds

Bug#445193: lablgtk2-2.10.0 breaks MLDonkey GTK2 GUI

2007-10-03 Thread Samuel Mimram
Hi, spiral voice wrote: MLDonkey 2.9.2 will contain some patches to allow usage of lablgtk2-2.10.0 without breaking backwards compatibility. Unfortunately one patch in lablgtk-2.10.0 breaks backwards compatibility with its earlier versions. This patch needs to be reverted in order to work

Bug#445205: RFA: sysprof -- A system-wide linux profiler

2007-10-03 Thread Samuel Mimram
Package: wnpp Severity: normal I request an adopter for the sysprof package since I don't have time to take care of it. Notice that the RC bug #439272 should be fixed once for all by removing the dependency on libbfd since it changes regularly. The package description is: Sysprof is a sampling

Bug#444481:

2007-09-30 Thread Samuel Mimram
Julien Cristau wrote: On Sun, Sep 30, 2007 at 17:04:03 +0200, spiral voice wrote: [EMAIL PROTECTED] doesn't go to the bug submitter. You're right. I've redirected the mail. Cheers, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL

Bug#444046: libgammu2: segfault on startup

2007-09-26 Thread Samuel Mimram
Hi, Michal Čihař wrote: On Tue, 25 Sep 2007 19:05:44 +0100 Samuel Mimram [EMAIL PROTECTED] wrote: Package: libgammu2 Version: 1.13.0-1 Severity: important Hi, Since wammu does not work for now, I tried gammu... which segfaults on startup even when no phone is connected: % gdb --args

Bug#444046: libgammu2: segfault on startup

2007-09-26 Thread Samuel Mimram
Hi, Michal Čihař wrote: On Tue, 25 Sep 2007 19:05:44 +0100 Samuel Mimram [EMAIL PROTECTED] wrote: Here is the contents of my .gamurc file: I found the issue. Gammu wrongly parses your config file. [ gammu ] Deleting spaces around gammu should fix the crash. I just commited fix

Bug#444184: [Fwd: Re: xmoto]

2007-09-26 Thread Samuel Mimram
Original Message Subject: Re: xmoto Date: Wed, 26 Sep 2007 21:06:31 +0200 From: Nicolas Adenis-Lamarre Hi, note that's a bug of 0.3.3 fixed on svn. Note that there is an other important segfault bug in case you use a joystick. To fix, wait 0.3.4 or apply the following two

Bug#444033: pidgin crashes when upon connection to jabber servers

2007-09-25 Thread Samuel Mimram
Package: pidgin Version: 2.2.0-1 Severity: important Hi, Pidgin crashes on startup everytime, just afer having connected to a jabber server. Here is the gdb log: (gdb) r Starting program: /usr/bin/pidgin [Thread debugging using libthread_db enabled] [New Thread 0xb701c6c0 (LWP 3322)] Program

Bug#444033: pidgin crashes when upon connection to jabber servers

2007-09-25 Thread Samuel Mimram
This debug log seem to contain sensitive information (like mail adresses that would not want to be spammed). I'll send this to you privately. Ari Pollak wrote: Please attach the output from pidgin -d. On Tue, 2007-09-25 at 16:47 +0100, Samuel Mimram wrote: Package: pidgin Version: 2.2.0-1

Bug#444046: libgammu2: segfault on startup

2007-09-25 Thread Samuel Mimram
Package: libgammu2 Version: 1.13.0-1 Severity: important Hi, Since wammu does not work for now, I tried gammu... which segfaults on startup even when no phone is connected: % gdb --args gammu identify [...] (gdb) r Starting program: /usr/bin/gammu identify [Thread debugging using libthread_db

Bug#443925: wammu: memory corruption

2007-09-24 Thread Samuel Mimram
Package: wammu Version: 0.22-1 Severity: grave Justification: renders package unusable Hi, I decided to give wammu a second try. When I launch wammu it tells me that there is no configuration file and asks me if I want to configure phone connection. If I click on yes I get alternatively: %

Bug#443386: CVE-2007-4974 heap overflow via crafted PCM data

2007-09-20 Thread Samuel Mimram
Erik de Castro Lopo wrote: Nico Golde wrote: If you fix this bug please include the CVE id in the changelog data. I has already beedn fixed, so there is no mention of the CVE id in the changelog. Do you mean that it is already fixed in the version that Debian is shipping (1.0.17)???

Bug#441645: pagodacf and ocaml 3.10

2007-09-18 Thread Samuel Mimram
Hi, Your cf library currently does not compile with OCaml 3.10. This is apparently due to a change in scanning functions. Do you plan to make a new release soon fixing this or do you have a patch at least? Thanks! Regards, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a

Bug#441645: pagodacf and ocaml 3.10

2007-09-18 Thread Samuel Mimram
james woodyatt wrote: On Sep 18, 2007, at 07:38, Samuel Mimram wrote: Your cf library currently does not compile with OCaml 3.10. This is apparently due to a change in scanning functions. Do you plan to make a new release soon fixing this or do you have a patch at least? Top of CVS tree

Bug#442783: wammu: crashes on startup (libGammu version does not match compile time version)

2007-09-16 Thread Samuel Mimram
Package: wammu Version: 0.21-1 Severity: grave Justification: renders package unusable Hi, I recently decided to give wammu a try and it resulted in: % wammu Traceback (most recent call last): File /usr/bin/wammu, line 98, in ? import Wammu.App File

Bug#440469: gwhy crashes on startup

2007-09-01 Thread Samuel Mimram
tag 440469 + unreproducible thanks Hi, Sami Liedes wrote: $ rm -f ~/.gwhyrc $ touch test.mlw $ gwhy test.mlw [...] .gwhyrc : invalid value for window_width [...] .gwhyrc : invalid value for window_height [...]

Bug#439711: ITP: ocaml-curses -- OCaml bindings to the ncurses library

2007-08-26 Thread Samuel Mimram
Package: wnpp Severity: wishlist Owner: Samuel Mimram [EMAIL PROTECTED] * Package name: ocaml-curses Version : 1.0.1 Upstream Author : Nicolas George, Richard Jones * URL : http://www.nongnu.org/ocaml-tmk/ * License : LGPL Programming Lang: C / OCaml

Bug#439030: Crashes on 64bit platform compiled with Ocaml 3.10.0

2007-08-22 Thread Samuel Mimram
Hi, spiral voice wrote: I am following the ongoing discussions about updating Debians Ocaml packages to 3.10.0. MLDonkey 2.9.0 uses this Ocaml version already as default compiler, but this combo seems to crash on 64bit Linux platforms Thanks for letting us know. Would it work if we

  1   2   3   4   >