Bug#780805: Freezes using 100% CPU when editing OCaml file

2015-03-20 Thread Stéphane Glondu
Le 19/03/2015 20:34, Ralf Treinen a écrit : Edit a .ml file with the following line: fun () - assert false Then, go to the first column and start deleting characters (using DEL). When ) is reached, emacs freezes. It uses 100% CPU and makes no system calls. This doesn't happen outside of

Bug#780805: Freezes using 100% CPU when editing OCaml file

2015-03-19 Thread Stéphane Glondu
Package: tuareg-mode Version: 1:2.0.7-1 Severity: important Dear Maintainer, Edit a .ml file with the following line: fun () - assert false Then, go to the first column and start deleting characters (using DEL). When ) is reached, emacs freezes. It uses 100% CPU and makes no system calls.

Bug#779574: ITP: ppx-tools -- tools for authors of OCaml syntactic tools

2015-03-02 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu glo...@debian.org * Package name: ppx-tools Version : 0.99.2 Upstream Author : Alain Frisch, LexiFi * URL : https://github.com/alainfrisch/ppx_tools * License : MIT Programming Lang: OCaml Description

Bug#779039: ITP: labltk -- OCaml bindings to Tcl/Tk

2015-02-23 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu glo...@debian.org * Package name: labltk Version : 8.06.0 Upstream Author : Inria * URL : https://forge.ocamlcore.org/projects/labltk/ * License : LGPL Programming Lang: C, OCaml Description

Bug#778521: ITP: camlp4 -- Pre Processor Pretty Printer for OCaml

2015-02-16 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu glo...@debian.org * Package name: camlp4 Version : 4.02.1+2 Upstream Author : Inria * URL : https://github.com/ocaml/camlp4 * License : LGPL-2 Programming Lang: OCaml Description : Pre Processor

Bug#777609: ITP: nproc -- process pool implementation for OCaml

2015-02-10 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu glo...@debian.org * Package name: nproc Version : 0.5.1 Upstream Author : MyLife * URL : https://github.com/MyLifeLabs/nproc * License : BSD-3-clause Programming Lang: OCaml Description : process

Bug#770449: ITP, RFS for Caml Crush package

2014-12-12 Thread Stéphane Glondu
Le 02/12/2014 13:34, Thomas Calderon a écrit : 1. I have split the debian-related files from the master branch. I will now use upstream and debian branches instead. Therefore, release tarballs will not contain this directory. $ tar tf ../caml-crush_1.0.4.orig.tar.gz|grep debian

Bug#770449: ITP, RFS for Caml Crush package

