Bug#876735: Bug#880775: mldonkey build depends on removed libgd2*-dev provides

On Sun, Nov 05, 2017 at 11:45:11PM +0200, Adrian Bunk wrote: > On Sun, Nov 05, 2017 at 10:05:19PM +0100, Ralf Treinen wrote: > > Thanks, pushed to git, but not uploaded since we still have another FTBFS > > (#876735). > > #876735 seems fixed in 3.1.6-0ubuntu1, so upgrading to 3.1.6 is likely >

Processed: tagging 876735

Processing commands for cont...@bugs.debian.org: > tags 876735 + pending Bug #876735 [src:mldonkey] mldonkey FTBFS with OCaml 4.05.0 Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 876735:

prooftree is marked for autoremoval from testing

prooftree 0.13-1 is marked for autoremoval from testing on 2017-12-13 It (build-)depends on packages with these RC bugs: 880285: proofgeneral: FTBFS: build-dependency not installable: emacs24

Re: Status of llvm-toolchain-3.8?

On 30/10/2017 10:39, Stéphane Glondu wrote: Is there any plans to fix llvm-toolchain-3.8? I wish we could removed it but it is far from ready (we were blocked by the ocaml transition but I dropped the ocaml support to mitigate that) I will try to fix that in the next few days. Sorry about that

Re: Bug#876533: hol-light FTBFS with OCaml 4.05.0

On 03/11/2017 17:43, Ximin Luo wrote: Hi Hendrik, any progress on this? I notice in the ocaml transition tracker: I really spend more than 4 weeks in discussions with upstream about license and copyright clarifications. Now it is finished. I uploaded a new hol-light version to DOM git

ocaml-gen_0.5-1_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 06 Nov 2017 15:05:55 +0800 Source: ocaml-gen Binary: libgen-ocaml libgen-ocaml-dev Architecture: source Version: 0.5-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers

Processing of ocaml-gen_0.5-1_source.changes

ocaml-gen_0.5-1_source.changes uploaded successfully to localhost along with the files: ocaml-gen_0.5-1.dsc ocaml-gen_0.5.orig.tar.gz ocaml-gen_0.5-1.debian.tar.xz ocaml-gen_0.5-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

RFS: ocaml-obuild/0.1.8-1

Hi, I am looking for a sponsor for my package "ocaml-obuild" * Package name: ocaml-obuild Version : 0.1.8-1 Upstream Author : Vincent Hanquez and Jerome Maloberti * URL : https://github.com/ocaml-obuild/obuild * License