Bug#640032: Ships META.graphics without depending on its module files

2013-06-17 Thread Stéphane Glondu
Le 01/09/2011 23:50, Nicolas Dandrimont a écrit : > This was bug #605695, closed in version 1.2.7+debian-1, and well, right > now I can't seem to reproduce it. I cannot reproduce either: > steph@wencory:~$ ls /usr/lib/ocaml/METAS/ > META.bigarray META.camlp4 META.dbm META.dynlink

Bug#709616: floods the network with pause packets

2013-05-30 Thread Stéphane Glondu
Le 30/05/2013 14:58, Ben Hutchings a écrit : >>> Could you check whether the switch is also sending pause frames back to >>> the port that's generating them? >> >> How exactly do I do that? Is disconnecting the faulty computer and >> connecting my laptop in its place right? > > ethtool -S eth0 | g

Bug#709616: floods the network with pause packets

2013-05-30 Thread Stéphane Glondu
Le 26/05/2013 18:10, Ben Hutchings a écrit : > OK, so the switch is indeed defective: it says it can handle pause > frames, but it can't. The problem happened on (at least) two different switches from different manufacturers (Transtec and Netgear). FWIW, the problem just happened on another machi

Bug#709878: /usr/bin/mlnet: core is running with glibc 2.17 but it was,compiled with glibc 2.13.

2013-05-26 Thread Stéphane Glondu
Control: tag -1 moreinfo Le 26/05/2013 11:13, ZeroBeat a écrit : > Package: mldonkey-server > Version: 3.1.2-1 > File: /usr/bin/mlnet > Severity: minor > Tags: upstream How is that a bug? Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subjec

Bug#709616: floods the network with pause packets

2013-05-26 Thread Stéphane Glondu
Le 26/05/2013 03:54, Ben Hutchings a écrit : > I forgot, e1000e still doesn't report autoneg state completely through > ethtool. How about 'mii-tool -v eth0'? # mii-tool -v eth0 SIOCGMIIREG on eth0 failed: Input/output error SIOCGMIIREG on eth0 failed: Input/output error eth0: negotiated 100baseT

Bug#709616: floods the network with pause packets

2013-05-25 Thread Stéphane Glondu
Le 24/05/2013 18:07, Ben Hutchings a écrit : >> With Linux 3.8, my computer starts (after some time) flooding its >> network interface with pause packets, effectively freezing it and >> other network-dependent computers connected to the same switch. > > Switches should normally be configured to ge

Bug#701706: RFS: ocamlrss/2.0-1 [ITP] -- RSS 2.0 parser and printer for OCaml

2013-05-24 Thread Stéphane Glondu
Le 24/05/2013 10:09, Prach Pongpanich a écrit : > Thanks for your review and suggestion, I have done all of the above. Your Replaces/Breaks clause is always satisfied, even in oldstable... isnt't? If so, it is pointless and you should remove it. Does ocamlrss actually install files in the same lo

Bug#709618: camlp5 et al need hinting

2013-05-24 Thread Stéphane Glondu
Package: release.debian.org Severity: important Dear Release Managers, Now that glib has migrated, I think that camlp5 [1] and related packages need manual hinting. All the packages listed in the "Coq" section of [2] need to enter together. [1] http://release.debian.org/migration/testing.pl?pack

Bug#709616: floods the network with pause packets

2013-05-24 Thread Stéphane Glondu
Package: src:linux Version: 3.8.13-1 Severity: important Dear Maintainers, With Linux 3.8, my computer starts (after some time) flooding its network interface with pause packets, effectively freezing it and other network-dependent computers connected to the same switch. When I disconnect it from

Bug#661958: Bug#666825: Apache 2.4 upload date scheduled for May 30

2013-05-23 Thread Stéphane Glondu
Le 23/05/2013 13:57, Arno Töll a écrit : > please coordinate this in #661958. I got an ACK of the Release Team, so > I don't know if they had your issue on the radar or not. Either way, I > know nothing about OCaml and your transition. See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=666825#47

Bug#666825: Apache 2.4 upload date scheduled for May 30

