marionnet_0.90.6+bzr508-1_amd64.changes ACCEPTED into unstable

2017-10-30 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 30 Oct 2017 23:22:35 +0100 Source: marionnet Binary: marionnet Architecture: source amd64 Version: 0.90.6+bzr508-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

ocamlbricks_0.90+bzr456-1_amd64.changes ACCEPTED into unstable

2017-10-30 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 30 Oct 2017 23:05:33 +0100 Source: ocamlbricks Binary: libocamlbricks-ocaml-dev Architecture: source amd64 Version: 0.90+bzr456-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of ocamlbricks_0.90+bzr456-1_amd64.changes

2017-10-30 Thread Debian FTP Masters
ocamlbricks_0.90+bzr456-1_amd64.changes uploaded successfully to localhost along with the files: ocamlbricks_0.90+bzr456-1.dsc ocamlbricks_0.90+bzr456.orig.tar.gz ocamlbricks_0.90+bzr456-1.debian.tar.xz libocamlbricks-ocaml-dev-dbgsym_0.90+bzr456-1_amd64.deb

Processing of marionnet_0.90.6+bzr508-1_amd64.changes

2017-10-30 Thread Debian FTP Masters
marionnet_0.90.6+bzr508-1_amd64.changes uploaded successfully to localhost along with the files: marionnet_0.90.6+bzr508-1.dsc marionnet_0.90.6+bzr508.orig.tar.gz marionnet_0.90.6+bzr508-1.debian.tar.xz marionnet-dbgsym_0.90.6+bzr508-1_amd64.deb marionnet_0.90.6+bzr508-1_amd64.buildinfo

Bug#866607: marked as done (marionnet: mention that multiarch support for i386 is needed in README.Debian)

2017-10-30 Thread Debian Bug Tracking System
Your message dated Mon, 30 Oct 2017 22:35:26 + with message-id and subject line Bug#866607: fixed in marionnet 0.90.6+bzr508-1 has caused the Debian Bug report #866607, regarding marionnet: mention that multiarch support for i386 is needed in

lablgtkmathview_0.7.8-7_source.changes ACCEPTED into unstable

2017-10-30 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 30 Oct 2017 21:00:18 +0100 Source: lablgtkmathview Binary: liblablgtkmathview-ocaml liblablgtkmathview-ocaml-dev Architecture: source Version: 0.7.8-7 Distribution: unstable Urgency: medium Maintainer: Debian

Bug#818952: marked as done (marionnet: Please make the build reproducible (timestamps, captures kernel version))

2017-10-30 Thread Debian Bug Tracking System
Your message dated Mon, 30 Oct 2017 22:35:26 + with message-id and subject line Bug#818952: fixed in marionnet 0.90.6+bzr508-1 has caused the Debian Bug report #818952, regarding marionnet: Please make the build reproducible (timestamps, captures kernel

Bug#876734: marked as done (ocamlbricks FTBFS with OCaml 4.05.0)

2017-10-30 Thread Debian Bug Tracking System
Your message dated Mon, 30 Oct 2017 22:35:35 + with message-id and subject line Bug#876734: fixed in ocamlbricks 0.90+bzr456-1 has caused the Debian Bug report #876734, regarding ocamlbricks FTBFS with OCaml 4.05.0 to be marked as done. This means that

Bug#866606: marked as done (marionnet: add dependency on xterm)

2017-10-30 Thread Debian Bug Tracking System
Your message dated Mon, 30 Oct 2017 22:35:26 + with message-id and subject line Bug#866606: fixed in marionnet 0.90.6+bzr508-1 has caused the Debian Bug report #866606, regarding marionnet: add dependency on xterm to be marked as done. This means that you

Processing of lablgtkmathview_0.7.8-7_source.changes

2017-10-30 Thread Debian FTP Masters
lablgtkmathview_0.7.8-7_source.changes uploaded successfully to localhost along with the files: lablgtkmathview_0.7.8-7.dsc lablgtkmathview_0.7.8-7.debian.tar.xz lablgtkmathview_0.7.8-7_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

coccinelle_1.0.6.deb-1_source.changes ACCEPTED into experimental

2017-10-30 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 30 Oct 2017 21:06:45 +0100 Source: coccinelle Binary: coccinelle coccinelle-doc Architecture: source Version: 1.0.6.deb-1 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers

Bug#852412: marked as done (coccinelle: Please provide a newer version (1.0.6))

2017-10-30 Thread Debian Bug Tracking System
Your message dated Mon, 30 Oct 2017 21:19:19 + with message-id and subject line Bug#852412: fixed in coccinelle 1.0.6.deb-1 has caused the Debian Bug report #852412, regarding coccinelle: Please provide a newer version (1.0.6) to be marked as done. This

Processing of coccinelle_1.0.6.deb-1_source.changes

