Bug#612892: RM: matita/0.5.8-2+b1

2011-02-11 Thread Stéphane Glondu
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: rm Hello, With approval of its maintainer, and for the reasons explained in [1], I request the removal of matita from testing. [1] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=612891 Cheers,

Bug#613372: ocsigen: Fails to start (Findlib package lwt.ssl [...] not found)

2011-02-14 Thread Stéphane Glondu
Le 14/02/2011 13:04, ygrek a écrit : Freshly installed ocsigen silenty fails to start: $ sudo aptitude install ocsigen [...] $ sudo invoke-rc.d ocsigen force-start Starting ocsigen: ocsigen. $ ps faux | grep ocs | grep -v grep $ sudo tail /var/log/ocsigen/errors.log 2011-02-14 13:06:40 - Fatal -

Bug#613848: (mini-)transition of OCaml libraries: camlp5, lablgtk2, ...

2011-02-17 Thread Stéphane Glondu
Package: release.debian.org Severity: normal Owner: glo...@debian.org User: release.debian@packages.debian.org Usertags: transition Hello, I've prepared a small transition of some libs to new upstream versions, to be completed before the transition to OCaml >= 3.12 (not yet planned). I've doc

Re: Transition to OCaml 3.12.0...

2011-02-17 Thread Stéphane Glondu
Le 10/02/2011 10:12, Sylvain Le Gall a écrit : > I also have a pair of packages to update (sexplib, type-conv, bin-prot, > ounit). Since some of them will break the distribution and should > trigger the need to binNMU some other packages, I am not sure how to > proceed: 1) upload new version during

Re: Bug#587982: glmlite: changing back from ITP to RFP

2011-02-20 Thread Stéphane Glondu
Le 19/02/2011 18:08, Lucas Nussbaum a écrit : > This is an automatic email to change the status of glmlite back from ITP > (Intent to Package) to RFP (Request for Package), because this bug hasn't seen > any activity during the last 6 months. I've started to package glmlite, and the basic packagin

Accepted coq 8.2.pl2+dfsg-2 (source all amd64)

2011-02-21 Thread Stéphane Glondu
-By: Stéphane Glondu Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml-dev - development libraries and tools

Bug#614933: camldebug doesn't work with a pristine emacs installation

2011-02-24 Thread Stéphane Glondu
Package: tuareg-mode Version: 1:2.0.4-3 Severity: important Hello, 1. run emacs without ~/.emacs file 2. open any .ml file 3. M-x camldebug fails with the following error: > execute-extended-command: Symbol's value as variable is void: caml-mode-map even though the status bar indicates that

Bug#614524: cmigrep: FTBFS: Error: Unbound value Findlib.init

2011-02-24 Thread Stéphane Glondu
Le 22/02/2011 07:47, Lucas Nussbaum a écrit : > Source: cmigrep > Version: 1.5-7 > Severity: serious > Tags: wheezy sid > User: debian...@lists.debian.org > Usertags: qa-ftbfs-20110221 qa-ftbfs > Justification: FTBFS on amd64 A fix of that is scheduled to be uploaded during the OCaml 3.12.0 transi

Bug#615062: nmu: packages broken by #613848

2011-02-25 Thread Stéphane Glondu
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: binnmu Hello, Here is a binNMU request for packages that are broken by the (mini-)transition tracked with #613848. I've simulated it on amd64, and everything compiles [1] except ocaml-melt which se

Re: Bug#615140: libsoundtouch-dev: needs to provide libsoundtouch1-dev

2011-02-25 Thread Stéphane Glondu
Le 26/02/2011 01:38, Julien Cristau a écrit : > Package: libsoundtouch-dev > Version: 1.5.0-3 > Severity: serious > Justification: i said so > > Apparently you decided to start a SONAME transition with no coordination > with the release team. This will clash with the ongoing transition to > ffmpe

Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs

2011-02-25 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: ocaml-cil Version : 1.3.7 Upstream Author : George C. Necula and others * URL : http://sourceforge.net/projects/cil/ * License : BSD Programming Lang: OCaml Description

Accepted coq 8.3.pl1+dfsg-2 (source all amd64)

2011-02-26 Thread Stéphane Glondu
Maintainers Changed-By: Stéphane Glondu Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for

Re: Bug#587982: glmlite: changing back from ITP to RFP

2011-02-26 Thread Stéphane Glondu
Le 27/02/2011 01:42, Florent Monnier a écrit : > It's true that some examples are made to work in the source tree, but I made > patches for this in the mandriva package and I have given yet the link for > this : http://lists.debian.org/debian-ocaml-maint/2010/03/msg00013.html > http://svn.mandriv

cmigrep from git is affected by #549679