2013-05-23 Thread Stéphane Glondu
Le 23/05/2013 13:13, Arno Töll a écrit : > we are ready to upload Apache2 2.4 to Debian Sid now. This means the > transition is effectively starting now, and going to break your modules. There are currently ~20 source entangled OCaml-related packages waiting to migrate to testing (see "Ocsigen" se

Bug#701706: RFS: ocamlrss/2.0-1 [ITP] -- RSS 2.0 parser and printer for OCaml

2013-05-23 Thread Stéphane Glondu
Le 23/05/2013 05:45, Prach Pongpanich a écrit : > Packaging a new upstream 2.2.0: Sorry for taking so long, but I wanted to look at the whole thread first... which I haven't done so far. Anyway, since you've been waiting for some time now, I've just directly looked at your package without looking

Bug#708324: freezes after a few minutes

2013-05-14 Thread Stéphane Glondu
Package: pidgin Version: 2.10.7-2 Severity: grave Hello, Since this morning (after a reboot), Pidgin started to freeze after a few minutes. It doesn't respond to SIGTERM, one has to use SIGKILL to kill it. And there is no error message when it is run from a terminal. strace output ends with (~32

Bug#707785: RM: unison2.27.57 -- ROM; obsolete

2013-05-11 Thread Stéphane Glondu
Package: ftp.debian.org Severity: normal -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#707784: RM: ocsigen -- ROM; obsoleted by ocsigenserver/eliom

2013-05-11 Thread Stéphane Glondu
Package: ftp.debian.org Severity: normal -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#666825: Apache2.4 transition: reboot

2013-05-09 Thread Stéphane Glondu
Le 07/05/2013 12:29, Stéphane Glondu a écrit : >> now that the work is done and Debian 7.0 (Wheezy) is released [*], we >> are booting the Apache 2.4 transition process again. If you did not >> already, please subscribe to transition bug #661958 to keep up with our >> tran

Bug#707109: apxs2 outputs "uninitialized value" warnings

2013-05-07 Thread Stéphane Glondu
Package: apache2-prefork-dev Version: 2.2.22-13 Severity: normal Dear Maintainer, $ apxs2 -q LIBEXECDIR Use of uninitialized value $includedir in concatenation (.) or string at (eval 9) line 1. /usr/lib/apache2/modules Cheers, -- Stéphane -- System Information: Debian Release: 7.0 APT pr

Bug#666825: Apache2.4 transition: reboot

2013-05-07 Thread Stéphane Glondu
Le 04/05/2013 18:13, Arno Töll a écrit : > now that the work is done and Debian 7.0 (Wheezy) is released [*], we > are booting the Apache 2.4 transition process again. If you did not > already, please subscribe to transition bug #661958 to keep up with our > transition plan in detail as this IS goi

Bug#705924: doesn't work

2013-04-22 Thread Stéphane Glondu
Package: fsharp-console Version: 3.0.26-1 Severity: grave Dear maintainer, This package doesn't install if mono is not already installed. For example, in a clean sid chroot: > # apt-get install libfsharp-core4.3-cil > [...] > Setting up cli-common (0.8.2) ... > Setting up libmono-corlib4.0-cil (

Bug#705667: network-manager: automatic connect fails after suspend/resume when password is in user keyring

2013-04-18 Thread Stéphane Glondu
Package: network-manager Version: 0.9.4.0-10 Severity: important Dear Maintainer, When I wake up my laptop in a location where a known wireless network protected with password is in range, I get the following messages in my /var/log/daemon.log: Apr 18 10:35:42 fomalhaut NetworkManager[2876]: Au

Bug#705318: Please package latest upstream version

2013-04-17 Thread Stéphane Glondu
Le 13/04/2013 04:52, Michael Biebl a écrit : > since I'd like to use the new -repeat watch functionality in unison, it > would be great if you can package a more recent version in experimental. The latest upstream (stable) version is 2.40.102 [1] and it does not include the patch you're referring

Bug#691683: unison: Rebuild unison in experimental against OCaml 4.00.0, or it won't sync

2013-04-17 Thread Stéphane Glondu
tags 691683 + upstream fixed-upstream pending thanks Le 28/10/2012 17:48, Matteo Settenvini a écrit : > recently, ocaml 4 has hit experimental. Due to a change in the hashing > algorithm[1], unison needs to be rebuilt against it, or it won't sync > with other instances (for example, unison from Fe

Bug#704744: pbuilder: umounts /{dev,run}/shm of the *host* system

2013-04-08 Thread Stéphane Glondu
tags 704744 + patch thanks Le 08/04/2013 01:32, Thorsten Glaser a écrit : > My idea to fix this is: > > Move the “umount_on_exit /dev/shm” line away from > /usr/share/debootstrap/functions and into the files under > /usr/share/debootstrap/scripts/ and then change it to use > /run/shm from wheezy

Bug#704737: printing doesn't work because of incorrect size sent to the printer

2013-04-05 Thread Stéphane Glondu
Package: evince Version: 3.4.0-3.1 Severity: important Dear maintainers, I cannot print any document with evince these days. It has been for at least one month. It used to work in the past, but I do not print documents every day so I do not know when it stopped working exactly. I'm using an ente

Bug#702349: lintian should not complain about hardening for package written in pure Ocaml

2013-03-06 Thread Stéphane Glondu
Le 06/03/2013 10:48, Hendrik Tews a écrit : >OCaml has a built-in notion of "unsafe" feature (see ocamlobjinfo >output) that could serve as a starting point for that. > > Yes, I tried this on > > let f b = > let a = "abcde" in > let c = Obj.magic b in > String.un

Bug#702349: lintian should not complain about hardening for package written in pure Ocaml

2013-03-06 Thread Stéphane Glondu
Le 06/03/2013 09:37, Hendrik Tews a écrit : > In principle I agree, that programs written in a certain subset > of OCaml do not need these hardening features. However, at the > moment this safe subset is not even identified... OCaml has a built-in notion of "unsafe" feature (see ocamlobjinfo outpu

Bug#702349: lintian should not complain about hardening for package written in pure Ocaml

2013-03-05 Thread Stéphane Glondu
Le 05/03/2013 16:35, Niels Thykier a écrit : > Does ELF binaries produced by "pure" Ocaml have any distinct feature > that can be used to tell them apart from any other ELF binary? ELF binaries produced by the OCaml compiler always include a bit of C code (the runtime), so they are never actually

Bug#659149: CVE-2012-0839: Hash collision DoS

2013-01-17 Thread Stéphane Glondu
Le 17/01/2013 12:42, Jonathan Wiltshire a écrit : > Recently you fixed one or more security problems and as a result you closed > this bug. These problems were not serious enough for a Debian Security > Advisory, so they are now on my radar for fixing in the following suites > through point release

Bug#671303: confirmation of the bug

2012-12-14 Thread Stéphane Glondu
unmerge 692886 thanks Le 13/12/2012 18:45, Carsten Schoenert a écrit : > please visit the last mail from Mike in #692886 [1] and provide the > info from the SSL certificate check as Mike has writen. > > [1] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=692886#28 It took me some time to find

Bug#660765: please add option for tempdir location

2012-12-07 Thread Stéphane Glondu
Le 21/02/2012 18:14, Thomas Koch a écrit : > I'd prefer to have the buildir under /tmp instead of the current working > dir. Could you please add this option? > I would provide a patch, if there'd be a Git repo for equivs. Why is the temporary directory not created in /tmp in the first place? In

Bug#631669: liblwt-ocaml-dev: undefined references to libev

2012-12-07 Thread Stéphane Glondu
Le 26/06/2011 17:47, Ian Zimmerman a écrit : > So yes, I'd say that the fact the dependency is too loose to catch this > pernicious problem on a system configured this way is a bug. (I'm not > asking for "support" beyond fixing bugs, though) ;-) In my opinion, the versioned dependency to libev-de

