ocaml-ssl_0.5.9-1~exp1_source.changes ACCEPTED into experimental

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 29 Jul 2019 16:13:49 -0300 Source: ocaml-ssl Architecture: source Version: 0.5.9-1~exp1 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Kyle Robbertze Changes: ocaml-

Processing of ocaml-ssl_0.5.9-1~exp1_source.changes

ocaml-ssl_0.5.9-1~exp1_source.changes uploaded successfully to localhost along with the files: ocaml-ssl_0.5.9-1~exp1.dsc ocaml-ssl_0.5.9.orig.tar.gz ocaml-ssl_0.5.9-1~exp1.debian.tar.xz ocaml-ssl_0.5.9-1~exp1_amd64.buildinfo Greetings, Your Debian queue daemon (running on host us

[Git][ocaml-team/ocaml-ssl][upstream] New upstream version 0.5.9

Kyle Robbertze pushed to branch upstream at Debian OCaml Maintainers / ocaml-ssl Commits: b427a229 by Kyle Robbertze at 2019-07-29T14:48:08Z New upstream version 0.5.9 - - - - - 30 changed files: - + .gitignore - + .gitmodules - + .travis.yml - CHANGES - Makefile - README.md - − bootstrap -

[Git][ocaml-team/ocaml-ssl][pristine-tar] pristine-tar data for ocaml-ssl_0.5.9.orig.tar.gz

Kyle Robbertze pushed to branch pristine-tar at Debian OCaml Maintainers / ocaml-ssl Commits: fc693741 by Kyle Robbertze at 2019-07-29T14:48:08Z pristine-tar data for ocaml-ssl_0.5.9.orig.tar.gz - - - - - 2 changed files: - + ocaml-ssl_0.5.9.orig.tar.gz.delta - + ocaml-ssl_0.5.9.orig.tar.g

[Git][ocaml-team/ocaml-ssl][master] 11 commits: Fix watch file url

Kyle Robbertze pushed to branch master at Debian OCaml Maintainers / ocaml-ssl Commits: 49dbb9a6 by Kyle Robbertze at 2019-07-29T14:47:02Z Fix watch file url - - - - - b427a229 by Kyle Robbertze at 2019-07-29T14:48:08Z New upstream version 0.5.9 - - - - - f7d02e1e by Kyle Robbertze at 2019-07-

[Git][ocaml-team/ocaml-ssl] Pushed new tag upstream/0.5.9

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

[Git][ocaml-team/ocaml-ssl] Pushed new tag debian/0.5.9-1_exp1

Kyle Robbertze pushed new tag debian/0.5.9-1_exp1 at Debian OCaml Maintainers / ocaml-ssl -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-ssl/tree/debian/0.5.9-1_exp1 You're receiving this email because of your account on salsa.debian.org.

ocaml-dune_1.6.2-3_amd64.changes is NEW

binary:ocaml-dune is NEW. binary:ocaml-dune is NEW. source:ocaml-dune is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload was otherwise valid (it had a good OpenPGP signature and file hashes are valid), so please be patient. P

[Git][ocaml-team/findlib] Pushed new tag upstream/1.8.0

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

[Git][ocaml-team/findlib][upstream] 2 commits: New upstream version 1.8.0

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / findlib Commits: cbb5e7da by Stephane Glondu at 2019-07-29T14:31:15Z New upstream version 1.8.0 - - - - - 1e305eed by Stephane Glondu at 2019-07-29T14:31:26Z New upstream version 1.8.1 - - - - - 30 changed files: - confi

[Git][ocaml-team/findlib] Pushed new tag upstream/1.8.1

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

[Git][ocaml-team/findlib][master] 11 commits: New upstream version 1.8.0

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / findlib Commits: cbb5e7da by Stephane Glondu at 2019-07-29T14:31:15Z New upstream version 1.8.0 - - - - - 1e305eed by Stephane Glondu at 2019-07-29T14:31:26Z New upstream version 1.8.1 - - - - - fd9b117f by Stephane Glondu at

hol-light_20190729-2_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 29 Jul 2019 15:24:03 +0200 Source: hol-light Binary: hol-light Architecture: source Version: 20190729-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Gianfranco

Processing of hol-light_20190729-2_source.changes

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

Bug#640032: marked as done (Ships META.graphics without depending on its module files)

Your message dated Mon, 29 Jul 2019 16:04:52 +0200 with message-id and subject line Cleaning up old bug has caused the Debian Bug report #640032, regarding Ships META.graphics without depending on its module files to be marked as done. This means that you claim that the problem has been dealt wit

Processing of ocaml-dune_1.6.2-3_amd64.changes

ocaml-dune_1.6.2-3_amd64.changes uploaded successfully to localhost along with the files: ocaml-dune_1.6.2-3.dsc ocaml-dune_1.6.2.orig.tar.bz2 ocaml-dune_1.6.2-3.debian.tar.xz dune_1.6.2-3_all.deb jbuilder_1.6.2-3_all.deb libdune-ocaml-dev-dbgsym_1.6.2-3_amd64.deb libdune-ocaml-dev_1.

hol-light_20190729-1_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 29 Jul 2019 14:54:22 +0200 Source: hol-light Binary: hol-light Architecture: source Version: 20190729-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Gianfranco

Processing of hol-light_20190729-2_source.changes

/hol-light_20190729-2_source.changes is already present on target host: hol-light_20190729.orig.tar.gz Either you already uploaded it, or someone else came first. Job hol-light_20190729-2_source.changes removed. Greetings, Your Debian queue daemon (running on host usper.debian.org)

[Git][ocaml-team/hol-light] Pushed new tag debian/20190729-2

Gianfranco Costamagna pushed new tag debian/20190729-2 at Debian OCaml Maintainers / hol-light -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/tree/debian/20190729-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/hol-light] Deleted tag debian/20190729-3