2011-02-26 Thread Stéphane Glondu
Le 16/02/2011 20:32, Ralf Treinen a écrit : > [...] > + * Use dh-ocaml for ocaml dependencies, bump version of dh-ocaml and > ocaml-nox > +accordingly. > [...] > Package: cmigrep > Architecture: all > -Depends: ocaml-base-nox-${F:OCamlABI}, libpcre-ocaml, ${misc:Depends} > +Depends: ${ocaml

Re: ocamlnet3?

2011-03-02 Thread Stéphane Glondu
Le 03/03/2011 05:37, Eric Cooper a écrit : > What's the status of packaging ocamlnet3? If someone has already > started, please let me know if there's anything I can do to help. I am not aware of that. It was on my TODO-list, but after OCaml 3.12.0, Lwt 2.2.1, Ocsigen 1.3.4 (which are basically r

Re: updating ocamlnet

2011-03-06 Thread Stéphane Glondu
Le 05/03/2011 22:49, Eric Cooper a écrit : > What's the best way to cherry-pick the fixes from SVN? I'd like to > add them to debian/patches (preferably automatically), so that they > can be easily dropped when Gerd releases the next upstream version. What do you mean by "automatically"? There a

Re: updating ocamlnet

2011-03-06 Thread Stéphane Glondu
Le 06/03/2011 17:04, Eric Cooper a écrit : >>> What's the best way to cherry-pick the fixes from SVN? I'd like to >>> add them to debian/patches (preferably automatically), so that they >>> can be easily dropped when Gerd releases the next upstream version. >> >> What do you mean by "automatically

Re: ocamlopt failure under git-pbuilder

2011-03-06 Thread Stéphane Glondu
Le 07/03/2011 03:20, Eric Cooper a écrit : > [...] > ocamlfind ocamlopt -package "unix pcre" -c netsys_impl_util.ml > /tmp/camlasm44a107.s: Assembler messages: > /tmp/camlasm44a107.s:581: Error: .size expression does not evaluate to a > constant > File "netsys_impl_util.ml", li

Bug#617260: pa_*.cma should be in libodn-ocaml-dev instead of libodn-ocaml

2011-03-07 Thread Stéphane Glondu
Package: libodn-ocaml Version: 0.0.2-2 Severity: wishlist Hello, Everything is said in subject... this bug probably belongs to oasis2debian... feel free to reassign. Cheers, -- Stéphane -- System Information: Debian Release: wheezy/sid APT prefers testing APT policy: (990, 'testing'), (5

Re: are dll*.so.owner files needed in stublibs?

2011-03-07 Thread Stéphane Glondu
Le 07/03/2011 18:32, Eric Cooper a écrit : > If the .owner files are needed and/or useful, then many -dev packages > should include them that currently don't (possible MBF?), > and the few runtime libraries that currently have them shouldn't. The .owner files are there to keep track of the package

Bug#617404: binutils 2.21 breaks ocamlopt for amd64, i386...

2011-03-08 Thread Stéphane Glondu
Subject: ocamlopt broken by binutils 2.21 Package: ocaml Severity: grave Version: 3.11.2-2 Tags: wheezy sid Le 08/03/2011 14:00, Eric Cooper a écrit : I was able to fix this problem; a patch is attached to the issue report in http://caml.inria.fr/mantis/view.php?id=5237 I only did a full

Re: Bug#617404: binutils 2.21 breaks ocamlopt for amd64, i386...

2011-03-08 Thread Stéphane Glondu
Le 09/03/2011 01:08, Eric Cooper a écrit : > The i386 patch from spiralvoice is not quite right -- it needs a > begin/end around the match expression, otherwise the float constants > only get emitted in the "| _ ->" branch. Indeed. I am building a new version of the package (on i386, this time :)

Re: ocamlopt failed on ASM compilation

2011-03-08 Thread Stéphane Glondu
Le 09/03/2011 01:14, Sylvestre Ledru a écrit : > Since recently, Scilab build process has been failing on the following > commands in a unstable chroot: [...] This is due to a new behaviour of binutils 2.21. See this thread: http://lists.debian.org/debian-ocaml-maint/2011/03/msg00044.html This

Re: Transition to OCaml 3.12.0...

2011-03-10 Thread Stéphane Glondu
Le 10/03/2011 09:17, Ralf Treinen a écrit : >> Now that Squeeze is released, we can actively work on getting OCaml >> 3.12.0 into Debian... I've updated the coordination wiki page [1]. > > That was one month ago ... Any idea when this transition is going to happen? After #613848 is done. Cheers

Bug#617751: ocaml-soundtouch: Shouldn't link against stdc++

2011-03-10 Thread Stéphane Glondu
Le 11/03/2011 05:43, Cyril Brulebois a écrit : > noticed “thanks” to a buildd glitch (g++ missing): > | /usr/bin/ocamlc -c soundtouch.mli > | /usr/bin/ocamlc -c soundtouch.ml > | ocamlmklib -L/usr/lib \ > | -o soundtouch_stubs soundtouch_stubs.o > -lSoundTou

Coordination of transition (or lack of...)

2011-03-12 Thread Stéphane Glondu
Dear Eric and Romain (and everyone else involved in maintenance of OCaml packages), Would you please stop uploading packages that are involved in the ongoing transition of OCaml libraries? The current one will never finish if you keep uploading new packages. Eric, could you cancel your delayed up

Re: Coordination of transition (or lack of...)

2011-03-12 Thread Stéphane Glondu
Le 12/03/2011 15:21, Stéphane Glondu a écrit : > Eric, could you cancel your delayed upload of approx? I've done it myself. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Troubl

RFC: fix non-strippability of -custom executables in a Debian-specific way

2011-03-15 Thread Stéphane Glondu
Hello, I would like to apply to the ocaml package in Debian the patch I submitted at [1], even though it has been rejected upstream. I still agree that -custom should be avoided when possible... but contrarily to Xavier, I don't think it is always possible *and relevant* in practice. I'm thi

Re: RFC: fix non-strippability of -custom executables in a Debian-specific way

2011-03-15 Thread Stéphane Glondu
Le 15/03/2011 17:58, Richard W.M. Jones a écrit : I would like to apply to the ocaml package in Debian the patch I submitted at [1], even though it has been rejected upstream. Patch looks sensible, but I'm curious, I can't find why it was rejected upstream. From a Fedora POV we'd much prefer s

Re: js-of-ocaml_1.0-1_amd64.changes REJECTED

2011-03-16 Thread Stéphane Glondu
Le 16/03/2011 17:20, Alexander Reichle-Schmehl a écrit : > I'm sorry, but I need to reject your package, as you missed some copyright > holders and licenses in your copyright file. You're missing at least > examples/{minesweeper,boulderdash,sudoku}. I didn't check for more. I agree for minesweepe

Re: Bug#615158: Progress?

2011-03-17 Thread Stéphane Glondu
Le 12/03/2011 18:37, Michael Tautschnig a écrit : > As I'd be interested in getting a package into Debian that would at least > suggest Cil I was wondering whether you had already been successful in > packaging > Cil. I've pushed a preliminary packaging to: http://git.debian.org/?p=pkg-ocaml-m

Bug#618757: FTBFS with camlp5 6.02.1

2011-03-18 Thread Stéphane Glondu
Package: otags Version: 3.09.3.3-1~11 Severity: serious Tags: wheezy sid Hello, I've just noticed that otags FTBFSes since the recent upgrade of camlp5: > Configuration summary: > binaries will be copied to /usr/bin > libraries will be copied to /usr/lib/ocaml/otags/ > native-cod

Bug#618871: transition: ocaml

2011-03-19 Thread Stéphane Glondu
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition Hello, The Debian OCaml team is ready for a transition to OCaml 3.12.0. All packages depending on ocaml-base-nox-3.11.2 and ocaml-base-3.11.2 will be affected. I am waiting for the appr

Bug#619344: ocaml 3.11.2-4 FTBFS on Ubuntu natty

2011-03-23 Thread Stéphane Glondu
reopen 619344 retitle 619344 Not ready for multiarchified libx11-dev thanks Le 23/03/2011 01:54, Artur Rona a écrit : > I was trying to build ocaml 3.11.2-4 on Ubuntu natty, but it fails to > build. I don't know how to fix it. > [...] > X11 not found, the "graph" library will not be supported. > [

Bug#620031: Subject: unison-gtk: Ceased asking for SSH password

2011-03-29 Thread Stéphane Glondu
severity 620031 important tags 620031 + confirmed thanks Le 29/03/2011 13:06, Torsten Crass a écrit : Justification: renders package unusable Severity: grave unison-gtk still works when no terminal interaction is involved (e.g. when you use an agent). After a recent upgrade, unison-gtk cea

Bug#619344: Not ready for multiarchified libx11-dev

2011-03-30 Thread Stéphane Glondu
Le 23/03/2011 21:02, Steve Langasek a écrit : [...] But it does fix the problem, though it can't really be applied to ocaml until dpkg 1.16.0 is uploaded to Debian. Does it really matter that /usr/lib/`dpkg-architecture -qDEB_HOST_MULTIARCH` is used? Wouldn't using something like `pkg-config -

Bug#622144: ocaml-ssl: implicit declaration of function 'SSLv2_client_method'

2011-04-11 Thread Stéphane Glondu
Le 10/04/2011 17:13, Kurt Roeckx a écrit : > SSLv2 support got removed, but it seems you still try to use the > functions. I suspect this is yet an other case of a wrapper of the > openssl library. [...] Indeed. Are SSLv23_* functions still OK to use? > [...] You can check that those functions d

Re: Bug#618871: transition: ocaml

2011-04-15 Thread Stéphane Glondu
Le 16/04/2011 01:11, Mehdi Dogguy a écrit : >>> The Debian OCaml team is ready for a transition to OCaml 3.12.0. All >>> packages depending on ocaml-base-nox-3.11.2 and ocaml-base-3.11.2 will >>> be affected. >>> [...] > Yeah, please go ahead! Great! I will do another round on open bugs against dh

Re: Bug#618871: transition: ocaml

2011-04-17 Thread Stéphane Glondu
Le 16/04/2011 19:37, Eric Cooper a écrit : >> [1] http://wiki.debian.org/Teams/OCamlTaskForce/OCamlTransitions > > I have a new upstream version of approx waiting to upload, so it > need not be binNMU'd. But I couldn't figure out what I should add to > [1] to indicate this. I did it. Cheers,

Re: Bug#618871: transition: ocaml

2011-04-17 Thread Stéphane Glondu
Le 17/04/2011 20:44, Ralf Treinen a écrit : >> Great! I will do another round on open bugs against dh-ocaml and ocaml, >> and upload them soon, then wait for the new ocaml to be available on all >> architectures, then schedule the binNMUs. Mehdi has set up a monitoring page [1], and I've updated [

Accepted ocurl 0.5.3-2 (source amd64)

2011-04-18 Thread Stéphane Glondu
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 18 Apr 2011 18:46:28 +0200 Source: ocurl Binary: libcurl-ocaml-dev libcurl-ocaml Architecture: source amd64 Version: 0.5.3-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu

Accepted coq 8.3.pl2+dfsg-1 (source all amd64)

2011-04-19 Thread Stéphane Glondu
Maintainers Changed-By: Stéphane Glondu Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml - runtime libraries for Coq

Re: do I need a versioned build-dependency on ocaml-nox?

2011-04-27 Thread Stéphane Glondu
Le 27/04/2011 21:09, Eric Cooper a écrit : > Suppose a program compiles with any version of OCaml since oldstable, > i.e., doesn't use any newer features of the language. Is there any > reason for its debian/control file to use a versioned build-dependency > on ocaml-nox? I don't see any. I tend

Re: do I need a versioned build-dependency on ocaml-nox?

2011-04-27 Thread Stéphane Glondu
Le 27/04/2011 22:02, Eric Cooper a écrit : >> Do you have a specific example in mind? It already happened in the past >> that versioned build-dependency were "artificially" added to ease some >> transitions... > > I was just updating approx's debian/control file before I upload it. Please, wait f

Re: Packaging xen-api and xen-api-libs

2011-05-01 Thread Stéphane Glondu
Le 01/05/2011 13:37, Thomas Goirand a écrit : > [...] I was > wondering if any of the DD behind Ocaml could: > > - point me to Ocaml library packaging howtos http://pkg-ocaml-maint.alioth.debian.org/ocaml_packaging_policy.html/index.html > - volunteer for co-maintainance of these packages I'm n

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

2011-05-18 Thread Stéphane Glondu
Le 17/05/2011 23:33, Stephen McCamant a écrit : > [...] another suitable workaround from our > perspective would be if there was a way to disable the > new "-output-obj"-style behavior. The previous behaviour was compiling a runtime (as with -make-runtime), a pure bytecode using this runtime (as w

Re: Automatic dependencies for shared modules

2011-05-24 Thread Stéphane Glondu
Le 24/05/2011 04:04, Romain Beauxis a écrit : > Basically, we want optional plugins, e.g. liquidsoap-plugins-sdl, > which depends only on the corresponding C libraries, in this case the > libsdl, but no ocaml module. [...] The error message is legitimate in this case. Actually, this specific case

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

2011-05-24 Thread Stéphane Glondu
clone 627132 -1 retitle -1 Sys.executable_name is not set properly by caml_startup_code severity -1 important thanks Le 20/05/2011 03:11, Stephen McCamant a écrit : I haven't checked the source code for this, but my first guess is that the program might be trying to find its own executable by lo

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

2011-05-24 Thread Stéphane Glondu
clone 627132 -1 retitle -1 provide a way to use legacy custom linking thanks Le 17/05/2011 23:33, Stephen McCamant a écrit : 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 wa

Re: Automatic dependencies for shared modules

2011-05-24 Thread Stéphane Glondu
Le 24/05/2011 16:31, Romain Beauxis a écrit : Hmm.. You mean build a cmxs for sdl at build-time? First, this would give the same error and it would also increase the complexity of the dynamic loading, in order to resolve dependencies etc.. I meant building sdl.cmxs in ocaml-sdl package. It's qu

Bug#582957: ocaml-mode: Misuse of next-line

2011-05-24 Thread Stéphane Glondu
tags 582957 + moreinfo thanks Le 24/05/2010 23:15, Christophe Troestler a écrit : > When using the caml-mode emacs reports that > > Warning: `next-line' used from Lisp code > That command is designed for interactive use only > > It is quite annoying (the warning splits the window and prevent

Re: Automatic dependencies for shared modules

2011-05-28 Thread Stéphane Glondu
Le 28/05/2011 06:54, Romain Beauxis a écrit : >> I meant building sdl.cmxs in ocaml-sdl package. It's quite easy and can be >> done in debian/rules. Have a look at postgresql-ocaml, for example. Then the >> META, *.cmxs and *.cma should be moved to the runtime package. dh_ocaml >> should then infer

Re: Automatic dependencies for shared modules

2011-06-22 Thread Stéphane Glondu
Le 22/06/2011 22:27, Mehdi Dogguy a écrit : >> I'd like to upload an updated dh_ocaml package soon, so as to fix >> the experimental liquidsoap package. Let me know if this ok for the >> team. >> > > We don't have any major transition going on, so I don't see why we > should hold back this upload.

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

2011-06-26 Thread Stéphane Glondu
Le 26/06/2011 07:34, Ian Zimmerman a écrit : > The problem is that the dependency on libev-dev is not versioned. I had > both libev3 and libev4 installed, plus libev-dev 3.x. It depends on the libev it was compiled with. It's unfortunate that you can have both libev4 and libev-dev 3.x installed a

Bug#631829: FTBFS almost everywhere

2011-06-27 Thread Stéphane Glondu
Package: src:bin-prot Version: 1.3.1-1 Severity: serious Hello, The latest version of bin-prot fails to build from source on almost all architectures. Besides, there is a known issue with OCaml 3.12.1 [1]. I've notified upstream; they are investigating... [1] http://article.gmane.org/gmane.comp.

Bug#631852: Please package camlimages 4.0.1

2011-06-28 Thread Stéphane Glondu
Le 27/06/2011 21:09, Samuel Mimram a écrit : > 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...). [For Jun and Pierre: Samuel is asking for an update of the Debian package of camlimages

Bug#632246: dom-new-git-repo does not work

2011-07-01 Thread Stéphane Glondu
Le 30/06/2011 21:51, Romain Beauxis a écrit : dom-new-git-repo has been broken since the recent alioth migration: 14:48 toots@leonard ~/sources/svn/debian% dom-new-git-repo ocaml-mm I: initialize (empty) remote repository on alioth.d.o Warning: the RSA host key for 'alioth.debian.org' differs fr

Re: ocamlnet3

2011-07-03 Thread Stéphane Glondu
Le 24/04/2011 15:47, Eric Cooper a écrit : >> Forgot to mention that uploading a new ocamlnet package means recompiling >> its reverse dependencies, which are already ready with respect to OCaml and >> OCamlnet. So, I'd rather prefer to wait the transition to finish. Then, >> we could upload OCamln

Re: ocamlnet3

2011-07-07 Thread Stéphane Glondu
Le 06/07/2011 16:25, Eric Cooper a écrit : > ocamlnet3 is not "plug-compatible" with ocamlnet2. Most programs will > need small changes in their build scripts to deal with slightly > different include and lib paths. [...] I've recompiled all OCaml-related packages with some updates (most notably,

Bug#633304: transition: ocaml

2011-07-09 Thread Stéphane Glondu
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition Hello, OCaml 3.12.1 has been recently released. It is mostly bugfixes. I've rebuilt all packages that depend on ocaml, and I see no blocker to update it in Debian. I've planified the mig

Accepted cduce 0.5.4-1 (source amd64)

2011-07-11 Thread Stéphane Glondu
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 11 Jul 2011 21:22:36 +0200 Source: cduce Binary: cduce Architecture: source amd64 Version: 0.5.4-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Description: cduce

Re: OCaml *.cmxs files have to go into which package?

2011-07-13 Thread Stéphane Glondu
Le 13/07/2011 21:48, Ralf Treinen a écrit : > Should *.cmxs files (native plugins for dynamic loading) go into the > libxxx-ocaml or into libxxx-ocaml-dev package? I haved never used them > myself for my projects but, as far as I understand, they may be necessary > just to execute a certain binary.

Bug#633953: ITP: tyxml -- typed XML in OCaml

2011-07-15 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: tyxml Version : 1.91 Upstream Author : Thorsten Ohl, Vincent Balat, and others * URL : http://ocsigen.org/tyxml/install * License : LGPL Programming Lang: OCaml D

Bug#634621: ocaml: New upstream version available: 3.12.1

2011-07-19 Thread Stéphane Glondu
Le 19/07/2011 10:31, Giorgio Marinelli a écrit : New upstream version is available: 3.12.1 We are waiting for a slot from the release team, see [1]. If you need it, there are unofficial packages available at [2]. [1] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=633304 [2] http://ocaml.de

Migration to ocamlnet 3.3.5

2011-07-22 Thread Stéphane Glondu
Hello, I am planning to upload ocamlnet 3.3.5 to unstable as soon as ocsigen 1.3.4-2 migrates to testing (unless there is a build failure in experimental, but things look pretty good so far [1]). A few reverse dependencies need fixing [2], and all of them are fixed in git, except approx, for

Bug#635170: ITP: ocaml-config-file -- OCaml library for managing configuration files

2011-07-23 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: ocaml-config-file Version : 1.0 Upstream Author : Maxence Guesdon * URL : http://config-file.forge.ocamlcore.org/ * License : LGPL-2+ Programming Lang: OCaml Description

Bug#615991: ocamlnet: doesn't install documentation from src/netstring/doc

2011-07-23 Thread Stéphane Glondu
tags 615991 + moreinfo thanks ygrek wrote: > src/netstring/doc/INSTALL.xml describes different ways how netstring.cma > can be linked (alas not fully correct, but still). It should be > installed with -dev or -doc package. Is this still relevant with ocamlnet 3.3.5? Cheers, -- Stéphane --

Team-maintained packages with no designated maintainer...

2011-07-23 Thread Stéphane Glondu
Hello, I've recently uploaded many packages that needed update. For packages I don't especially care about, I make the updates "Team uploads" and don't spend much time on them. This gives the illusion that the packages are well maintained [0], but they definitely need more care. At least Stefano

Bug#635326: FTBFS with ocamlnet 3.3.5 on bytecode architectures

2011-07-25 Thread Stéphane Glondu
Package: src:liquidsoap Version: 1.0.0~beta2.1-3 Severity: serious Tags: sid Hi, Your package fails to build with ocamlnet 3.3.5 on bytecode architectures (and armel): Relevant part: > E: Error: unit Netsys_pollset_win32 exported in liquidsoap-plugin-lastfm but > already exported by libocamlnet

Bug#635326: FTBFS with ocamlnet 3.3.5 on bytecode architectures

2011-07-25 Thread Stéphane Glondu
tags 635326 + patch thanks Le 25/07/2011 09:41, Stéphane Glondu a écrit : > Your package fails to build with ocamlnet 3.3.5 on bytecode > architectures (and armel): > > Relevant part: >> E: Error: unit Netsys_pollset_win32 exported in liquidsoap-plugin-lastfm but >

Bug#635586: ITP: lablgtk-extras -- collection of modules for OCaml/LablGtk2 applications

2011-07-27 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: lablgtk-extras Version : 1.0 Upstream Author : Maxence Guesdon * URL : http://gtk-extras.forge.ocamlcore.org/ * License : LGPL-2+ Programming Lang: OCaml D

Bug#636019: RFA: galax -- XQuery implementation with static typing

2011-07-30 Thread Stéphane Glondu
Package: wnpp Severity: normal Hello, Currently, galax has no human maintainers. It is maintained by the Debian OCaml team because of the need of transition coordination, but needs more love and a dedicated maintainer. A potential maintainer should get familiar with [1], and in particular with o

Bug#636021: RFA: pxp -- OCaml library that implements an XML-1.0 validating parser

2011-07-30 Thread Stéphane Glondu
Package: wnpp Severity: normal Hello, Currently, pxp has no human maintainers. It is maintained by the Debian OCaml team because of the need of transition coordination, but needs more love and a dedicated maintainer. A potential maintainer should get familiar with [1], and in particular with our

Bug#636024: src:ocaml-batteries: FTBFS with camomile 0.8.3-1

2011-07-30 Thread Stéphane Glondu
Package: src:ocaml-batteries Version: 1.2.2-1 Severity: important Hello, Your package fails to build with camomile 0.8.3-1 (available in experimental). Relevant part of the log: > ocamlfind ocamlc -c -package camomile,num,str -I src -I libs -I testsuite -I > libs/estring -I build/optcomp -I src

Bug#636025: src:galax: FTBFS with camomile 0.8.3-1

2011-07-30 Thread Stéphane Glondu
Package: src:galax Version: 1.1-8 Severity: important Hello, Your package fails to build with camomile 0.8.3-1 (available in experimental). Relevant part of the log: > /usr/bin/ocamlc -w m -I . -I . -I /usr/bin/../lib/ocaml -I > /usr/lib/ocaml/pcre -I /usr/lib/ocaml/netstring -I /usr/lib/ocaml

Bug#636026: src:ocaml-gettext: FTBFS with camomile 0.8.3-1

2011-07-30 Thread Stéphane Glondu
Package: src:ocaml-gettext Version: 0.3.3-1 Severity: important Hello, Your package fails to build with camomile 0.8.3-1 (available in experimental). Relevant part of the log: > make[2]: Entering directory > `/tmp/ocaml-gettext-0.3.3/libgettext-camomile-ocaml' > ocamlfind ocamlc -package "get

Re: Help sought for compiling guestfs-browser

2011-08-01 Thread Stéphane Glondu
Le 31/07/2011 21:55, Hilko Bengen a écrit : > [...] (I > have just uploaded libguestfs and various bindings to experimental.) AFAICT, the upstream/1.10.5 tag is missing from the git repository (I assume you are using git-buildpackage?), and the pristine-tar branch is not up-to-date. Also: libgues

Re: Help sought for compiling guestfs-browser

2011-08-02 Thread Stéphane Glondu
Le 02/08/2011 11:39, Hilko Bengen a écrit : > It compiles with camomile 0.8, but not with 0.7. Are there any plans to > move the newer camomile package to unstable soon? It won't happen before the current ocamlnet cluster [1] (ocamlnet and camomile are entangled via galax) migrates to testing. Bes

Bug#524908: libcairo-ocaml-dev: memory leak in Cairo_bigarray

2011-08-02 Thread Stéphane Glondu
tags 524908 + moreinfo thanks On Mon, 20 Apr 2009 20:46:03 +0200, Oto Havle wrote: > OCaml programs which create Cairo surfaces via Cairo_bigarray leak memory. > Following test program reproduces the bug. The program allocates many > 100Mb arrays, but explicit garbage collector invocation should k

Bug#524908: libcairo-ocaml-dev: memory leak in Cairo_bigarray

2011-08-02 Thread Stéphane Glondu
tags 524908 - moreinfo tags 524908 + confirmed found 524908 1:1.2.0-2 thanks Le 02/08/2011 21:52, Oto Havle a écrit : > [...] Note that I have 32-bit system. I didn't take this into account, and I can indeed reproduce the bug in an up-to-date i386 sid chroot, with version 1:1.2.0-2. Cheers, --

Bug#524908: libcairo-ocaml-dev: memory leak in Cairo_bigarray

2011-08-03 Thread Stéphane Glondu
tags 524908 + help upstream thanks Le 03/08/2011 08:22, Stéphane Glondu a écrit : [...] Note that I have 32-bit system. I didn't take this into account, and I can indeed reproduce the bug in an up-to-date i386 sid chroot, with version 1:1.2.0-2. By looking a bit deeper, I can observe

Re: [Caml-list] Python and Caml

2011-08-04 Thread Stéphane Glondu
Le 27/11/2007 18:05, Thomas Fischbacher a écrit : http://nmag.soton.ac.uk/tf/pycaml.html This link is broken. (Note ad Debian developers: this fixes some major memory management bugs that can cause crashes in the original pycaml module which is in Debian, so, ideally, our variant should event

Bug#620838: dh-ocaml: dh_ocaml doesn't depend on -dev packages even when runtime package requires it

2011-08-08 Thread Stéphane Glondu
Le 04/04/2011 17:16, Sylvain Le Gall a écrit : It should be related to the fact that they don't ship runtime packages (pure ocaml packages). However, the runtime package of liboasis-ocaml contains *.cma libraries that really need the libraries provided by libocamlgraph-ocaml-dev and libfileutils-

Bug#637147: libapache2-mod-ocamlnet: Error loading shared library: /usr/lib/ocaml/stublibs/dllnetsys.so

2011-08-08 Thread Stéphane Glondu
Le 08/08/2011 21:59, Anders Peter Fugmann a écrit : > Apache fails to start with the follwing errors: > [...] Is this new with 3.3.5-3 ? Can you provide a minimal apache configuration snippet that triggers this error? Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ.

Bug#637147: libapache2-mod-ocamlnet: Error loading shared library: /usr/lib/ocaml/stublibs/dllnetsys.so

2011-08-09 Thread Stéphane Glondu
tags 637147 + upstream thanks Le 09/08/2011 22:39, Anders Peter Fugmann a écrit : > I replaced apache2.conf with this: > > LoadModule netcgi_module /usr/lib/apache2/modules/mod_netcgi_apache.so > NetcgiLoad pcre/pcre.cma > NetcgiLoad netsys/netsys.cma > #NetcgiLoad netstring/netstring.cma > #Netc

Bug#637147: libapache2-mod-ocamlnet: Error loading shared library: /usr/lib/ocaml/stublibs/dllnetsys.so

2011-08-10 Thread Stéphane Glondu
Le 10/08/2011 10:00, Anders Fugmann a écrit : That solves the problem. Great. May I suggest that the file /etc/apache2/mods-available/netcgi_apache.load provides by the debian package is updated to reflect this. Sure. Done in git. -- Stéphane -- To UNSUBSCRIBE, email to debian-ocaml-ma

Bug#637360: backtrace() doesn't work on armel

2011-08-10 Thread Stéphane Glondu
Package: libc6 Version: 2.13-15 Severity: normal Hello, The test suite of ocaml-extunix 0.0.3-1 fails on armel because the following program: #include int main() { void *buffer[100]; return backtrace(buffer, 100); } returns 0. It returns with a non-zero status (3 everywhere I've

Bug#596622: Fwd: Re: [haXe] haXe source & ocaml library extlib

2011-08-15 Thread Stéphane Glondu
Le 15/09/2010 22:17, Sylvain Le Gall a écrit : > Your best option right now, is to create a patch that adds the feature > you need (i.e. "the new output_strings functionality"). And submit it to > the BTS of the extlib project. > > http://code.google.com/p/ocaml-extlib/issues/list What the status

Bug#637147: Confirming bug

2011-08-16 Thread Stéphane Glondu
Le 16/08/2011 16:22, Gerd Stolpmann a écrit : I've chosen a more radical approach for a permanent resolution: The next version of Ocamlnet will support the additional directive NetcgiRequire. It works like "#require" in a findlib-enabled toploop. All the NetcgiLoad directives can then be replaced

Re: ocamlfind byte does not work -- is this a bug?

2011-08-24 Thread Stéphane Glondu
Le 23/08/2011 22:35, Hilko Bengen a écrit : The OCaml part of febootstrap does not build on architectures without a native code compiler: https://buildd.debian.org/status/fetch.php?pkg=febootstrap&arch=mips&ver=3.8-1&stamp=1314125941 Apparently, OCAMLBEST has been set to "byte" by the AC_PROG_O

Re: [Pkg-xen-devel] [patch] Packages ocaml libraries

2011-09-07 Thread Stéphane Glondu
Le 31/08/2011 17:31, Thomas Goirand a écrit : > I have set debian-ocaml-maint@lists.debian.org as Cc: to this email, in > the hope that the Debian OCaml task force can have a last look on my > work. I'd appreciate comments, and I hope I didn't do mistakes this > time. Please keep in mind that I don

Re: Bug#633304: transition: ocaml

2011-09-07 Thread Stéphane Glondu
Le 09/07/2011 13:35, Stéphane Glondu a écrit : > OCaml 3.12.1 has been recently released. It is mostly bugfixes. I've > rebuilt all packages that depend on ocaml, and I see no blocker to > update it in Debian. I've planified the migration at [1] (I am > planning to update a

Re: Bug#633304: transition: ocaml

2011-09-16 Thread Stéphane Glondu
On 09/07/2011 05:51 PM, Stéphane Glondu wrote: >> OCaml 3.12.1 has been recently released. It is mostly bugfixes. I've >> rebuilt all packages that depend on ocaml, and I see no blocker to >> update it in Debian. I've planified the migration at [1] (I am >> plann

Bug#642706: bin-prot: FTBFS: Command '/usr/bin/ocamlbuild syntax/pa_bin_prot.cma syntax/pa_bin_prot.cmxa syntax/pa_bin_prot.a lib/libbin_prot.a lib/dllbin_prot.so lib/bin_prot.cma lib/bin_prot.cmxa li

2011-09-24 Thread Stéphane Glondu
tags 642706 + unreproducible thanks Le 24/09/2011 19:53, Mònica Ramírez Arceda a écrit : > During a rebuild of all packages in sid, your package failed to build on > amd64. > [...] I cannot reproduce this. Can anyone else? Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-ocaml-maint

Bug#642706: bin-prot: FTBFS: Command '/usr/bin/ocamlbuild syntax/pa_bin_prot.cma syntax/pa_bin_prot.cmxa syntax/pa_bin_prot.a lib/libbin_prot.a lib/dllbin_prot.so lib/bin_prot.cma lib/bin_prot.cmxa li

2011-09-25 Thread Stéphane Glondu
Le 25/09/2011 00:00, Eric Cooper a écrit : > I get the same error. Here's what I did to reproduce it. > > $ apt-get source libbin-prot-camlp4-dev > $ cd bin-prot-1.3.1/ > $ DIST=sid ARCH=amd64 git-pbuilder update > $ pdebuild --pbuilder cowbuilder -- --basepath > /var/cache/pbuilder/base-sid-amd

Bug#642706: bin-prot: FTBFS: Command '/usr/bin/ocamlbuild syntax/pa_bin_prot.cma syntax/pa_bin_prot.cmxa syntax/pa_bin_prot.a lib/libbin_prot.a lib/dllbin_prot.so lib/bin_prot.cma lib/bin_prot.cmxa li

2011-09-25 Thread Stéphane Glondu
tags 642706 - unreproducible thanks Le 25/09/2011 15:38, Stéphane Glondu a écrit : >> I get the same error. Here's what I did to reproduce it. >> >> $ apt-get source libbin-prot-camlp4-dev >> $ cd bin-prot-1.3.1/ >> $ DIST=sid ARCH=amd64 git-pbuilder update

Bug#642922: regression: "sh -c" change causes FTBFS

2011-09-25 Thread Stéphane Glondu
g --- dash-0.5.7/debian/changelog +++ dash-0.5.7/debian/changelog @@ -1,3 +1,10 @@ +dash (0.5.7-1.1) UNRELEASED; urgency=low + + * Non-maintainer upload. + * Revert http://thread.gmane.org/gmane.comp.shells.dash/556 + + -- Stéphane Glondu Sun, 25 Sep 2011 19:05:10 +0200 + dash (0.5.7-1) uns

Bug#642835: Bug#642922: regression: "sh -c" change causes FTBFS

2011-09-25 Thread Stéphane Glondu
block 642835 by 642922 block 642706 by 642922 severity 642922 serious thanks Le 25/09/2011 19:28, Stéphane Glondu a écrit : > Bugs #642706 (bin-prot FTBFS) and #642835 (sexplib310 FTBFS) can be > fixed by reverting the patch submitted at [1]. I don't understand why. &g

Bug#642935: ocaml-md5sums: Can't exec "ocamldumpapprox": No such file or directory

2011-09-25 Thread Stéphane Glondu
tags 642935 + pending thanks Le 25/09/2011 21:19, Jonathan Nieder a écrit : > + [ Jonathan Nieder ] > + * debian/control: add Breaks against versions of dh-ocaml that > +relied on the ocaml{dumpapprox,plugininfo,byteinfo} tools. > [...] > Breaks: > + dh-ocaml (<< 1.0.0), > ocaml-interp (<

Bug#642730: matita: FTBFS: Error: Files /usr/lib/ocaml/http/http_mt.cmxa and /usr/lib/ocaml/netstring/netstring.cmxa make inconsistent assumptions over interface Neturl

2011-09-26 Thread Stéphane Glondu
reassign 642730 src:ocaml-http severity 642730 important affects 642730 src:matita retitle 642730 ocaml-http: should use dh-ocaml 0.9 thanks Le 24/09/2011 21:32, Mònica Ramírez Arceda a écrit : > During a rebuild of all packages in sid, your package failed to build on > amd64. > [...] >> Error: Fi

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