Bug#693693: ben: Partial suite support

2012-11-20 Thread Stéphane Glondu
Le 19/11/2012 13:23, Iain Lane a écrit : > [...] The deduplication is required not for ben but > for edos-debcheck (it's interested in finding solutions in the whole > repository but for the transition case we only want to know about > solutions involving the newest packages). [...] ben should ded

Bug#693618: unblock: js-of-ocaml/1.2-2

2012-11-18 Thread Stéphane Glondu
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: unblock Le 02/11/2012 22:23, Niels Thykier a écrit : > It does not seem important, but given it is a doc-only change I am > willing to accept it if you are still willing to upload it. If you do >

Bug#691257: js-of-ocaml: The version shipped in this package is 1.1.1, whereas the package is tagged as 1.2

2012-10-26 Thread Stéphane Glondu
Le 26/10/2012 09:49, Stéphane Glondu a écrit : > I'll ask the release team whether the upstream tarball itself can be > updated at this stage... Well, it appears that the upstream tarball doesn't match the upstream tag and includes an additional commit (addition of module Lwt_js_e

Bug#691257: Freeze exception request for js_of_ocaml 1.2-2

2012-10-26 Thread Stéphane Glondu
Dear Release Team, Bug #691257 made me realize that the upstream tarball of the Debian package is not the same as the one currently available on the upstream website, and the contents does not match tag 1.2 in the upstream repository either. There is one commit missing. It changes only changelog

Bug#691257: js-of-ocaml: The version shipped in this package is 1.1.1, whereas the package is tagged as 1.2

2012-10-26 Thread Stéphane Glondu
Le 23/10/2012 18:00, Engil Hramn a écrit : > I was facing some bugs with my installation of js_of_ocaml, and after > checking > the library version with ocamlfind, I found out that the version > installed on > my system was 1.1.1, and not 1.2. > I checked the package's sources to confirm it and the

Bug#681663: omake: wrong link option order in CheckCLib breaks with ld-as-needed

2012-07-23 Thread Stéphane Glondu
Le 15/07/2012 12:26, Florian Hatat a écrit : > Fixing the bug is easy: one only need to replace CFLAGS with LFLAGS in > the definition of CheckCLib (lib/configure/Configure.om). > > Upstream bug: http://bugzilla.metaprl.org/cgi-bin/show_bug.cgi?id=738 Did you send the patch upstream? Cheers, -

Bug#682441: ocaml: pthread_atfork symbol not linked correctly

2012-07-22 Thread Stéphane Glondu
On 22/07/2012 21:22, Aurelien Jarno wrote: > /usr/lib/ocaml/stublibs/dllthreads.so is not correctly linked with > libpthread, so pthread_atfork() which should be linked statically is > undefined and resolved at link time for architectures having a > GLIBC_2.2.5 compatibility version of this symbol

Bug#678577: ocaml: -custom breaks ocamlrun and ocamldebug

2012-06-25 Thread Stéphane Glondu
Le 25/06/2012 17:39, Ed Schwartz a écrit : > 3. As a developer, I should not need to incorporate Debian specific > hacks into my project, such as using OCAML_COMPAT. If Debian needs to > change or break the behavior of standard, open source tools, the > Debian scripts should be changed to opt-in t

Bug#678577: ocaml: -custom breaks ocamlrun and ocamldebug

2012-06-23 Thread Stéphane Glondu
Le 23/06/2012 00:04, Ed Schwartz a écrit : >>> Why do you use -custom if your executable works with plain ocamlrun? > > The Makefile that we use (https://bitbucket.org/mmottl/ocaml-makefile) > uses -custom by default. Several libraries we link to also use > -custom. > >> See /usr/share/doc/ocaml

Bug#678577: ocaml: -custom breaks ocamlrun and ocamldebug

2012-06-22 Thread Stéphane Glondu
Le 22/06/2012 22:46, Ed Schwartz a écrit : > Using debian's ocamlc: > > ed@debian:~/ocaml-3.12.1$ ocamlc -custom test.ml -o test.out > ed@debian:~/ocaml-3.12.1$ ocamlrun test.out > Fatal error: the file test.out is not a bytecode executable file Why do you use -custom if your executable works wit

Bug#667447: "common.o" not included in "dllsdlgfxstub.so"

2012-06-18 Thread Stéphane Glondu
Le 18/06/2012 00:27, Florent Monnier a écrit : > In the current ocamlsdl the libs "libsdlgfxstub.a" and "dllsdlgfxstub.so" > uses > functions that are defined in "common.c" but these libs are built without > "common.o". > > Now the module "Sdlgfx" in made to work with "Sdlvideo" which stub is b

Bug#667447: 2 patches for ocamlsdl

2012-06-17 Thread Stéphane Glondu
Le 05/06/2012 17:43, Olivier Andrieu a écrit : >>> I've made a new tarball release (0.9.0). >> >> Thanks. What about the first patch? It still applies to 0.9.0... > > AFAICT it's just a workaround for the same issue (typo in the META > file that prevented the > inclusion of the dependency). I was

Bug#676116: mlpost: FTBFS: Command exited with code 1.

2012-06-12 Thread Stéphane Glondu
Le 05/06/2012 00:29, Lucas Nussbaum a écrit : > Source: mlpost > Version: 0.8.1-2 > [...] >> + mkdir -p img/ && cd img/ && ../customdoc/img_doc.byte >> /dev/null && cd .. >> Command exited with code 1. >> make[2]: *** [doc] Error 10 Some observations: - mlpost compiles in a sid snapshot of 20120

Bug#673835: liblablgtksourceview2-ocaml: Could debian package provides upstream unreleased META file instead of wrong ad hoc one ?

2012-06-11 Thread Stéphane Glondu
Le 21/05/2012 19:13, Pierre Boutillier a écrit : > I use recently bind function in lablgtk but I can't check that it is > lablgtk 2.14.2 that is installed because the META file says it is 2.14.0. This is a bug indeed. > Upstream proposes now a much more complete META file that fixes several > is

Bug#673835: liblablgtksourceview2-ocaml: Could debian package provides upstream unreleased META file instead of wrong ad hoc one ?

2012-06-06 Thread Stéphane Glondu
Le 21/05/2012 19:13, Pierre Boutillier a écrit : > I use recently bind function in lablgtk but I can't check that it is > lablgtk 2.14.2 that is installed because the META file says it is 2.14.0. I'm fine with fixing the META file... > Upstream proposes now a much more complete META file that fix

Bug#676325: Request: Mldonkey-server with upnp support

2012-06-06 Thread Stéphane Glondu
Le 18/05/2012 07:12, William F. a écrit : > Why don't you compile binary packages with upnp support as default? I am not aware of a specific reason. Feel free to submit a patch, or be patient. You should file a bug for this kind of requests. I've submitted one for you. Please use its mail address

Bug#676325: Mldonkey-server with upnp support

2012-06-06 Thread Stéphane Glondu
Package: mldonkey-server Version: 3.1.1-1 Severity: wishlist Le 18/05/2012 07:12, William F. a écrit : > Why don't you compile binary packages with upnp support as default? -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact li

Bug#667447: 2 patches for ocamlsdl

2012-06-05 Thread Stéphane Glondu
Le 28/05/2012 20:34, Olivier Andrieu a écrit : >>> http://svnweb.mageia.org/packages/cauldron/ocaml- >>> sdl/current/SOURCES/dllsdlgfxstub.so-objs-src- >>> ocamlsdl-0.8.0.patch?revision=226883&view=markup >>> >>> http://svnweb.mageia.org/packages/cauldron/ocaml-sdl/current/SOURCES/META- >>> require

Bug#672366: Disabling "Automatically mark messages as read" does no longer work properly

2012-05-10 Thread Stéphane Glondu
Package: icedove Version: 10.0.3-3 Severity: normal Hello, Since recently, Icedove has started marking (some) messages as read when I display them, even though I explicitly disabled "Automatically mark messages as read" in preferences. It happens when I click on a message, or when I navigate thro

Bug#672353: IPv6 does not work

2012-05-10 Thread Stéphane Glondu
Package: linux-2.6 Version: 2.6.32-44 Severity: grave Tags: squeeze Hello, Since the upgrade linux-image-2.6.32-5-kirkwood 2.6.32-41squeeze2 -> 2.6.32-44, IPv6 is no longer working: $ sudo modprobe ipv6 FATAL: Error inserting ipv6 (/lib/modules/2.6.32-5-kirkwood/kernel/net/ipv6/ipv6.ko): Unknow

Bug#671916: quagga and babeld: error when trying to install together

2012-05-09 Thread Stéphane Glondu
Le 08/05/2012 09:40, Christian Hammers a écrit : > It seems the best if both quagga and babeld add a Conflict: against each other > as it does not make much sense to have both packages installed, or? As far as I understand it, Quagga's babeld is a fork of Juliusz Chroboczek's, and I guess from [1]

Bug#666825: Test rebuild of your package ocamlnet

2012-05-05 Thread Stéphane Glondu
Le 05/05/2012 13:48, a...@debian.org a écrit : > this is a follow-up message to your Apache 2.4 transition bug for > package ocamlnet. We are approaching an upload of the web server to > Debian's Unstable repository as soon as the release team acknowledges > the upload. Along that upload we are pla

Bug#671303: segfaults at startup when nscd is not running

2012-05-03 Thread Stéphane Glondu
Package: icedove Version: 10.0.3-3 Severity: important Hello, I am on a system that uses libnss-ldap. Icedove segfaults at startup when nscd is not running: > $ icedove -g -d gdb > /usr/lib/icedove/run-mozilla.sh -g -d gdb /usr/lib/icedove/icedove-bin > MOZILLA_FIVE_HOME=/usr/lib/icedove > LD_

Bug#667727: not multiarch-ready

2012-04-12 Thread Stéphane Glondu
Le 12/04/2012 13:50, Junichi Uekawa a écrit : > Yeah, that's expected in the current design. > > What's the multiarch-way of LD_PRELOADing ? A simple thing to do (and that would be enough for me) would be to put libcowdancer.so in a Multiarch:same package (so, basically, put it in an architecture

Bug#667727: not multiarch-ready

2012-04-06 Thread Stéphane Glondu
Package: cowbuilder Version: 0.69 Severity: wishlist User: multiarch-de...@lists.alioth.debian.org Usertags: multiarch Hello, cowbuilder doesn't work properly with multiarch. For example: # cowbuilder --login # dpkg --add-architecture i386 # apt-get update [...] # rm -f /usr/share/doc/gcc-4.7-ba

Bug#667447: 2 patches for ocamlsdl

2012-04-04 Thread Stéphane Glondu
Le 03/04/2012 21:07, Florent Monnier a écrit : > Here are 2 patches for ocamlsdl: > > http://svnweb.mageia.org/packages/cauldron/ocaml- > sdl/current/SOURCES/dllsdlgfxstub.so-objs-src- > ocamlsdl-0.8.0.patch?revision=226883&view=markup > > http://svnweb.mageia.org/packages/cauldron/ocaml-sdl/curr

Bug#667447: 2 patches for ocamlsdl

2012-04-03 Thread Stéphane Glondu
Package: src:ocamlsdl Version: 0.8.0-4 Severity: important Tags: patch Le 03/04/2012 21:07, Florent Monnier a écrit : > Here are 2 patches for ocamlsdl: > > http://svnweb.mageia.org/packages/cauldron/ocaml- > sdl/current/SOURCES/dllsdlgfxstub.so-objs-src- > ocamlsdl-0.8.0.patch?revision=226883&vi

Bug#665008: keeps segfaulting

2012-03-22 Thread Stéphane Glondu
Package: dnsmasq Version: 2.60-1 Severity: grave Hello, I cannot start a (squeeze) netboot install (on an eee pc 701) using dnsmasq on the server. In the past, I have already installed (successfuly) computers this way. Today, dnsmasq keeps segfaulting after downloading the kernel image. It also s

Bug#663754: ITP: hol-light -- HOL Light theorem prover

2012-03-20 Thread Stéphane Glondu
Le 19/03/2012 13:18, Hendrik Tews a écrit : >camlp5 is a development package, not a runtime one. From your >description, hol-light would also be a development package. > > I am sorry, but I don't understand the distinction between > runtime and development packages and its importance for

Bug#663754: ITP: hol-light -- HOL Light theorem prover

2012-03-18 Thread Stéphane Glondu
Le 18/03/2012 21:54, Hendrik Tews a écrit : > I believe the problem is that in > /var/lib/ocaml/md5sums/camlp5.md5sums the runtime field is "-". > > This is caused by using "--runtime-map camlp5" in the rules file > of camlp5, which sets only the development package name. > > If I build camlp5 wi

Bug#663754: ITP: hol-light -- HOL Light theorem prover

2012-03-16 Thread Stéphane Glondu
Le 16/03/2012 11:36, Hendrik Tews a écrit : > a first version of the hol-light package is available at > git://git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git Even though I've pushed (cosmetic) stuff there, I've not yet fully looked at everything. > I believe the compiled syntax extens

Bug#663666: FTBFS with camlp5 6.05

2012-03-13 Thread Stéphane Glondu
Package: src:geneweb Version: 6.03-1 Severity: wishlist Tags: patch Dear Maintainer, Your package fails to build from source with camlp5 6.05 (not yet uploaded, but available in git [1]). I've lost the build log, but the failure is basically due to the removal of Stdpp.Exc_located (which has been

Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions

2012-03-07 Thread Stéphane Glondu
Le 07/03/2012 20:16, Daniel Bünzli a écrit : > I'll make a new release. However since I may take this opportunity to batch > convert all my projects to oasis this may take a few days. Is there any short > term debian deadline ? Otherwise I can make a release asap. The freeze for the next stable

Bug#662632: RFS: libaio-ocaml/1.0~rc1

2012-03-07 Thread Stéphane Glondu
Le 07/03/2012 09:52, Goswin von Brederlow a écrit : > That is what major, minor and subversions (x.y.z) are for. If I change > only something in Debian I would not increment x or y and I would not > create a new tarball for release on e.g. ocamlforge. I find this confusing. Debian has standardized

Bug#662632: RFS: libaio-ocaml/1.0~rc1

2012-03-07 Thread Stéphane Glondu
Le 07/03/2012 09:14, Goswin von Brederlow a écrit : > I really don't get that argument. Nothing in having a debian directory > in the source hinders any other distribution. And plenty of sources > contain spec files for building rpms to no detriment to Debian. If any > non rpm based distribution pi

Bug#662632: RFS: libaio-ocaml/1.0~rc1

2012-03-06 Thread Stéphane Glondu
Le 06/03/2012 15:22, Benoît Knecht a écrit : > I think it important for any maintainer to clearly differentiate in > their mind upstream from Debian, even if they happen to be the same > person. Otherwise, you're artificially limiting your software to Debian, > which is at the opposite side of what

Bug#662746: mingw32-ocaml: fails to upgrade from squeeze

2012-03-05 Thread Stéphane Glondu
Le 06/03/2012 08:18, Andreas Beckmann a écrit : > during a test with piuparts I noticed your package fails to upgrade from > 'squeeze'. > It installed fine in 'squeeze', then the upgrade to 'wheezy' fails. > [...] Precision: it fails when using apt, but it works using aptitude. Could you please e

Bug#662738: frama-c: segfault when running frama-c-gui

2012-03-05 Thread Stéphane Glondu
Le 06/03/2012 07:00, Raphael Geissert a écrit : > The backtrace goes all the way to libQtGui.so.4 (I use the libqt4 gtk > engine) from the following: How to use the libqt4 gtk engine? Can you reproduce the bug with the standard gtk engine? (I cannot) Cheers, -- Stéphane -- To UNSUBSCRIBE,

Bug#662632: RFS: libaio-ocaml/1.0~rc1

2012-03-05 Thread Stéphane Glondu
Le 05/03/2012 12:33, Goswin von Brederlow a écrit : > I am looking for a sponsor for my package "libaio-ocaml" I've looked at the git repository (037a448). It is written explicitly in [1]: "Do not close RFS bugs in debian/changelog." but the bug you refer to in debian/changelog is a RFS bug

Bug#662281: camlimages: Please Build-Depends on libpng-dev, change from libpng12-dev

2012-03-05 Thread Stéphane Glondu
Le 05/03/2012 04:23, Nobuhiro Iwamatsu a écrit : > Please change Build-Depends of the package from libpng12-dev to libpng-dev. PTS says that camlimages is part of libtiff4-symbols transition. Can I upload it anyway? Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@l

Bug#467563: camlp5 strict mode?

2012-03-03 Thread Stéphane Glondu
Le 01/03/2012 15:50, Hendrik Tews a écrit : >> ledit, geneweb and coq build without problems with strict camlp5. > >Did you test with the latest version (6.04)? Thanks a lot for your great >work. > > No, I used the current camlp5 package (6.02.3-1), changed it to > strict mode, instal

Bug#467563: camlp5 strict mode?

2012-03-01 Thread Stéphane Glondu
Le 01/03/2012 13:51, Hendrik Tews a écrit : >There are other reverse build-dependencies: matita, ssreflect, >geneweb... and maybe others (transitively). Someone has to test. > > ulex0.8 does not build with a strict camlp5: > > ocamlc -a -o pa_ulex.cma -pp 'camlp5o pa_extend.cmo q_MLas

Bug#661775: FTBFS with ocamlnet 3.5.1

2012-03-01 Thread Stéphane Glondu
Package: src:approx Version: 3.5-1 Severity: serious Tags: patch Hello, approx fails to build from source with ocamlnet 3.5.1: > /usr/bin/ocamlopt -c -warn-error A -I +netstring -o url.cmx url.ml > + /usr/bin/ocamlopt -c -warn-error A -I +netstring -o url.cmx url.ml > File "url.ml", line 1, char

Bug#661716: ocaml: adapt testsuite/tests/asmcomp/i386.S for hurd-i386

2012-02-29 Thread Stéphane Glondu
Le 29/02/2012 18:04, Pino Toscano a écrit : > the asmcomp tests fail to link on hurd-i386, because the "call_gen_code" > symbol is missing. > The problem is that in testsuite/tests/asmcomp/i386.S the #define's that > are enabled for hurd are wrong. Using the linux_elf ones (just also it > is done i

Bug#467563: camlp5 strict mode?

2012-02-29 Thread Stéphane Glondu
Le 29/02/2012 11:23, Pierre Boutillier a écrit : > ssreflect and aactactics are OK > > ulex does NOT depend anymore on camlp5 since v1.0: > CHANGES: > 1.0 > * Update to the new Camlp4 and to ocamlbuild (release for OCaml 3.10 >only), by Nicolas Pouillard. Err... we were talking about

Bug#467563: camlp5 strict mode?

2012-02-29 Thread Stéphane Glondu
Le 29/02/2012 10:03, Pierre Boutillier a écrit : > I'm sorry but I do not see an answer to that question in the thread: Why > do we keep a camlp5 in transitionnal mode ? This is a good question that I've been thinking about. > For packages, Coq and ledit support strict mode. The only remaining >

Bug#467563: camlp5 strict mode?

2012-02-29 Thread Stéphane Glondu
Le 29/02/2012 10:01, Hendrik Tews a écrit : >What about the library? > > You mean camlp5.cma and its variants? They differ between strict > and transitional modes and their name is hardcoded in the > Makefile as well. There might be some objects which are > identical, eg. /usr/lib/ocaml/camlp5

Bug#467563: camlp5 strict mode?

2012-02-29 Thread Stéphane Glondu
Le 28/02/2012 23:16, Hendrik Tews a écrit : > I looked at how camlp5 is compiled and I believe to build > transitional _and_ strict camlp5 executables and libraries from > one source package will require quite a bit of work. The reason > is that the names of executables and libraries are hardcoded

Bug#467563: camlp5 strict mode?

2012-02-28 Thread Stéphane Glondu
Le 28/02/2012 09:21, Hendrik Tews a écrit : > I just noticed that camlp5 from Debian cannot compile hol-light, > because the latter requires a strict camlp5 (with configure -strict). > Has it ever be considered adding a Debian package for a strict > camlp5? See http://bugs.debian.org/cgi-bin/bugr

Bug#659002: ocaml-nox: ocaml-compiler with mysterious effects if somewhere a comment with open quotation, example (* 3" *)

2012-02-16 Thread Stéphane Glondu
Le 15/02/2012 16:44, Andreas Romeyke a écrit : >> File "brackets.ml", line 3, characters 0-2: >> Error: Comment not terminated >> >> I believe it's an OCaml feature, that strings inside comments >> must be terminated (but I cannot find it in the manual). > That would be a very strange featu

Bug#659079: aptitude: packages appear twice and always new with multiarch

2012-02-07 Thread Stéphane Glondu
Package: aptitude Version: 0.6.4-1.2 Severity: important User: multiarch-de...@lists.alioth.debian.org Usertags: multiarch Dear Maintainer, After installing dpkg 1.16.2~wipmultiarch from experimental, aptitude show (what seems to be) all packages twice, and a version of all of them always appears

Bug#611895: ITP: django-kombu -- Kombu transport using the Django database as a message

2012-01-26 Thread Stéphane Glondu
Fladischer Michael wrote: > * Package name: django-kombu > Version : 0.9.1 > Upstream Author : Ask Solem > * URL : http://github.com/ask/django-kombu/ > * License : BSD > Programming Lang: Python > Description : Kombu transport using the Django database

Bug#656349: mumudvb: fails to purge - command (deluser|adduser) in postrm not found

2012-01-18 Thread Stéphane Glondu
Le 18/01/2012 18:21, Andreas Beckmann a écrit : > The fix should be easy: your package is using adduser or deluser from > the adduser package, which is only priority important. Using useradd or > userdel from the passwd package should fix this problem. Or maybe just not delete the user on purge...

Bug#656307:

2012-01-18 Thread Stéphane Glondu
Le 18/01/2012 11:28, Romeyke, Andreas a écrit : > After upgrading Debian Squeeze to Testing, our ocaml based project does not > compile anymore, > because something is wrong now with sexplib. > > We got the message "Error: Unbound value string_of_sexp". > > With sexplib from Squeeze, all will com

Bug#641462: Unison 2.40.63...

2012-01-08 Thread Stéphane Glondu
Hello, I've just uploaded Unison 2.40.63 to experimental. I haven't tested it extensively myself; please do and report success/failure. It seems that the documentation is broken. I haven't investigated much. Help would be appreciated. I've also uploaded a unison2.32.52 package to unstable (it is

Bug#526350: python-celery-2.3.1

2011-11-21 Thread Stéphane Glondu
On Sun, 28 Aug 2011 11:22:03 +0200, Muharem Hrnjadovic wrote: > I packaged python-celery-2.3.1 (as well as some of the dependencies): > https://launchpad.net/~openquake/+archive/staging/+packages > > How can I contribute it to debian? Can someone with proper expertise review this, please? C

Bug#649439: New upstream version

2011-11-20 Thread Stéphane Glondu
Le 20/11/2011 23:53, Erik de Castro Lopo a écrit : > Package: libcairo-ocaml-dev > Version: 1:1.2.0-2+b1 > Severity: normal > > There is a new upstream version (3.5) available here: > > http://forge.ocamlcore.org/projects/cairo/ It is not the same upstream. They don't even look related. Whi

Bug#627132: New "-custom" binary generation breaks stack backtraces

2011-11-15 Thread Stéphane Glondu
Le 16/11/2011 00:07, Stephen McCamant a écrit : > So my personal opinion is that the original bug isn't really "fixed", > but it's close enough that I think it would be within your > maintainer's discretion to declare it so. Or alternatively this feels > somewhat like a "help" or "wontfix" situatio

Bug#627132: New "-custom" binary generation breaks stack backtraces

2011-11-15 Thread Stéphane Glondu
On 05/24/2011 11:41 AM, Stéphane Glondu wrote: >> The "strip"ping problem that appeared to motivate the new embedding >> process had never bothered us, so another suitable workaround from our >> perspective would be if there was a way to disable the >> new "

Bug#647724: Removal of orpie

2011-11-06 Thread Stéphane Glondu
> will ocamlgsl on mips and mipsel be fixed sometime, so orpie will > be available on those architectures again? Actually, ocamlgsl compiles with no error when the #error directive is commented out. There is a "make test" target, but it uses an unknown "fort" command... and even so, the test-suite

Bug#647593: RM: ocamlgsl [mips mipsel] -- ROM; broken on architectures with double-word alignment requirement

2011-11-05 Thread Stéphane Glondu
Le 05/11/2011 13:19, Luca Falavigna a écrit : >> Please remove the binary packages of ocamlgsl on mips and mipsel. > > What to do with orpie? > > # Broken Build-Depends: > orpie: libocamlgsl-ocaml-dev Can you remove its mips* binaries as well, please? Cheers, -- Stéphane -- To UNSUBSCRIB

Bug#647593: RM: ocamlgsl [mips mipsel] -- ROM; broken on architectures with double-word alignment requirement

2011-11-04 Thread Stéphane Glondu
Package: ftp.debian.org Severity: normal Hi, Please remove the binary packages of ocamlgsl on mips and mipsel. They are probably broken, and ocamlgsl does no longer build with OCaml 3.12.1 and they block the OCaml transition. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist

Bug#639288: FTBFS: error: [...] libexpat.so: No such file or directory

2011-11-02 Thread Stéphane Glondu
block 633304 with 639288 thanks On 11/02/2011 08:27 AM, Stéphane Glondu wrote: > CC gvconfig.lo > CC gvtextlayout.lo > CC gvusershape.lo > CC gvc.lo > CCLD libgvc.la > x86_64-linux-gnu-gcc: error: /usr/lib/x86_64-linux-gnu/libexpat.so:

Bug#647357: FTBFS: error: [...] libexpat.so: No such file or directory

2011-11-02 Thread Stéphane Glondu
Package: src:graphviz Version: 2.26.3-7 Severity: serious Dear Maintainer, graphviz fails to build from source on all architectures. On amd64, it fails with: CC gvconfig.lo CC gvtextlayout.lo CC gvusershape.lo CC gvc.lo CCLD libgvc.la x86_64-linux-gnu-gcc

Bug#647268: RuntimeError: Failed to load the Progress Indicator plugin [...]

2011-11-01 Thread Stéphane Glondu
Package: calibre Version: 0.8.21+dfsg-1 Severity: grave Dear maintainer, It is impossible to run calibre today: $ calibre Traceback (most recent call last): File "/usr/bin/calibre", line 19, in sys.exit(main()) File "/usr/lib/calibre/calibre/gui2/main.py", line 338, in main app, opt

Bug#638353: Hardcoding LANG in Xsession script "works" as a, temporary work-around

2011-10-28 Thread Stéphane Glondu
Hello, While trying to set the language in my GNOME session, I found this bug. > Is the file in /var/lib/AccountsService correctly updated when you do > the change in the control center? It is. > (Note that if you want to set a default system language, you should do > it in /etc/default/locale

Bug#646687: gnome-panel: freezes after trying to resize a window

2011-10-26 Thread Stéphane Glondu
Am 26.10.2011 10:34, schrieb Stéphane Glondu: > When I add something to the panel (alt + right click on it), a > seemingly resizable window pops up. When I try to resize it, it > doesn't work, and the whole graphical part of the window manager > freezes: I can no longer access the

Bug#646705: Several dozen *.unison.tmp-bad scattered about my file syste

2011-10-26 Thread Stéphane Glondu
On 26/10/2011 14:17, clayton wrote: > I have about 2G of files in my home directory, which I generally sync > multiple times per week. Scattered throughout this 2G, dated > throughout the life of this installation, are more then 40M of files named > *.unison.tmp-bad, ie. > > ../.miro/.unison.sq

Bug#646687: gnome-panel: freezes after trying to resize a window

2011-10-26 Thread Stéphane Glondu
On 26/10/2011 11:31, Michael Biebl wrote: > Is this problem reproducible if you use metacity? No. -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

<    4   5   6   7   8   9   10   11   12   13   >