why3 is marked for autoremoval from testing

why3 1.1.1-1 is marked for autoremoval from testing on 2019-02-06 It (build-)depends on packages with these RC bugs: 916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages.

Bug#918769: ocaml-migrate-parsetree FTBFS:dh_install fails

Hi Andy, On Thu, Jan 10, 2019 at 02:47:23AM -0800, Andy Li wrote: > Hi Ralf, > > On Tue, Jan 8, 2019 at 11:18 PM Ralf Treinen wrote: > > ocaml-migrate-parsetree fails to build on sid using debhelper version 12 > (12 is the version of the debhelper package, I haven't touched the DH >

Processed: severity of 918769 is important

Processing commands for cont...@bugs.debian.org: > severity 918769 important Bug #918769 [src:ocaml-migrate-parsetree] ocaml-migrate-parsetree FTBFS:dh_install fails Severity set to 'important' from 'serious' > thanks Stopping processing here. Please contact me if you need assistance. --

why3_1.1.1-2_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 10 Jan 2019 20:12:24 +0100 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: source Version: 1.1.1-2 Distribution: unstable Urgency: medium Maintainer:

Bug#918633: marked as done (why3-coq: package should Depend on a specific Coq version)

Your message dated Thu, 10 Jan 2019 20:50:11 + with message-id and subject line Bug#918633: fixed in why3 1.1.1-2 has caused the Debian Bug report #918633, regarding why3-coq: package should Depend on a specific Coq version to be marked as done. This means that you claim that the problem has

Processing of why3_1.1.1-2_source.changes

why3_1.1.1-2_source.changes uploaded successfully to localhost along with the files: why3_1.1.1-2.dsc why3_1.1.1-2.debian.tar.xz why3_1.1.1-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processed: Bug #918770 in ocaml-migrate-parsetree marked as pending

Processing control commands: > tag -1 pending Bug #918770 [src:ocaml-migrate-parsetree] ocaml-migrate-parsetree: build-dep on opam-installer Added tag(s) pending. -- 918770: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=918770 Debian Bug Tracking System Contact ow...@bugs.debian.org with

[Git][ocaml-team/coq] Pushed new tag upstream/8.8.2

Benjamin Barenblat pushed new tag upstream/8.8.2 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/tree/upstream/8.8.2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq] Pushed new tag debian/8.8.2-1

Benjamin Barenblat pushed new tag debian/8.8.2-1 at Debian OCaml Maintainers / coq -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/tree/debian/8.8.2-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/coq][upstream] Imported Upstream version 8.8.2

Benjamin Barenblat pushed to branch upstream at Debian OCaml Maintainers / coq Commits: 9043add6 by Benjamin Barenblat at 2018-12-29T19:31:27Z Imported Upstream version 8.8.2 - - - - - 21 changed files: - + .bintray.json - − .gitattributes - + .github/ISSUE_TEMPLATE.md - +

[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.8.2.orig.tar.gz

Benjamin Barenblat pushed to branch pristine-tar at Debian OCaml Maintainers / coq Commits: 1dcf8d69 by Benjamin Barenblat at 2018-12-29T19:31:30Z pristine-tar data for coq_8.8.2.orig.tar.gz - - - - - 2 changed files: - + coq_8.8.2.orig.tar.gz.delta - + coq_8.8.2.orig.tar.gz.id Changes:

[Git][ocaml-team/coq][master] 27 commits: Imported Upstream version 8.6

Benjamin Barenblat pushed to branch master at Debian OCaml Maintainers / coq Commits: a4c7f8bd by Enrico Tassi at 2016-12-27T15:53:30Z Imported Upstream version 8.6 - - - - - 5a38d3c4 by Benjamin Barenblat at 2018-12-24T18:25:38Z Update debian/watch for GitHub switch The Coq developers now

belenios_1.7.1+dfsg-1_amd64.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 10 Jan 2019 11:32:35 +0100 Source: belenios Binary: belenios-tool Architecture: source amd64 Version: 1.7.1+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane

Processing of belenios_1.7.1+dfsg-1_amd64.changes

belenios_1.7.1+dfsg-1_amd64.changes uploaded successfully to localhost along with the files: belenios_1.7.1+dfsg-1.dsc belenios_1.7.1+dfsg.orig.tar.xz belenios_1.7.1+dfsg-1.debian.tar.xz belenios-tool-dbgsym_1.7.1+dfsg-1_amd64.deb belenios-tool_1.7.1+dfsg-1_amd64.deb

[Git][ocaml-team/belenios] Pushed new tag upstream/1.7.1+dfsg

Stéphane Glondu pushed new tag upstream/1.7.1+dfsg at Debian OCaml Maintainers / belenios -- View it on GitLab: https://salsa.debian.org/ocaml-team/belenios/tree/upstream/1.7.1+dfsg You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/belenios] Pushed new tag debian/1.7.1+dfsg-1

Stéphane Glondu pushed new tag debian/1.7.1+dfsg-1 at Debian OCaml Maintainers / belenios -- View it on GitLab: https://salsa.debian.org/ocaml-team/belenios/tree/debian/1.7.1+dfsg-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/belenios][master] 5 commits: Update debian/watch

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / belenios Commits: 5ba97938 by Stephane Glondu at 2019-01-10T10:16:06Z Update debian/watch - - - - - 5d593103 by Stephane Glondu at 2019-01-10T10:16:41Z New upstream version 1.7.1+dfsg - - - - - dce0dfa5 by Stephane Glondu at

Processed: tag

Processing commands for cont...@bugs.debian.org: > tag 918633 + pending Bug #918633 [why3-coq] why3-coq: package should Depend on a specific Coq version Added tag(s) pending. > -- Stopping processing here. Please contact me if you need assistance. -- 918633:

Bug#918769: ocaml-migrate-parsetree FTBFS:dh_install fails

Hi Ralf, On Tue, Jan 8, 2019 at 11:18 PM Ralf Treinen wrote: > ocaml-migrate-parsetree fails to build on sid using debhelper version 12 > (12 is the version of the debhelper package, I haven't touched the DH > compat level) : > > dh_install: libmigrate-parsetree-ocamlbuild-ocaml missing files: