Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2

2020-04-02 Thread Stéphane Glondu
Le 02/04/2020 à 22:23, Thomas Leonard a écrit : > My package (https://tracker.debian.org/pkg/zeroinstall-injector) > depends on lablgtk2 and the tracker says it will be removed on 4th Apr > due to this issue. > > I can't upgrade to lablgtk3 because Debian/unstable only has an old > beta release of

Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2

2020-04-02 Thread Thomas Leonard
Hi, My package (https://tracker.debian.org/pkg/zeroinstall-injector) depends on lablgtk2 and the tracker says it will be removed on 4th Apr due to this issue. I can't upgrade to lablgtk3 because Debian/unstable only has an old beta release of that (3.0~beta6-2), which is missing some functions.

ppx-bin-prot_0.13.0-1_amd64.changes is NEW

2020-04-02 Thread Debian FTP Masters
binary:libppx-bin-prot-ocaml is NEW. binary:libppx-bin-prot-ocaml-dev is NEW. binary:libppx-bin-prot-ocaml is NEW. binary:libppx-bin-prot-ocaml-dev is NEW. source:ppx-bin-prot is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload

Processing of ppx-bin-prot_0.13.0-1_amd64.changes

2020-04-02 Thread Debian FTP Masters
ppx-bin-prot_0.13.0-1_amd64.changes uploaded successfully to localhost along with the files: ppx-bin-prot_0.13.0-1.dsc ppx-bin-prot_0.13.0.orig.tar.gz ppx-bin-prot_0.13.0-1.debian.tar.xz libppx-bin-prot-ocaml-dbgsym_0.13.0-1_amd64.deb libppx-bin-prot-ocaml-dev_0.13.0-1_amd64.deb libppx-

Bug#955494: `menhir --suggest-menhirLib` suggests wrong directory

2020-04-02 Thread Stéphane Glondu
Dear Ralf, Le 02/04/2020 à 09:04, Ralf Treinen a écrit : >> Severity: important > >> `menhir --suggest-menhirLib` returns `/usr/lib/menhirLib` which does >> not exist. It think it should return `/usr/lib/ocaml/menhirLib`. > > why severity=important ? I wasn't even aware of this option. Third-pa

Bug#955494: `menhir --suggest-menhirLib` suggests wrong directory

2020-04-02 Thread Ralf Treinen
Hello Stéphane, On Wed, Apr 01, 2020 at 05:22:44PM +0200, Stéphane Glondu wrote: > Severity: important > `menhir --suggest-menhirLib` returns `/usr/lib/menhirLib` which does > not exist. It think it should return `/usr/lib/ocaml/menhirLib`. why severity=important ? I wasn't even aware of this op