Gianfranco Costamagna deleted tag debian/20190729-3 at Debian OCaml Maintainers / hol-light -- You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/hol-light] Pushed new tag debian/20190729-3

Gianfranco Costamagna pushed new tag debian/20190729-3 at Debian OCaml Maintainers / hol-light -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/tree/debian/20190729-3 You're receiving this email because of your account on salsa.debian.org.

ocaml-dune_1.6.2-3_amd64.changes REJECTED

ocaml-dune_1.6.2-3.dsc: Refers to non-existing file 'ocaml-dune_1.6.2.orig.tar.bz2' Perhaps you need to include the file in your upload? === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new files which address our concerns.

Processing of hol-light_20190729-1_source.changes

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

Processing of ocaml-dune_1.6.2-3_amd64.changes

ocaml-dune_1.6.2-3_amd64.changes uploaded successfully to localhost along with the files: ocaml-dune_1.6.2-3.dsc ocaml-dune_1.6.2-3.debian.tar.xz dune_1.6.2-3_all.deb jbuilder_1.6.2-3_all.deb libdune-ocaml-dev-dbgsym_1.6.2-3_amd64.deb libdune-ocaml-dev_1.6.2-3_amd64.deb ocaml-dune-dbg

[Git][ocaml-team/hol-light] Pushed new tag debian/20190729-0.1

Gianfranco Costamagna pushed new tag debian/20190729-0.1 at Debian OCaml Maintainers / hol-light -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/tree/debian/20190729-0.1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/hol-light] Pushed new tag upstream/20190729

Gianfranco Costamagna pushed new tag upstream/20190729 at Debian OCaml Maintainers / hol-light -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/tree/upstream/20190729 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/hol-light][upstream] New upstream version 20190729

Gianfranco Costamagna pushed to branch upstream at Debian OCaml Maintainers / hol-light Commits: e36a6cdd by Gianfranco Costamagna at 2019-07-29T11:27:00Z New upstream version 20190729 - - - - - 8 changed files: - + .gitattributes - + .gitignore - 100/cayley_hamilton.ml - Boyer_Moore

[Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_20190729.orig.tar.gz

Gianfranco Costamagna pushed to branch pristine-tar at Debian OCaml Maintainers / hol-light Commits: 3113ee13 by Gianfranco Costamagna at 2019-07-29T11:27:24Z pristine-tar data for hol-light_20190729.orig.tar.gz - - - - - 2 changed files: - + hol-light_20190729.orig.tar.gz.delta - + hol-li

[Git][ocaml-team/hol-light][master] 11 commits: New upstream version 20190729

Gianfranco Costamagna pushed to branch master at Debian OCaml Maintainers / hol-light Commits: e36a6cdd by Gianfranco Costamagna at 2019-07-29T11:27:00Z New upstream version 20190729 - - - - - 756b57d0 by Gianfranco Costamagna at 2019-07-29T11:27:24Z Update upstream source from tag 'ups

[Git][ocaml-team/hol-light] Pushed new tag debian/20190729-1

Gianfranco Costamagna pushed new tag debian/20190729-1 at Debian OCaml Maintainers / hol-light -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/tree/debian/20190729-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/jbuilder] Pushed new tag debian/1.6.2-3

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

Processed: Bug#919953 marked as pending in jbuilder

Processing control commands: > tag -1 pending Bug #919953 [dune] /usr/bin/dune and `dune' binary package should refer to dune-common Added tag(s) pending. -- 919953: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919953 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#876533: hol-light FTBFS with OCaml 4.05.0

Hello, > BTW, the listing above shows the inclusion of quilt's .pc directory in > /usr/share/hol-light, which is wrong. > > > If there are good reasons for installing it in /usr/share/hol-light (which > > seems to be inconsistent with the packaging policy, as I mentioned) please > > describe

hol-light_20190729-0.1_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 27 Jul 2019 10:19:28 +0200 Source: hol-light Binary: hol-light Architecture: source Version: 20190729-0.1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Gianfranco

Processing of hol-light_20190729-0.1_source.changes

hol-light_20190729-0.1_source.changes uploaded successfully to localhost along with the files: hol-light_20190729-0.1.dsc hol-light_20190729.orig.tar.gz hol-light_20190729-0.1.debian.tar.xz hol-light_20190729-0.1_source.buildinfo Greetings, Your Debian queue daemon (running on hos

Bug#878615: marked as done (hol-light: installs .pc/ files into a binary package)

Your message dated Mon, 29 Jul 2019 11:07:54 + with message-id and subject line Bug#878615: fixed in hol-light 20190729-0.1 has caused the Debian Bug report #878615, regarding hol-light: installs .pc/ files into a binary package to be marked as done. This means that you claim that the

Bug#876533: marked as done (hol-light FTBFS with OCaml 4.05.0)

Your message dated Mon, 29 Jul 2019 11:07:54 + with message-id and subject line Bug#876533: fixed in hol-light 20190729-0.1 has caused the Debian Bug report #876533, regarding hol-light FTBFS with OCaml 4.05.0 to be marked as done. This means that you claim that the problem has been dealt