2017-10-30 Thread Debian FTP Masters
coccinelle_1.0.6.deb-1_source.changes uploaded successfully to localhost along with the files: coccinelle_1.0.6.deb-1.dsc coccinelle_1.0.6.deb.orig.tar.gz coccinelle_1.0.6.deb-1.debian.tar.xz coccinelle_1.0.6.deb-1_source.buildinfo Greetings, Your Debian queue daemon (running on

Bug#880301: coinst: FTBFS: build-dependency not installable: js-of-ocaml

2017-10-30 Thread Lucas Nussbaum
Source: coinst Version: 1.9.3-1 Severity: serious Tags: buster sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20171030 qa-ftbfs Justification: FTBFS on amd64 Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully

ocaml-visitors_20170725-2_source.changes ACCEPTED into unstable

2017-10-30 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 30 Oct 2017 20:22:58 +0100 Source: ocaml-visitors Binary: libppx-visitors-ocaml-dev libppx-visitors-ocaml-doc Architecture: source Version: 20170725-2 Distribution: unstable Urgency: medium Maintainer: Debian

Processing of ocaml-visitors_20170725-2_source.changes

2017-10-30 Thread Debian FTP Masters
ocaml-visitors_20170725-2_source.changes uploaded successfully to localhost along with the files: ocaml-visitors_20170725-2.dsc ocaml-visitors_20170725-2.debian.tar.xz ocaml-visitors_20170725-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

Bug#880063: marked as done (ocaml-visitors: FTBFS with OCaml 4.05.0)

2017-10-30 Thread Debian Bug Tracking System
Your message dated Mon, 30 Oct 2017 19:53:25 + with message-id and subject line Bug#880063: fixed in ocaml-visitors 20170725-2 has caused the Debian Bug report #880063, regarding ocaml-visitors: FTBFS with OCaml 4.05.0 to be marked as done. This means

Processed: limit source to coccinelle, tagging 852412

2017-10-30 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > limit source coccinelle Limiting to bugs with field 'source' containing at least one of 'coccinelle' Limit currently set to 'source':'coccinelle' > tags 852412 + pending Bug #852412 [coccinelle] coccinelle: Please provide a newer version (1.0.6)

Processed: retitle 878896 to liquidsoap: FTBFS with OCaml 4.05.0, severity of 847495 is important ...

2017-10-30 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 878896 liquidsoap: FTBFS with OCaml 4.05.0 Bug #878896 [src:liquidsoap] liquidsoap with OCaml 4.05.0 Changed Bug title to 'liquidsoap: FTBFS with OCaml 4.05.0' from 'liquidsoap with OCaml 4.05.0'. > severity 847495 important Bug #847495

unison_2.48.4-1_amd64.changes ACCEPTED into unstable

2017-10-30 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 30 Oct 2017 10:26:00 +0100 Source: unison Binary: unison unison-gtk Architecture: source amd64 Version: 2.48.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of unison_2.48.4-1_amd64.changes

2017-10-30 Thread Debian FTP Masters
unison_2.48.4-1_amd64.changes uploaded successfully to localhost along with the files: unison_2.48.4-1.dsc unison_2.48.4.orig.tar.gz unison_2.48.4-1.debian.tar.xz unison-dbgsym_2.48.4-1_amd64.deb unison-gtk-dbgsym_2.48.4-1_amd64.deb unison-gtk_2.48.4-1_amd64.deb

Bug#876533: hol-light FTBFS with OCaml 4.05.0

2017-10-30 Thread Hendrik Tews
> 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 yesterday. Please review and upload. If you

Bug#878462: marked as done (unison FTBFS: Error: The implementation /build/1st/unison-2.48.3/system.ml does not match the interface system.cmi)

2017-10-30 Thread Debian Bug Tracking System
Your message dated Mon, 30 Oct 2017 09:51:59 + with message-id and subject line Bug#878462: fixed in unison 2.48.4-1 has caused the Debian Bug report #878462, regarding unison FTBFS: Error: The implementation /build/1st/unison-2.48.3/system.ml does not

Re: Status of llvm-toolchain-3.8?

2017-10-30 Thread Stéphane Glondu
On 20/10/2017 10:27, Sylvestre Ledru wrote: At the moment, llvm-toolchain-3.8 FTBFS with "gcc-7.2: Command not found" and this blocks the OCaml transition. I see there are already bugs open related to gcc-7 (#871011 and #853523), but these do not have recent activity. I also see that this

Re: RFS: ocaml-migrate-parsetree

2017-10-30 Thread Ximin Luo
Hi Andy, sorry for the delay. Andy Li: > [..] > > There are a number of things that I'm not sure: > > * When I try to use dh_ocamldoc, there is an error processing > migrate_parsetree_versions.mli, which contains OCaml_OCAML_VERSION, > which should be replaced by a preprocessor in some way. I

Bug#876533: hol-light FTBFS with OCaml 4.05.0

2017-10-30 Thread Ximin Luo
Hendrik Tews: > Upstream does indeed fix this problem. However, it also contains > a few files with unclear license and copyright, currently > preventing to package it. I am trying to solve these license and > copyright issues with upstream. > Hi Hendrik, any progress on this? I notice in the