2014-11-24 Thread Stéphane Glondu
Le 21/11/2014 13:31, Thomas Calderon a écrit : I submitted an ITP (#770296) and an RFS (#770449) request regarding the packaging of Caml Crush. [...] First remarks: 1. There is a debian directory in the upstream tarball, is that intentional? Keep in mind that is is ignored in favour of the

Bug#767099: Binding Super+L to lock screen does not work

2014-10-28 Thread Stéphane Glondu
Package: gnome-shell Version: 3.14.0-1 Severity: normal Dear Maintainer, Using the key binding Super+L (the default one) to lock the screen does not work. It is possible to change it via keyboard settings, but many key combinations don't work. I eventually found Alt+F3 that works. This behaviour

Bug#763462: Package marked as bad although it is “uncompiled”

2014-10-01 Thread Stéphane Glondu
Le 30/09/2014 15:14, Joachim Breitner a écrit : currently, https://release.debian.org/transitions/html/haskell.html lists agda as bad on armel, armhf, hurd and others, although it is in state uncompiled according to wanna-build (and hence there is no transition problem). It would be nice if

Bug#709616: floods the network with pause packets

2014-08-12 Thread Stéphane Glondu
Hello, Since I've upgraded to Linux 3.14, this bug occurs more often. The record of uptime so far is 7 days and 18 hours. Tail of uprecords -b -m 0 output: 46 19 days, 23:50:56 | Linux 3.13-1-amd64 Tue Apr 22 09:37:55 2014 477 days, 04:20:44 | Linux 3.14-1-amd64 Mon May 19 15:08:40

Bug#752051: ITP: ocaml-ipaddr -- library for manipulation of IP (and MAC) address representations

2014-06-18 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu glo...@debian.org * Package name: ocaml-ipaddr Version : 1.0.0 Upstream Author : David Sheets, Anil Madhavapeddy, Hugo Heuzard * URL : https://github.com/mirage/ocaml-ipaddr * License : ISC Programming

Bug#751693: libjs-of-ocaml-dev: Broken dependencies render unrelated packages FTBFS

2014-06-16 Thread Stéphane Glondu
Le 15/06/2014 19:10, Mehdi Dogguy a écrit : It seems that those depended-on packages don't even exist anymore. Maybe a BinNMU is all that is needed, but I'm quite surprised how these dependencies ever came about. A new upstream release of ocaml-deriving-ocsigen has been uploaded

Bug#749311: ocaml-mode is broken - called emacs-package-install as a new-style add-on

2014-05-26 Thread Stéphane Glondu
Package: ocaml-mode Version: 4.01.0-4 Submitting a proper bug report for this... Le 28/02/2014 12:19, Emmanuel Thomé a écrit : Setting up ocaml-mode (4.01.0-3) ... ERROR: ocaml-mode is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install ocaml-mode for

Bug#745703: -emit-llvm does not work

2014-04-24 Thread Stéphane Glondu
Package: clang Version: 1:3.3-21+nmu1 Severity: normal Dear Maintainer, The documented option -emit-llvm does not work: $ clang -emit-llvm hello.c /usr/bin/ld: /usr/bin/../lib/LLVMgold.so: error loading plugin: /usr/bin/../lib/LLVMgold.so: cannot open shared object file: No such file or

Bug#745307: FTBFS with ocamlgraph 1.8.4

2014-04-20 Thread Stéphane Glondu
Source: dose3 Version: 3.1.3-7 Severity: serious Dear Maintainer, dose3 fails to build with the latest version of ocamlgraph. Last lines of build log: + ocamlfind ocamlc -c -w -24 -ccopt -O9 -package extlib -package pcre -package cudf -package ocamlgraph -pp 'camlp4o.opt -I_build

Bug#745043: libobus-ocaml-dev: Fails to install on armhf

2014-04-17 Thread Stéphane Glondu
Le 17/04/2014 16:27, Thomas Leonard a écrit : Package: libobus-ocaml-dev Version: 1.1.5-3 [...] This package doesn't install on armhf: [...] Probably, obus just needs to be rebuilt. Not only obus, but ocaml-lastfm, lablgtk-extras, ocaml-xmlplaylist, ocamlrss as well. I've scheduled binNMUs.

Bug#744247: grisbi is not build with goffice to provide graphics

2014-04-11 Thread Stéphane Glondu
Le 11/04/2014 21:15, Ludovic Rousseau a écrit : Grisbi is not build using goffice. So graphics are not available. [...] + libgoffice-0.8-dev, Actually, I tried with libgoffice-0.10-dev when updating the package, which didn't have any effect. I was planning on investigating later. Are you

Bug#743230: no sound from external speakers after upgrade (hda_intel driver)

2014-03-31 Thread Stéphane Glondu
Package: src:linux Version: 3.13.7-1 Severity: important Dear maintainer, With the recent upgrade of the kernel, from 3.13.5-1 to 3.13.7-1, I do no longer have sound coming out of my speakers. The following suspicious message appears in logs: hda-intel :00:07.0: spurious response

Bug#742881: camlpdf_1.7.2+1-1_amd64.changes REJECTED

2014-03-28 Thread Stéphane Glondu
Le 28/03/2014 17:00, Debian FTP Masters a écrit : An exception was raised while processing the package: Traceback (most recent call last): File /srv/ftp-master.debian.org/dak/dak/process_policy.py, line 98, in wrapper function(upload, srcqueue, comments, transaction) File

Bug#742613: ITP: ocaml-ctypes -- library for binding to C libraries using pure OCaml

2014-03-25 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu glo...@debian.org * Package name: ocaml-ctypes Version : 0.2.3 Upstream Author : Jeremy Yallop * URL : https://github.com/ocamllabs/ocaml-ctypes * License : Expat Programming Lang: C, OCaml Description

Bug#742257: Breaks icedove in testing

2014-03-21 Thread Stéphane Glondu
Package: xul-ext-foxyproxy-standard Version: 4.1-1 Severity: serious Hello, This package declares: Breaks: [...] icedove ( 20.0~a1+) [...] and the version of Icedove in testing is 24.3.0-2... This package should be updated to the new upstream version (or removed from testing). Cheers, --

Bug#742294: Breaks Iceweasel 28

2014-03-21 Thread Stéphane Glondu
Package: xul-ext-treestyletab Version: 0.14.2013112901-1 Severity: serious Dear Maintainer, This extension is broken with Iceweasel 28. The left panel is all grey. Worse, with this extension installed, Iceweasel's tab functionnality seems completely broken. In particular, it is not possible to

Bug#740097: nvidia-legacy-304xx-kernel-source: Module can not be loaded for Linux 3.13

2014-03-19 Thread Stéphane Glondu
Package: nvidia-legacy-304xx-kernel-dkms Version: 304.117-1 Followup-For: Bug #740097 I apply a temporal fix over file /usr/src/nvidia-legacy-304xx-304.117/nv-acpi.c [...] More precisely, apply the attached patch. And rebuild the module with dkms sudo dkms build -m nvidia-legacy-304xx -v

Bug#742105: missing dependency to libssreflect-coq

2014-03-19 Thread Stéphane Glondu
Package: libmathcomp-coq Version: 1.5-1 Severity: serious Welcome to Coq 8.4pl3 (January 2014) Coq Require Import MathComp.poly. Error: Cannot find library Ssreflect.ssrmatching in loadpath -- System Information: Debian Release: jessie/sid APT prefers testing APT policy: (990,

Bug#731704: patch

2014-03-11 Thread Stéphane Glondu
Le 11/03/2014 05:53, ygrek a écrit : FTR, here is the patch used in OPAM : https://github.com/ocaml/opam-repository/blob/master/packages/reins/reins.0.1a/files/fix_build.patch Thanks for the pointer. I'll import the relevant parts to Debian. Please note that patch was updated recently

Bug#735884: RFS: ocp-indent -- OCaml indentation tool for emacs and vim

2014-03-06 Thread Stéphane Glondu
Le 27/02/2014 12:24, Johannes Schauer a écrit : Have you considered joining the OCaml team on Alioth[1], and put your packaging as a git repository there[2]? [1] https://alioth.debian.org/projects/pkg-ocaml-maint/ [2] dom-new-git-repo(1), in package dh-ocaml I committed my current status

Bug#738578: omake: unbound variable: public.OMakeVersion

2014-03-06 Thread Stéphane Glondu
Le 11/02/2014 09:45, Sébastien Dailly a écrit : Here is a way to reproduce the problem : $ mkdir test cd test $ omake --install *** omake: creating OMakeroot *** omake: creating OMakefile *** omake: project files OMakefile and OMakeroot have been installed *** omake: you should edit

Bug#735884: RFS: ocp-indent -- OCaml indentation tool for emacs and vim

2014-03-06 Thread Stéphane Glondu
Le 06/03/2014 14:57, Johannes Schauer a écrit : I dont remember from where I got the splitting into libocp-indent-lib-ocaml (with META and cma) and libocp-indent-lib-ocaml-dev (with all the rest) but now that I search for it I can see some packages which do it that way (for example

Bug#735884: RFS: ocp-indent -- OCaml indentation tool for emacs and vim

2014-03-06 Thread Stéphane Glondu
Le 06/03/2014 17:37, Johannes Schauer a écrit : Should you not see any other problems with the packaging then I'm ready to get sponsored :) It's fine, I've just uploaded it. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of

Bug#739282: RM: cameleon -- ROM; obsolete, RC-buggy

2014-02-17 Thread Stéphane Glondu
Package: ftp.debian.org Severity: normal According to http://home.gna.org/cameleon/news.en.html : Cameleon is not maintained any more. It has been splitted in various parts. Have a look at these separated projects: * Chamo * DBForge * Gtktop * OCamldiff * OCamldot * OCamlrss *

Bug#739319: Please use --prefix/--destdir for reproducible builds

2014-02-17 Thread Stéphane Glondu
Package: src:abi-compliance-checker Version: 1.99.9-1 Severity: wishlist Tags: patch User: reproducible-bui...@lists.alioth.debian.org Usertags: toolchain Dear Maintainer, abi-compliance-checker calls Makefile.pl with --prefix set to the full temporary package building directory, causing it to

Bug#738578: omake: unbound variable: public.OMakeVersion

2014-02-10 Thread Stéphane Glondu
Le 10/02/2014 21:21, Chimrod a écrit : Package: omake Version: 0.9.8.5-3-9 [...] Since the last update I can't compile anymore with omake. Running omake in one existing project cause the following message : $ omake *** omake: reading OMakefiles *** omake error: File

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

2014-02-03 Thread Stéphane Glondu
Le 06/01/2014 16:24, Moritz Muehlenhoff a écrit : 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

Bug#636019: Bug#731398: galax: FTBFS with ocaml 4.01.0

2014-01-31 Thread Stéphane Glondu
Control: tags 731398 + pending Le 31/01/2014 16:26, Andreas Moog a écrit : please find attached a patch from upstream that fixes the build against ocaml 4.01. Since I'm not a DD, I can't upload myself. Thanks for that. I've applied it in git... but do you know if upstream is planning to make a

Bug#731704: patch

2014-01-30 Thread Stéphane Glondu
Le 09/12/2013 04:42, ygrek a écrit : FTR, here is the patch used in OPAM : https://github.com/ocaml/opam-repository/blob/master/packages/reins/reins.0.1a/files/fix_build.patch Thanks for the pointer. I'll import the relevant parts to Debian. Cheers, -- Stéphane -- To UNSUBSCRIBE,

Bug#736908: ITP: optcomp -- syntax extension for optional compilation with cpp-like directives

2014-01-27 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu glo...@debian.org * Package name: optcomp Version : 1.5 Upstream Author : Jérémie Dimino * URL : https://github.com/diml/optcomp * License : BSD Programming Lang: OCaml Description : syntax

Bug#736910: comigrate: lease allow the use of a different mirror

2014-01-27 Thread Stéphane Glondu
Package: coinst Version: 1.9.1-1 Severity: wishlist Hi, comigrate uses ftp.debian.org, which is not optimal in some parts of the world. Please use http.debian.net or, better, allow changing it in configuration. Cheers, -- Stéphane -- System Information: Debian Release: jessie/sid APT

Bug#736322: libcoq-ocaml-dev: It should depend on ocaml-best-compilers

2014-01-22 Thread Stéphane Glondu
Le 22/01/2014 10:49, Pierre Boutillier a écrit : please see https://coq.inria.fr/bugs/show_bug.cgi?id=3215 Authors of plugins for coq are encouraged to use coq_makefile to generate their Makefile. Makefiles generated by coq_makefile ask coqtop for the ocaml compilers it has been

Bug#734271: segfaults (often, but not always) after resume

2014-01-20 Thread Stéphane Glondu
I wrote: Xorg still segfaults after switching to nouveau (log attached). Actually, X does not work at all with nouveau, after suspend/resume. I see a picture of the screensaver, but graphical seat does not seem responsive at all (no Alt-F1, not even Num Lock LED switching). Worse, in this

Bug#690328: All links in documentation's index.html are broken

2014-01-19 Thread Stéphane Glondu
Control: tags -1 + moreinfo Le 12/10/2012 19:44, Ryan Kavanagh a écrit : All of the links (well, the dozen or so I've tried to follow, excluding the alphabetical ones at the very top) in /usr/share/doc/libssreflect-coq/html/index.html are broken. Is that still true? I just tried with

Bug#735882: RFA: ocaml-dbus -- OCaml bindings for the D-Bus API X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org

2014-01-18 Thread Stéphane Glondu
Package: wnpp Severity: normal Hello, Currently, ocaml-dbus 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

Bug#735884: RFS: ocp-indent -- OCaml indentation tool for emacs and vim

2014-01-18 Thread Stéphane Glondu
Control: owner -1 ! Le 18/01/2014 14:15, Johannes Schauer a écrit : I am looking for sponsors for ocp-indent which I packaged and uploaded it here: dget -u https://mister-muffin.de/ocp-indent/ocp-indent_1.4.1-1.dsc I'm sorry that it's not on mentors.debian.net but after an initial upload

Bug#735884: RFS: ocp-indent -- OCaml indentation tool for emacs and vim

2014-01-18 Thread Stéphane Glondu
Le 18/01/2014 15:32, Stéphane Glondu a écrit : Control: owner -1 ! Sorry, this was an error. I thought it was an RFS bug. I restored your ownership. -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas

Bug#734844: Packaging problem for libdbus-ocaml-dev [...]

2014-01-10 Thread Stéphane Glondu
Package: libdbus-ocaml-dev Version: 0.29-1 Severity: serious Le 09/01/2014 22:19, Gregory Bellier a écrit : 1/ Missing dependency I noticed that there is a missing dependency of libdbus-ocaml-dev (v. 0.29) on libdbus-1-dev on debian 7. Otherwise during a build, there is a linking problem:

Bug#734271: segfaults (often, but not always) after resume

2014-01-05 Thread Stéphane Glondu
Package: xserver-xorg Version: 1:7.7+5 Severity: important Dear Maintainer, Since recently, Xorg often (but not always) segfaults when I suspend my system, and resume it after several hours. This is the end of my previous Xorg.0.log: [...] [161771.140] (II) NVIDIA(GPU-0): Display (Samsung

Bug#733101: RFA: apron -- abstract interpretation library

2013-12-25 Thread Stéphane Glondu
Package: wnpp Severity: normal Hello, Currently, apron 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

Bug#732836: ben: tracker could do with a performance enhancement

2013-12-22 Thread Stéphane Glondu
Le 22/12/2013 10:59, Niels Thykier a écrit : In particular, it seems to be very slow for ben files containing a lot of OR relations; even if these are exact package names (see attached file). Did you try: .depends ~ foo|bar instead of: .depends ~ foo | .depends ~ bar ? Cheers, --

Bug#732836: ben: tracker could do with a performance enhancement

2013-12-22 Thread Stéphane Glondu
Le 22/12/2013 13:03, Niels Thykier a écrit : In particular, it seems to be very slow for ben files containing a lot of OR relations; even if these are exact package names (see attached file). Did you try: .depends ~ foo|bar instead of: .depends ~ foo | .depends ~ bar Sorry, I

Bug#731732: marked as done (ocamlrss: FTBFS on bytecode architectures)

2013-12-17 Thread Stéphane Glondu
Control: reopen -1 Le 17/12/2013 08:21, Debian Bug Tracking System a écrit : Your message dated Tue, 17 Dec 2013 07:19:55 + with message-id e1vsowd-0003wf...@franck.debian.org and subject line Bug#731732: fixed in ocamlrss 2.2.1-2 has caused the Debian Bug report #731732, regarding

Bug#732021: Accepted approx 5.4-1 (source amd64)

2013-12-12 Thread Stéphane Glondu
Package: approx Version: 5.4-1 Severity: serious Justification: policy 9.1.1, FHS violation Le 12/12/2013 14:48, Eric Cooper a écrit : Changes: approx (5.4-1) unstable; urgency=low [...] * document use of /var/cache/approx/.curlrc file (closes: #719912) This really looks like the wrong

Bug#731822: cameleon: FTBFS with ocaml 4.01.0

2013-12-10 Thread Stéphane Glondu
Source: cameleon Version: 1.9.21-2 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, cameleon FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: ### checking required tools and libraries ### checking for Xml-light (byte) with ocamlfind... yes checking for

Bug#709616: floods the network with pause packets

2013-12-10 Thread Stéphane Glondu
Package: src:linux Followup-For: Bug #709616 Le 24/10/2013 16:20, Stéphane Glondu a écrit : This bug hadn't happend in a long time... but it just happened with linux-image-3.10-3-amd64 (version 3.10.11-1). The longest uptime I got so far since I initially submitted this bug is 24 days (I

Bug#731701: opam: FTBFS with ocaml 4.01.0

2013-12-09 Thread Stéphane Glondu
reassign 731701 libdose3-ocaml-dev 3.1.3-6 retitle 731701 dose3 compiled without zip nor bz2 support affects 731701 src:opam thanks Le 08/12/2013 17:14, Stéphane Glondu a écrit : opam FTBFS when binNMUed against ocaml 4.01.0. [...] ocamlfind: Package `zip' not found - required by `dose3.common

Bug#731701: dose3 compiled without zip nor bz2 support

2013-12-09 Thread Stéphane Glondu
tags 731701 + confirmed upstream thanks Le 09/12/2013 11:12, Stéphane Glondu a écrit : Looking at dose3, zip and bz2 are actually optional, and dose3 was compiled without. I guess this is a mistake. Indeed, the file common/input.ml (which is the only one using bz2 and zip) is compiled with two

Bug#731584: sks: FTBFS with ocaml 4.01.0

2013-12-09 Thread Stéphane Glondu
tags 731584 + pending patch thanks Le 07/12/2013 08:26, Stéphane Glondu a écrit : sks FTBFS when binNMUed against ocaml 4.01.0. [...] I've just uploaded to DELAYED/3 the attached NMU. Cheers, -- Stéphane From 989962d5ba3a6f8529caf905402d9270761b77dd Mon Sep 17 00:00:00 2001 From: Stephane

Bug#731818: cduce: FTBFS with ocaml 4.01.0

2013-12-09 Thread Stéphane Glondu
Source: cduce Version: 0.5.5-1 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, cduce FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: dh_clean debian/rules build-arch dh --with ocaml build-arch dh_testdir -a dh_ocamlinit -a debian/rules

Bug#731817: janest-core: FTBFS with ocaml 4.01.0

2013-12-09 Thread Stéphane Glondu
Source: janest-core Version: 107.01-5 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, janest-core FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: ocamlfind ocamldep -package unix -package threads -package sexplib.syntax -package sexplib -package res

Bug#731637: compatibility patch with 4.01beta for Frama-C Fluorine

2013-12-08 Thread Stéphane Glondu
Le 08/12/2013 11:58, Pascal Cuoq a écrit : Note that a patch to Frama-C Fluorine3 20130601 to make it compile with OCaml 4.01 is available from https://github.com/vprevosto/opam-repository/blob/master/packages/frama-c.20130601/files/4.01-compat.patch Great, thanks for the pointer. Cheers,

Bug#731685: ocaml-sqlexpr: FTBFS with ocaml 4.01.0

2013-12-08 Thread Stéphane Glondu
Source: ocaml-sqlexpr Version: 0.4.1-2 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, ocaml-sqlexpr FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: ocamlfind ocamldoc -dump sqlexpr_sqlite.odoc -package unix -package threads -package sqlite3 -package

Bug#731701: opam: FTBFS with ocaml 4.01.0

2013-12-08 Thread Stéphane Glondu
Source: opam Version: 1.1.0-1 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, opam FTBFS when binNMUed against ocaml 4.01.0. From the armhf build log: /usr/bin/ocamlopt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml

Bug#731703: approx: FTBFS with ocaml 4.01.0

2013-12-08 Thread Stéphane Glondu
Source: approx Version: 5.3-1 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, approx FTBFS when binNMUed against ocaml 4.01.0. From the armhf build log: /usr/bin/ocamlc -c -warn-error A -o url.cmi url.mli /usr/bin/ocamlc -c -warn-error A -o util.cmi util.mli

Bug#731702: matita: FTBFS with ocaml 4.01.0

2013-12-08 Thread Stéphane Glondu
Source: matita Version: 0.99.1-2 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, opam FTBFS when binNMUed against ocaml 4.01.0. From the armhf build log: --with-dbhost=FAKE_HOST checking for ocamlc... yes checking for ocamlopt... yes checking for

Bug#731704: ocaml-reins: FTBFS with ocaml 4.01.0

2013-12-08 Thread Stéphane Glondu
Source: ocaml-reins Version: 0.1a-4 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, ocaml-reins FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: --- Checking for ocamlopt... (found /usr/bin/ocamlopt) --- Checking whether ocamlc understands the z

Bug#731732: ocamlrss: FTBFS on bytecode architectures

2013-12-08 Thread Stéphane Glondu
Source: ocamlrss Version: 2.2.1-1 Severity: serious Tags: jessie sid Hi, ocamlrss FTBFS on bytecode architectures. From the ia64 build log: make[1]: Entering directory `/«PKGBUILDDIR»' /usr/bin/make byte doc make[2]: Entering directory `/«PKGBUILDDIR»' ocamlfind ocamlc -package

Bug#731586: RFA: facile -- functional constraint library implemented in OCaml

2013-12-07 Thread Stéphane Glondu
Package: wnpp Severity: normal Hello, Currently, facile 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

Bug#731587: RM: obrowser -- ROM; obsolete

2013-12-07 Thread Stéphane Glondu
Package: ftp.debian.org Severity: normal Control: block 718767 with -1 Hi, obrowser has been made obsolete by js-of-ocaml, and is no longer updated by upstream. It is now getting in the way of the OCaml transition, so it's time to remove it from Debian. Cheers, -- Stéphane -- To

Bug#731590: RFA: ocaml-inifiles -- read and write .ini files for OCaml

2013-12-07 Thread Stéphane Glondu
Package: wnpp Severity: normal Hello, Currently, ocaml-inifiles 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

Bug#731598: ITP: camldbm -- binding to the NDBM/GDBM Unix databases

2013-12-07 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu glo...@debian.org Control: block 731528 with -1 * Package name: camldbm Version : 1.0 Upstream Author : INRIA * URL : https://forge.ocamlcore.org/projects/camldbm/ * License : LGPL Programming Lang: C

Bug#731636: oasis: FTBFS with ocaml 4.01.0

2013-12-07 Thread Stéphane Glondu
Source: oasis Version: 0.3.0-3 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, oasis FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: OUnit: Installed files (1st time) expected: 'share/doc/html/with-c/type_A.html', 'share/doc/html/with-c/style.css',

Bug#731637: frama-c: FTBFS with ocaml 4.01.0

2013-12-07 Thread Stéphane Glondu
Source: frama-c Version: 20130601+fluorine3+dfsg-1 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, frama-c FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: The first one was selected. Please disambiguate if this is wrong. ocamlc.opt -c -w +a-4-6-7-9

Bug#731528: dose2: FTBFS with ocaml 4.01.0

2013-12-06 Thread Stéphane Glondu
Source: dose2 Version: 1.4.2-4 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, dose2 FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: /usr/bin/ocamlfind ocamlc -I ../io -package calendar -o lifetime.cmi -c lifetime.mli /usr/bin/ocamlfind ocamlc -I

Bug#731529: xen-api-libs: FTBFS with ocaml 4.01.0

2013-12-06 Thread Stéphane Glondu
Source: xen-api-libs Version: 0.5.2-3.1 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, xen-api-libs FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: ocamlfind ocamlopt -I ../xml-light2 -I ../stdext -I ../uuid -annot -g -package xmlm -c -o rpc.o rpc.ml

Bug#731584: sks: FTBFS with ocaml 4.01.0

2013-12-06 Thread Stéphane Glondu
Source: sks Version: 1.1.4-2 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, sks FTBFS when binNMUed against ocaml 4.01.0. From the armhf build log: ocamlopt -I lib -I bdb -I +cryptokit -ccopt -Lbdb -dtypes -warn-error A -inline 40 unix.cmxa str.cmxa bdb.cmxa nums.cmxa

Bug#731378: nss-passwords fails to decrypt

2013-12-05 Thread Stéphane Glondu
Le 05/12/2013 00:01, Yann Dirson a écrit : I've got also the same Iceweasel version, and nss-passwords works on the currently-in-use profile, if by that you mean used by a currently running instance of Iceweasel. That's what I meant. Do you get the error no matter which password you

Bug#731166: Error: Syntax error: 'end' expected

2013-12-05 Thread Stéphane Glondu
Le 02/12/2013 18:05, Mathieu Malaterre a écrit : I cannot backport xen-api-libs to an oldstable system. It fails with: [...] ocamlfind ocamlc -I ../xml-light2 -I ../stdext -I ../uuid -thread -c -o threadext.cmi threadext.mli File threadext.mli, line 63, characters 9-15: Error: Syntax error:

Bug#718767: pango1.0 binNMUed

2013-12-05 Thread Stéphane Glondu
Hi, lablgtk2 was uninstallable because of pango1.0, which was uninstallable because of harfbuzz. I tried to rebuild on my machine pango1.0, and it unlocks the situation w.r.t lablgtk2. I saw someone binNMUed it on hurd-i386. I binNMUed it on other architectures as well (with dw on

Bug#731511: RFA: xstrp4 -- camlp4 extension that expands brace expansions in OCaml string

2013-12-05 Thread Stéphane Glondu
Package: wnpp Severity: normal Hello, Currently, xstrp4 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

Bug#731344: libllvm-3.3-ocaml-dev: missing ABI dependency

2013-12-04 Thread Stéphane Glondu
Source: libllvm-3.3-ocaml-dev Version: 1:3.3-13 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, libllvm-3.3-ocaml-dev installs *.cm* files (which are ABI-specific), but does not depend on ocaml-nox-$ABI. It must. You should use dh_ocaml for that (dh --with ocaml +

Bug#731378: nss-passwords fails to decrypt

2013-12-04 Thread Stéphane Glondu
Le 04/12/2013 20:46, Yann Dirson a écrit : nss-passwords, which I only run occasionally, fails today with the following message: Fatal error: exception Main.NSS_decrypt_failed(base64 here, -5977, 0) After trying several accounts on commandline, it looks like it succeeds in finding the

Bug#731378: nss-passwords fails to decrypt

2013-12-04 Thread Stéphane Glondu
Le 04/12/2013 23:39, Yann Dirson a écrit : nss-passwords, which I only run occasionally, fails today with the following message: Fatal error: exception Main.NSS_decrypt_failed(base64 here, -5977, 0) After trying several accounts on commandline, it looks like it succeeds in finding the

Bug#731398: galax: FTBFS with ocaml 4.01.0

2013-12-04 Thread Stéphane Glondu
Source: galax Version: 1.1-10 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, galax FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: File datatypes/dateTime.ml, line 196, characters 20-22: Warning 3: deprecated feature: operator (or); you should use

Bug#731399: jocaml: needs update for ocaml 4.01.0

2013-12-04 Thread Stéphane Glondu
Source: jocaml Version: 3.12.1-1 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, jocaml needs to be updated to ocaml 4.01.0. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

Bug#731400: ocamlduce: needs update for ocaml 4.01.0

2013-12-04 Thread Stéphane Glondu
Source: ocamlduce Version: 3.12.1.0 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, ocamlduce needs to be updated to ocaml 4.01.0. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

Bug#731401: otags: needs update for ocaml 4.01.0

2013-12-04 Thread Stéphane Glondu
Source: otags Version: 3.12.5-2 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, otags needs to be updated to ocaml 4.01.0. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

Bug#731405: ocamldap: FTBFS with ocaml 4.01.0

2013-12-04 Thread Stéphane Glondu
Source: ocamldap Version: 2.1.8-8 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, ocamldap FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: ocamlfind ocamlc -package netstring,str,ssl -c -g ldap_protocol.mli ocamlfind ocamlc -package netstring,str,ssl

Bug#731404: ocaml-data-notation: FTBFS with ocaml 4.01.0

2013-12-04 Thread Stéphane Glondu
Source: ocaml-data-notation Version: 0.0.9-1 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, ocaml-data-notation FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: ocamlfind ocamlopt -shared -linkall src/odn.cmxa -o src/odn.cmxs ocamlfind ocamldep

Bug#731218: facile: FTBFS with ocaml 4.01.0

2013-12-03 Thread Stéphane Glondu
Source: facile Version: 1.1-8 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, facile FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: File fcl_data.ml, line 1: Error: The implementation fcl_data.ml does not match the interface fcl_data.cmi:

Bug#731277: dose3: FTBFS with ocaml 4.01.0

2013-12-03 Thread Stéphane Glondu
Source: dose3 Version: 3.1.3-5 Severity: serious Tags: jessie sid Control: block 718767 with -1 Hi, dose3 FTBFS when binNMUed against ocaml 4.01.0. From the amd64 build log: findlib: [WARNING] Interface common.cmi occurs in several directories: doselibs, common + ocamlfind ocamlopt -c -w

Bug#731277: dose3: FTBFS with ocaml 4.01.0

2013-12-03 Thread Stéphane Glondu
Le 03/12/2013 23:03, Stéphane Glondu a écrit : dose3 FTBFS when binNMUed against ocaml 4.01.0. [...] FTR, it fails only on native architectures. -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas

Bug#718767: transition: ocaml 4.01.0

2013-12-02 Thread Stéphane Glondu
Le 02/12/2013 13:54, Mehdi Dogguy a écrit : I would like to start the transition to OCaml 4.00.1 (released last November) as soon as possible. It breaks some packages; most of them have been fixed in experimental. As usual, it involves a lot of binNMUs; I will take care of those. Now, I

Bug#730830: ocaml: Please add powerpcspe to the list of native architectures

2013-12-01 Thread Stéphane Glondu
clone 730830 -1 retitle -1 FTBFS with recent binutils-dev severity -1 serious thanks Le 01/12/2013 11:09, Roland Stigge a écrit : Aren't those registers also used by generated code? The registers can't be used since they don't exist and the assembler would show errors if someone would try to

Bug#730830: ocaml: Please add powerpcspe to the list of native architectures

2013-11-30 Thread Stéphane Glondu
Le 29/11/2013 23:48, Roland Stigge a écrit : please add powerpcspe to the list of native architectures. I.e., add powerpcspe to: * debian/native-archs * debian/natdynlink-archs * debian/control similar as powerpc. I'm attaching a patch that fixes an asm build problem on powerpcspe

Bug#730830: ocaml: Please add powerpcspe to the list of native architectures

2013-11-30 Thread Stéphane Glondu
Le 30/11/2013 19:54, Roland Stigge a écrit : Aren't those registers also used by generated code? The registers can't be used since they don't exist and the assembler would show errors if someone would try to use them. Now (with my patch), the assembler doesn't show errors anymore. Does

Bug#730619: [PATCH] Add a transition collision detector.

2013-11-27 Thread Stéphane Glondu
Package: ben Version: 0.6.6 Severity: normal Le 09/02/2012 18:21, Niels Thykier a écrit : While this post-processing of generated HTML files is kind of ugly, it makes it easy to show which transitions might be entangled due to collisions. [...] I am in favor of using this as a temporary

Bug#718473: pcscd: 100% CPU usage

2013-11-25 Thread Stéphane Glondu
Le 24/11/2013 20:37, Ludovic Rousseau a écrit : I would like to inform you that I do not have this bug anymore. It seems that it got fixed about 2 months ago. Good to know. I have not changed anything in pcsc-lite to fix this. So it has been fixed in another package like libudev or the

Bug#718767: transition: ocaml 4.01.0

2013-11-24 Thread Stéphane Glondu
retitle 718767 transition: ocaml 4.01.0 thanks Le 05/08/2013 10:43, Stéphane Glondu a écrit : I would like to start the transition to OCaml 4.00.1 (released last November) as soon as possible. It breaks some packages; most of them have been fixed in experimental. As usual, it involves a lot

Bug#729223: ben: provide state of the package in testing, too

2013-11-10 Thread Stéphane Glondu
Le 10/11/2013 14:55, Andreas Beckmann a écrit : looking at the transition tracker pages, I sometimes would like to know about the state of a transition in testing, not unstable. E.g. when I filed 729214 I had no clue whether the openmpi1.6 packages had started migrating to testing ... Not

Bug#729223: ben: provide state of the package in testing, too

2013-11-10 Thread Stéphane Glondu
Le 10/11/2013 15:28, Andreas Beckmann a écrit : looking at the transition tracker pages, I sometimes would like to know about the state of a transition in testing, not unstable. E.g. when I filed 729214 I had no clue whether the openmpi1.6 packages had started migrating to testing ... Not

Bug#718767: ocaml_4.01.0-1_amd64.changes ACCEPTED into experimental

2013-11-09 Thread Stéphane Glondu
Le 09/11/2013 10:32, Hendrik Tews a écrit : Debian FTP Masters ftpmas...@ftp-master.debian.org writes: Source: ocaml Version: 4.01.0-1 does this mean we skip the 4.00 transition and transition directly to 4.01, when the release team finally approves? Yes. Does this also mean that

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