Bug#939741: FTBFS with OCaml 4.08.0 (safe strings)

Control: block 939741 by 897129 I agree. coq-doc acquired a new dependency in the 8.9 release, so that’ll need to get packaged first.

Processed: Re: Bug#939741: FTBFS with OCaml 4.08.0 (safe strings)

Processing control commands: > block 939741 by 897129 Bug #939741 [src:coq-doc] FTBFS with OCaml 4.08.0 (safe strings) 939741 was not blocked by any bugs. 939741 was not blocking any bugs. Added blocking bug(s) of 939741: 897129 -- 939741: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939741

spamoracle_1.4-16_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 08 Sep 2019 18:48:47 +0200 Source: spamoracle Architecture: source Version: 1.4-16 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: spamoracle (1.

ocaml-lastfm_0.3.0-5_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 08 Sep 2019 18:34:02 +0200 Source: ocaml-lastfm Architecture: source Version: 0.3.0-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-lastf

ocaml-benchmark_1.3-3_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 08 Sep 2019 18:05:10 +0200 Source: ocaml-benchmark Architecture: source Version: 1.3-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-benc

Processing of spamoracle_1.4-16_source.changes

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

[Git][ocaml-team/spamoracle] Pushed new tag archive/debian/1.4-16

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

[Git][ocaml-team/spamoracle] Pushed new tag debian/1.4-16

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

Processing of ocaml-lastfm_0.3.0-5_source.changes

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

[Git][ocaml-team/ocaml-lastfm] Pushed new tag debian/0.3.0-5

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

[Git][ocaml-team/ocaml-lastfm] Pushed new tag archive/debian/0.3.0-5

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

Processing of ocaml-benchmark_1.3-3_source.changes

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

[Git][ocaml-team/ocaml-benchmark] Pushed new tag archive/debian/1.3-3

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

[Git][ocaml-team/ocaml-benchmark] Pushed new tag debian/1.3-3

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

[Git][ocaml-team/ocaml-reins] Pushed new tag debian/0.1a-9

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

[Git][ocaml-team/ocaml-reins] Pushed new tag archive/debian/0.1a-9

Stéphane Glondu pushed new tag archive/debian/0.1a-9 at Debian OCaml Maintainers / ocaml-reins -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-reins/tree/archive/debian/0.1a-9 You're receiving this email because of your account on salsa.debian.org.

ocaml-reins_0.1a-9_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 08 Sep 2019 11:39:18 +0200 Source: ocaml-reins Architecture: source Version: 0.1a-9 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-reins (

Processing of ocaml-reins_0.1a-9_source.changes

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

Bug#939741: FTBFS with OCaml 4.08.0 (safe strings)

Package: src:coq-doc Version: 8.6-1 Severity: important User: debian-ocaml-maint@lists.debian.org Usertags: ocaml-4.08-transition Dear Maintainer, coq-doc FTBFS with OCaml 4.08.0 due to -safe-string being the default now. IMHO, the proper fix is the update to a newer upstream release. Cheers,