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 
Changed-By: Lucas Nussbaum 
Description:
 marionnet  - Virtual network laboratory
Closes: 818952 866606 866607
Changes:
 marionnet (0.90.6+bzr508-1) unstable; urgency=medium
 .
   * New upstream version 0.90.6+bzr508
   * Add stricter dep on ocamlbricks.
   * Add symlink to port-helper in $PATH.
   * Add xterm to Depends. Closes: #866606
   * Mention Multiarch in README.Debian. Closes: #866607
   * Add patch from ceridwen.debian.b...@gmail.com to support building 
reproducibly. Closes: #818952
   * Remove obsolete b-dep on dh-systemd
   * Bump debian/compat to 9
   * Bump Standards-version to 4.1.1. No changes needed.
   * Remove duplicate license in debian/copyright
   * Run wrap-and-sort -a
Checksums-Sha1:
 b354d1d71c2a7021cfb887988ea0ac36afbd8dfa 2230 marionnet_0.90.6+bzr508-1.dsc
 4c34183c4f7639c40ab1a2cd2df7b155fbae4642 3417722 
marionnet_0.90.6+bzr508.orig.tar.gz
 862a6ac702ad69c3b80c816afe9540d3b97594ab 9276 
marionnet_0.90.6+bzr508-1.debian.tar.xz
 b9ff22395df9f7daf6eee7c47374188f581ad5cc 744224 
marionnet-dbgsym_0.90.6+bzr508-1_amd64.deb
 96a4219907901487f09a129b811441f95b10d072 11752 
marionnet_0.90.6+bzr508-1_amd64.buildinfo
 8438da8a26b25213c4b6d59b34f455b9428aef11 3350904 
marionnet_0.90.6+bzr508-1_amd64.deb
Checksums-Sha256:
 6cd33e4fb75c11dbe64e6ad3eb6d8abd1fd6ebc451a4e20275a335f7638938b3 2230 
marionnet_0.90.6+bzr508-1.dsc
 7ecee266f3931d3b2d91bac1c93540d24c208a88d73641f3060ca9e42c02e93b 3417722 
marionnet_0.90.6+bzr508.orig.tar.gz
 47203ea9cf5acdf58bcf23f40713f141f8dc17fcdc3f7fd9fb9f355aec1dba65 9276 
marionnet_0.90.6+bzr508-1.debian.tar.xz
 21700c998338a5ca36e0f66d6b0f1170d0751cd6c61edddebeb62a010d37e8b7 744224 
marionnet-dbgsym_0.90.6+bzr508-1_amd64.deb
 d899eb394a9cdb67a86094545af1b344fd4862b99163f98c69626a55f94adfa3 11752 
marionnet_0.90.6+bzr508-1_amd64.buildinfo
 fb72aa62996de0f7708970fd2d6edd6e7ac8133c073ea53355e5e98f1271a091 3350904 
marionnet_0.90.6+bzr508-1_amd64.deb
Files:
 e628fcc680d791a50d487c0fc9ff8623 2230 net extra marionnet_0.90.6+bzr508-1.dsc
 bd9383982c600cabc06c040c011c6921 3417722 net extra 
marionnet_0.90.6+bzr508.orig.tar.gz
 2f2a2dfd49777233c90158b826588ad2 9276 net extra 
marionnet_0.90.6+bzr508-1.debian.tar.xz
 922f3d47a31b7d1d761eb8bf8d82386b 744224 debug optional 
marionnet-dbgsym_0.90.6+bzr508-1_amd64.deb
 3d4a91f8c1939ddb53dde4902f8aab5c 11752 net extra 
marionnet_0.90.6+bzr508-1_amd64.buildinfo
 0c9fa6d8c76aac4d77d3b7df84609be3 3350904 net extra 
marionnet_0.90.6+bzr508-1_amd64.deb

-BEGIN PGP SIGNATURE-

iQIzBAEBCgAdFiEE/t7ByzN7z1CfQ8IkORS1MvTfvpkFAln3p24ACgkQORS1MvTf
vpl1Vw//Y+evuMWX4adqOcs7A5vdI2joqjX7Eu6eh0KGoCm90i9XAKA2kLQOkS0p
3ba6St5I1NQNoBsKsR6D9WECkSfLXE9f/nuhE1DDUCx+FzYXsnt1qtbMTybEGh8T
6nzSsjRylFWWM9CQzMtU7bPHh7o1Ux+BnB6kfvkUe5JTZ3gB7iLA1GjQVn4XD0QX
buVPCSqw+8ZrivEfXtdzDIRon5JC6LfAyEZOUHbKjb009hOFw12e/OtuVScExdZP
ou1wgljw4rPc7olU5t52fgcZYJ0K8D7oNeP0hwOBkLR3Y/nL5mbO5wBKzpPUvaP/
//fav3zEpFGKXOjIbzDGjHGeDQJ5jefv3QdoJ3viV5VorXIvyQHWj7A0gJY+DwIe
JTcK07S/7Ka1pjQb9c8c3vF+6cnbD3oMIoq/oaFX5jggngv/7STDt04TfC7PKSMq
EpVt4z8aEcQiYS+AM5HYYm9Hv5OSL8JNwg81ie8wefD9QX64ArL7nLTeZT1R2y7K
fRq1im5Vr4jHpkiiiXoT95fsRC7bYalEWnYgxRiWJ3LbKj0udJHPwZu/RQImc4eM
wFmMWccOM1aRG4cEITT/sci5GAu0VL13GtUEyvdHvYj07chJXIYp/2/1aXmQ6PFk
a1Yq+lBLxSh8jds/V9PxlLIDdD54OaFT8OKJMyMvbNxNDXLbyp8=
=8+zG
-END PGP SIGNATURE-


Thank you for your contribution to Debian.



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 
Changed-By: Lucas Nussbaum 
Description:
 libocamlbricks-ocaml-dev - Miscellaneous utility functions in OCaml for 
Marionnet
Closes: 876734
Changes:
 ocamlbricks (0.90+bzr456-1) unstable; urgency=medium
 .
   * Refresh patches.
   * Add ocamlbuild to build-depends
   * Run wrap-and-sort -a
   * New upstream version 0.90+bzr456
   * Add breaks on older marionnet
   * Bump debian/compat to 9
   * Bump Standards-version to 4.1.1. No changes needed.
   * Fix FTBFS. Closes: #876734
Checksums-Sha1:
 2eba9c4198ac707d8062a7e57af386530f6a1caf 2182 ocamlbricks_0.90+bzr456-1.dsc
 a9f96022243f8735e061192301efa28e1f799177 268438 
ocamlbricks_0.90+bzr456.orig.tar.gz
 cbffbb94ef27e4cfee713eaa74c9e3e5ebea8b1f 5432 
ocamlbricks_0.90+bzr456-1.debian.tar.xz
 f9c6f5ffc211fa17328a6f2533d3fcb31899c457 2432 
libocamlbricks-ocaml-dev-dbgsym_0.90+bzr456-1_amd64.deb
 6cf27f90bcf3a610880a617dd112d91e5e77a384 1668588 
libocamlbricks-ocaml-dev_0.90+bzr456-1_amd64.deb
 648243d5a58f0d52e6e56f864bea81e53edf1651 11691 
ocamlbricks_0.90+bzr456-1_amd64.buildinfo
Checksums-Sha256:
 84c5c4bf219465510b57506d368669a5c271d77d11e19bce1ea9df80874c291c 2182 
ocamlbricks_0.90+bzr456-1.dsc
 afbaa7503b85317a86665c0b330b6eb9f3e3b6c02d9b60542cdff5866911f253 268438 
ocamlbricks_0.90+bzr456.orig.tar.gz
 ef95ec3387ed6574e21f4d2c9e5c83d3421eedbd85eb307d168be5da9b446443 5432 
ocamlbricks_0.90+bzr456-1.debian.tar.xz
 afad45a7a541224146921dcd7ff40b39281e0f33099d9c5bbdd5ad14c1acbef2 2432 
libocamlbricks-ocaml-dev-dbgsym_0.90+bzr456-1_amd64.deb
 826ad76da63f01c14b992c607ca8e4577e2bc4b11667b703b16d85a04d6fd3a6 1668588 
libocamlbricks-ocaml-dev_0.90+bzr456-1_amd64.deb
 95c6e7083f986c5180f0c2fc7562cedf7124148739cf37ddf7174927b6cd815f 11691 
ocamlbricks_0.90+bzr456-1_amd64.buildinfo
Files:
 a3ea36b8ed9a425000f8939e2e358ad3 2182 ocaml optional 
ocamlbricks_0.90+bzr456-1.dsc
 dea5410e590b0751b14ed9b34c011009 268438 ocaml optional 
ocamlbricks_0.90+bzr456.orig.tar.gz
 1cc09356d04a3195527048d0176a7a26 5432 ocaml optional 
ocamlbricks_0.90+bzr456-1.debian.tar.xz
 f3414586f2d95a75b99969caae21443b 2432 debug optional 
libocamlbricks-ocaml-dev-dbgsym_0.90+bzr456-1_amd64.deb
 66f8aa12b84cd8484903e86cf0addd29 1668588 ocaml optional 
libocamlbricks-ocaml-dev_0.90+bzr456-1_amd64.deb
 4fa5e1caf9c9d0510e20c6abe939e1f4 11691 ocaml optional 
ocamlbricks_0.90+bzr456-1_amd64.buildinfo

-BEGIN PGP SIGNATURE-

iQIzBAEBCgAdFiEE/t7ByzN7z1CfQ8IkORS1MvTfvpkFAln3p6QACgkQORS1MvTf
vpn7rg//ZBsQnSbB86/hM7HuN8f/h8TlmJtDzwQs1SpVBApbVRODTubTxDk3ero6
FTjp7ps1rNH9Y1WwbYBcsY3Rp+PKLEb//nu2NKY67uVgXnMCbOMWjxoO+J9lSzm8
BGPsCFsRAUlJaBg40L9cR3dI/eM3i579KST0R03dIYGhhp4laKnKI0dwVpFn9mic
ERmvaBSZIJCukCehqhxkrkaAV6zsmnd9qFm785xpu/eJ6qF84IqvjnRslIml6uuF
d8LnOiQfhbFfCw03U/EGtSD83U/0kyJmrK6SCIFh+8ZkgnvW18Pk9XS8zrsyQdQ6
5kNPAd/1yLK77c3a9/2qt0BnQQgUi64aJVKVtvZlVoiImXdpo4SSqEPk86ij2B8Q
hM8vBj9VFQpC2MgX2MYiv+hw3fIw8wIufkRyk2pyevTFEhd0jUKJp/BbE91rSFcS
Z26Uh3X3tk7NO8oxbsnUIBkT3mKndHBOVbESQ3XiSwjT3I/vY5QZcTia4VnutKxT
a+x5IT5H+5sGQoVplaD3AW6FB0IsbHZCNm114tDMlElQdcHACWbs9dMA62qe+Cl/
BqEYsAQJfk8iiaIL3oDaEgmQV6IWynNak4g9k2hyVqIfJ2Bb/NUfG9x7gz1l3J5i
IxkUUYvaQ8P3n46imOAJW2h1EePq7eTT8ZgFOHRicDZavVqKldw=
=V/1q
-END PGP SIGNATURE-


Thank you for your contribution to Debian.



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
  libocamlbricks-ocaml-dev_0.90+bzr456-1_amd64.deb
  ocamlbricks_0.90+bzr456-1_amd64.buildinfo

Greetings,

Your Debian queue daemon (running on host usper.debian.org)



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
  marionnet_0.90.6+bzr508-1_amd64.deb

Greetings,

Your Debian queue daemon (running on host usper.debian.org)



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 
README.Debian
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
866607: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=866607
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: marionnet
Version: 0.90.6+bzr457-1+b2
Severity: minor

Hi,

Something along those lines should be added to README.Debian:

Installing Multiarch support for i386

Note that the default Marionnet kernels are built for i386, which means
that you need basic Multiarch support to run i386 binaries.
Typically, you can achieve that by doing:
dpkg --add-architecture i386
apt-get update
apt-get install libc6:i386

- Lucas


-- System Information:
Debian Release: 9.0
  APT prefers stable
  APT policy: (990, 'stable'), (500, 'oldstable-updates'), (500, 'oldstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.9.0-3-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), 
LANGUAGE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages marionnet depends on:
ii  graphviz 2.38.0-17
ii  libatk1.0-0  2.22.0-1
ii  libc62.24-11+deb9u1
ii  libcairo21.14.8-1
ii  libfontconfig1   2.11.0-6.7+b1
ii  libfreetype6 2.6.3-3.2
ii  libgdk-pixbuf2.0-0   2.36.5-2
ii  libglade2-0  1:2.6.4-2
ii  libglib2.0-0 2.50.3-2
ii  libgtk2.0-0  2.24.31-2
ii  libgtksourceview2.0-02.10.5-3
ii  liblablgtk2-ocaml-dev2.18.3+dfsg-2
ii  liblablgtksourceview2-ocaml-dev  2.18.3+dfsg-2
ii  libocamlbricks-ocaml-dev 0.90+bzr400-2
ii  libpango-1.0-0   1.40.5-1
ii  libpangocairo-1.0-0  1.40.5-1
ii  libpangoft2-1.0-01.40.5-1
ii  libxml2  2.9.4+dfsg1-2.2
ii  lsb-base 9.20161125
ii  uml-utilities20070815.1-2+b2
ii  vde2 2.3.2+r586-2.1

marionnet recommends no packages.

marionnet suggests no packages.

-- no debconf information
--- End Message ---
--- Begin Message ---
Source: marionnet
Source-Version: 0.90.6+bzr508-1

We believe that the bug you reported is fixed in the latest version of
marionnet, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 866...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Lucas Nussbaum  (supplier of updated marionnet package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-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 
Changed-By: Lucas Nussbaum 
Description:
 marionnet  - Virtual network laboratory
Closes: 818952 866606 866607
Changes:
 marionnet (0.90.6+bzr508-1) unstable; urgency=medium
 .
   * New upstream version 0.90.6+bzr508
   * Add stricter dep on ocamlbricks.
   * Add symlink to port-helper in $PATH.
   * Add xterm to Depends. Closes: #866606
   * Mention Multiarch in README.Debian. Closes: #866607
   * Add patch from ceridwen.debian.b...@gmail.com to support building 
reproducibly. Closes: #818952
   * Remove obsolete b-dep on dh-systemd
   * Bump debian/compat to 9
   * Bump Standards-version to 4.1.1. No changes needed.
   * Remove duplicate license in debian/copyright
   * Run wrap-and-sort -a
Checksums-Sha1:
 b354d1d71c2a7021cfb887988ea0ac36afbd8dfa 2230 marionnet_0.90.6+bzr508-1.dsc
 4c34183c4f7639c40ab1a2cd2df7b155fbae4642 3417722 
marionnet_0.90.6+bzr508.orig.tar.gz
 862a6ac702ad69c3b80c816afe9540d3b97594ab 9276 
marionnet_0.90.6+bzr508-1.debian.tar.xz
 b9ff22395df9f7daf6eee7c47374188f581ad5cc 744224 
marionnet-dbgsym_0.90.6+bzr508-1_amd64.deb
 

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 OCaml Maintainers 
Changed-By: Ralf Treinen 
Description:
 liblablgtkmathview-ocaml - OCaml bindings for libgtkmathview (runtime)
 liblablgtkmathview-ocaml-dev - OCaml bindings for libgtkmathview, a GTK widget 
to render MathML
Changes:
 lablgtkmathview (0.7.8-7) unstable; urgency=medium
 .
   * Team upload
   * Debhelper compat level 10
   * Standards-Version 4.1.1 (no change)
   * debian/copyright: migrate to format 1.0
Checksums-Sha1:
 d0b08f058231dbb2bb7cdc0ab1c8ed4a20b673ee 2258 lablgtkmathview_0.7.8-7.dsc
 372eb9da744a48f995833fe2d3d9847a76d5cfd3 5980 
lablgtkmathview_0.7.8-7.debian.tar.xz
 0c65f4e38a0a8385adc9b54ce35d997120b37aa9 11668 
lablgtkmathview_0.7.8-7_source.buildinfo
Checksums-Sha256:
 479559bfcdd54558bda1e4b2ff1eba67bb7038743ca8fcd3122b9d4ba22d5027 2258 
lablgtkmathview_0.7.8-7.dsc
 7fbbc70a54c761d46a603a0dbde6f175b67d919e3ce972f22af85b25c5278a68 5980 
lablgtkmathview_0.7.8-7.debian.tar.xz
 6f55994d7de22db8426f88248a4a061702f98308f22712d0427b1c72387a0c90 11668 
lablgtkmathview_0.7.8-7_source.buildinfo
Files:
 3853a5598bd811cfc8c68f0533d43c86 2258 ocaml optional 
lablgtkmathview_0.7.8-7.dsc
 f6b97f36c3970e530dc38f698f157f1e 5980 ocaml optional 
lablgtkmathview_0.7.8-7.debian.tar.xz
 8fb068654b94d4c1e4161ef01afc73e3 11668 ocaml optional 
lablgtkmathview_0.7.8-7_source.buildinfo

-BEGIN PGP SIGNATURE-

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAln3oG8ACgkQdFxHZtTK
zf/ZAQ//YnQHYUAkTABeLlvElfYLsFW+EnH3I3m/GmbP6v78HT7nkQDX0+d7RFds
ZML2ZpyRQkgR3pPxjRkfS49iJFt1REY4OIxEM1aBX5t3eASqj2w3SflHIRcT3G2T
45W+2/PERY1sieM+43Kc/HDeFQUghJDu5n8qWWU8oMPSh6eFW9A7kk10nmLuzHEC
wYg3vJb5u+NVxf8sF1JYCtfWaDMwKatCdJVI6X9YiQA9w+zvHjNKJUDCqxZBO+gp
Wi6C7bwBtTG31+gYuME8MHAdePeepFGZlm7LCPftu+cRYv7841/6lUvMV2gM8tL/
XBOV4RkE7ISWm/q2RAGZgpaFfrf5oRv6yP5DzO/qvGYKaSKDgA5LrVqvpIAS5tlU
Pbf9iuGI7ebPTz5q8AQoijqB6/GPAE8dODSpT17aya9etRqxLCx6Dq669b7gYX8a
3jF+5U9qBshWb7w9tTfOCA0TsxDK/tWKxJH0ZUGZKzQyN9l/K5MLTfrPVi/URvWW
BhC5RisdqZ3GJ7rPie64LmrIj/cT0pqfT00TyqWw4OLBMfTC5yEvCf0MXehDLPIN
bAaFK6KM9tKjlTAu+t6fx7s706APk9/b0oVAAXd8/Gs1fTVZpuKK2mBDWb1KEiCI
eE2pdYIDrnEXZzxQ+vrvNkSmLU/NraYronj5uFQb7FzqaorP5ko=
=SGc0
-END PGP SIGNATURE-


Thank you for your contribution to 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 version)
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
818952: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=818952
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: marionnet
Version: 0.90.6+bzr457-1
Severity: wishlist

While working on the “reproducible builds” effort [1], we have noticed
that marionnet could not be built reproducibly.

The Makefile writes the build date and the kernel version (from uname)
to a file during the build; this information is used in a splash
screen that's printed during initialization.  The attached patch
replaces the build date timestamp with the source release date and the
kernel version with a generic "Linux", making the build reproducible.

https://wiki.debian.org/ReproducibleBuilds

-- System Information:
Debian Release: jessie/sid
  APT prefers wily-updates
  APT policy: (500, 'wily-updates'), (500, 'wily-security'), (500, 'wily'), 
(100, 'wily-backports')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.2.0-30-generic (SMP w/8 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages marionnet depends on:
ii  graphviz 2.38.0-10build1
ii  libc62.21-0ubuntu4.1
ii  libgdk-pixbuf2.0-0   2.32.1-1
ii  libglade2-0  1:2.6.4-2
ii  libglib2.0-0 2.46.2-1ubuntu1
ii  libgtk2.0-0  2.24.28-1ubuntu1.1
ii  libgtksourceview2.0-02.10.5-2ubuntu2
ii  liblablgtk2-ocaml-dev2.16.0+dfsg-1
ii  liblablgtksourceview2-ocaml-dev  2.16.0+dfsg-1
ii  libocamlbricks-ocaml-dev 0.90+bzr400-1
ii  libpango-1.0-0   1.36.8-3
ii  lsb-base 4.1+Debian11ubuntu8
ii  uml-utilities20070815-1.4
ii  vde2 2.3.2+r586-2

marionnet recommends no packages.

marionnet suggests no packages.

-- no debconf information
--- End Message ---
--- Begin Message ---
Source: marionnet
Source-Version: 0.90.6+bzr508-1

We believe that the bug you reported is fixed in the latest version of
marionnet, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 818...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Lucas Nussbaum  (supplier of updated marionnet package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-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 
Changed-By: Lucas Nussbaum 
Description:
 marionnet  - Virtual network laboratory
Closes: 818952 866606 866607
Changes:
 marionnet (0.90.6+bzr508-1) unstable; urgency=medium
 .
   * New upstream version 0.90.6+bzr508
   * Add stricter dep on ocamlbricks.
   * Add symlink to port-helper in $PATH.
   * Add xterm to Depends. Closes: #866606
   * Mention Multiarch in README.Debian. Closes: #866607
   * Add patch from ceridwen.debian.b...@gmail.com to support building 
reproducibly. Closes: #818952
   * Remove obsolete b-dep on dh-systemd
   * Bump debian/compat to 9
   * Bump Standards-version to 4.1.1. No changes needed.
   * Remove duplicate license in debian/copyright
   * Run wrap-and-sort -a
Checksums-Sha1:
 b354d1d71c2a7021cfb887988ea0ac36afbd8dfa 2230 marionnet_0.90.6+bzr508-1.dsc
 4c34183c4f7639c40ab1a2cd2df7b155fbae4642 3417722 
marionnet_0.90.6+bzr508.orig.tar.gz
 862a6ac702ad69c3b80c816afe9540d3b97594ab 9276 
marionnet_0.90.6+bzr508-1.debian.tar.xz
 b9ff22395df9f7daf6eee7c47374188f581ad5cc 744224 
marionnet-dbgsym_0.90.6+bzr508-1_amd64.deb
 96a4219907901487f09a129b811441f95b10d072 11752 
marionnet_0.90.6+bzr508-1_amd64.buildinfo
 8438da8a26b25213c4b6d59b34f455b9428aef11 3350904 
marionnet_

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 you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
876734: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876734
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: ocamlbricks
Version: 0.90+bzr400-2
Severity: serious
Tags: buster sid

https://buildd.debian.org/status/package.php?p=ocamlbricks&suite=sid

...
make[3]: Entering directory '/<>/ocamlbricks-0.90+bzr400'
ocamlc -c -I +camlp4 -I _build/ -pp camlp4of -o 
_build/include_type_definitions_p4.cmo CAMLP4/include_type_definitions_p4.ml
File "CAMLP4/include_type_definitions_p4.ml", line 38, characters 6-25:
Error: The constructor Ast.StTyp expects 3 argument(s),
   but is applied here to 2 argument(s)
Makefile.local:81: recipe for target '_build/include_type_definitions_p4.cmo' 
failed
make[3]: *** [_build/include_type_definitions_p4.cmo] Error 2
make[3]: Leaving directory '/<>/ocamlbricks-0.90+bzr400'
Makefile:161: recipe for target 'manually_pre_actions' failed
make[2]: *** [manually_pre_actions] Error 1
make[2]: Leaving directory '/<>/ocamlbricks-0.90+bzr400'
dh_auto_build: make -j1 returned exit code 2
debian/rules:9: recipe for target 'override_dh_auto_build' failed
make[1]: *** [override_dh_auto_build] Error 2
--- End Message ---
--- Begin Message ---
Source: ocamlbricks
Source-Version: 0.90+bzr456-1

We believe that the bug you reported is fixed in the latest version of
ocamlbricks, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 876...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Lucas Nussbaum  (supplier of updated ocamlbricks package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-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 
Changed-By: Lucas Nussbaum 
Description:
 libocamlbricks-ocaml-dev - Miscellaneous utility functions in OCaml for 
Marionnet
Closes: 876734
Changes:
 ocamlbricks (0.90+bzr456-1) unstable; urgency=medium
 .
   * Refresh patches.
   * Add ocamlbuild to build-depends
   * Run wrap-and-sort -a
   * New upstream version 0.90+bzr456
   * Add breaks on older marionnet
   * Bump debian/compat to 9
   * Bump Standards-version to 4.1.1. No changes needed.
   * Fix FTBFS. Closes: #876734
Checksums-Sha1:
 2eba9c4198ac707d8062a7e57af386530f6a1caf 2182 ocamlbricks_0.90+bzr456-1.dsc
 a9f96022243f8735e061192301efa28e1f799177 268438 
ocamlbricks_0.90+bzr456.orig.tar.gz
 cbffbb94ef27e4cfee713eaa74c9e3e5ebea8b1f 5432 
ocamlbricks_0.90+bzr456-1.debian.tar.xz
 f9c6f5ffc211fa17328a6f2533d3fcb31899c457 2432 
libocamlbricks-ocaml-dev-dbgsym_0.90+bzr456-1_amd64.deb
 6cf27f90bcf3a610880a617dd112d91e5e77a384 1668588 
libocamlbricks-ocaml-dev_0.90+bzr456-1_amd64.deb
 648243d5a58f0d52e6e56f864bea81e53edf1651 11691 
ocamlbricks_0.90+bzr456-1_amd64.buildinfo
Checksums-Sha256:
 84c5c4bf219465510b57506d368669a5c271d77d11e19bce1ea9df80874c291c 2182 
ocamlbricks_0.90+bzr456-1.dsc
 afbaa7503b85317a86665c0b330b6eb9f3e3b6c02d9b60542cdff5866911f253 268438 
ocamlbricks_0.90+bzr456.orig.tar.gz
 ef95ec3387ed6574e21f4d2c9e5c83d3421eedbd85eb307d168be5da9b446443 5432 
ocamlbricks_0.90+bzr456-1.debian.tar.xz
 afad45a7a541224146921dcd7ff40b39281e0f33099d9c5bbdd5ad14c1acbef2 2432 
libocamlbricks-ocaml-dev-dbgsym_0.90+bzr456-1_amd64.deb
 826ad76da63f01c14b992c607ca8e4577e2bc4b11667b703b16d85a04d6fd3a6 1668588 
libocamlbricks-ocaml-dev_0.90+bzr456-1_amd64.deb
 95c6e7083f986c5180f0c2fc7562cedf7124148739cf37ddf7174927b6cd815f 11691 
ocamlbricks_0.90+bzr456-1_amd64.buildinfo
Files:
 a3ea36b8ed9a425000f8939e2e358ad3 2182 ocaml optional 
ocamlbricks_0.90+bzr456-1.dsc
 dea5410e590b0751b14ed9b34c011009 268438 ocaml optional 
ocamlbricks_0.90+bzr456.orig.tar.gz
 1cc09356d04a3195527048d0176a7a26 5432 ocaml optional 
ocamlbricks_0.90+bzr456-1.debian.tar.xz
 f3414586f2d95a75b99969caae214

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 claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
866606: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=866606
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: marionnet
Version: 0.90.6+bzr457-1+b2
Severity: minor

xterm is needed for the VMs' consoles. It should be added to Depends.

-- System Information:
Debian Release: 9.0
  APT prefers stable
  APT policy: (990, 'stable'), (500, 'oldstable-updates'), (500, 'oldstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.9.0-3-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), 
LANGUAGE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages marionnet depends on:
ii  graphviz 2.38.0-17
ii  libatk1.0-0  2.22.0-1
ii  libc62.24-11+deb9u1
ii  libcairo21.14.8-1
ii  libfontconfig1   2.11.0-6.7+b1
ii  libfreetype6 2.6.3-3.2
ii  libgdk-pixbuf2.0-0   2.36.5-2
ii  libglade2-0  1:2.6.4-2
ii  libglib2.0-0 2.50.3-2
ii  libgtk2.0-0  2.24.31-2
ii  libgtksourceview2.0-02.10.5-3
ii  liblablgtk2-ocaml-dev2.18.3+dfsg-2
ii  liblablgtksourceview2-ocaml-dev  2.18.3+dfsg-2
ii  libocamlbricks-ocaml-dev 0.90+bzr400-2
ii  libpango-1.0-0   1.40.5-1
ii  libpangocairo-1.0-0  1.40.5-1
ii  libpangoft2-1.0-01.40.5-1
ii  libxml2  2.9.4+dfsg1-2.2
ii  lsb-base 9.20161125
ii  uml-utilities20070815.1-2+b2
ii  vde2 2.3.2+r586-2.1

marionnet recommends no packages.

marionnet suggests no packages.

-- no debconf information
--- End Message ---
--- Begin Message ---
Source: marionnet
Source-Version: 0.90.6+bzr508-1

We believe that the bug you reported is fixed in the latest version of
marionnet, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 866...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Lucas Nussbaum  (supplier of updated marionnet package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-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 
Changed-By: Lucas Nussbaum 
Description:
 marionnet  - Virtual network laboratory
Closes: 818952 866606 866607
Changes:
 marionnet (0.90.6+bzr508-1) unstable; urgency=medium
 .
   * New upstream version 0.90.6+bzr508
   * Add stricter dep on ocamlbricks.
   * Add symlink to port-helper in $PATH.
   * Add xterm to Depends. Closes: #866606
   * Mention Multiarch in README.Debian. Closes: #866607
   * Add patch from ceridwen.debian.b...@gmail.com to support building 
reproducibly. Closes: #818952
   * Remove obsolete b-dep on dh-systemd
   * Bump debian/compat to 9
   * Bump Standards-version to 4.1.1. No changes needed.
   * Remove duplicate license in debian/copyright
   * Run wrap-and-sort -a
Checksums-Sha1:
 b354d1d71c2a7021cfb887988ea0ac36afbd8dfa 2230 marionnet_0.90.6+bzr508-1.dsc
 4c34183c4f7639c40ab1a2cd2df7b155fbae4642 3417722 
marionnet_0.90.6+bzr508.orig.tar.gz
 862a6ac702ad69c3b80c816afe9540d3b97594ab 9276 
marionnet_0.90.6+bzr508-1.debian.tar.xz
 b9ff22395df9f7daf6eee7c47374188f581ad5cc 744224 
marionnet-dbgsym_0.90.6+bzr508-1_amd64.deb
 96a4219907901487f09a129b811441f95b10d072 11752 
marionnet_0.90.6+bzr508-1_amd64.buildinfo
 8438da8a26b25213c4b6d59b34f455b9428aef11 3350904 
marionnet_0.90.6+bzr508-1_amd64.deb
Checksums-Sha256:
 6cd33e4fb75c11dbe64e6ad3eb6d8abd1fd6ebc451a4e20275a335f7638938b3 2230 
marionnet_0.90.6+bzr508-1.dsc
 7ecee266f3931d3b2d91bac1c93540d24c208a

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 
Changed-By: Євгеній Мещеряков 
Description:
 coccinelle - semantic patching tool for C
 coccinelle-doc - documentation for coccinelle
Closes: 852412
Changes:
 coccinelle (1.0.6.deb-1) experimental; urgency=medium
 .
   * New upstream release (closes: #852412)
   * Upload to experimental: no Python support
   * Refresh bash-completion-dir.diff
   * Debhelper compatibility level 9
   * Use secure VCS URLs in debian/copyright
   * Standards-Version 4.1.1 - no changes required
Checksums-Sha1:
 5412ba8b449edbf0081f572854d67d45b14fe576 2519 coccinelle_1.0.6.deb-1.dsc
 996cae955bda770e98f4ed74f6447d06b9817e07 1673629 
coccinelle_1.0.6.deb.orig.tar.gz
 449e517e03f218da03027b012416b69ddbf5abbd 9908 
coccinelle_1.0.6.deb-1.debian.tar.xz
 918288e5c2e6d93f4053f47621f788869e1ec9a3 10901 
coccinelle_1.0.6.deb-1_source.buildinfo
Checksums-Sha256:
 f5419749a1baee81c78bbdbcb2a46453c90ba349f7ccf471c1e9f9870799d507 2519 
coccinelle_1.0.6.deb-1.dsc
 a3077d993abd4ae0a35390d46ba5781ade744b0f1dbb184454bbed6939f7716b 1673629 
coccinelle_1.0.6.deb.orig.tar.gz
 baade0d16320c10cecdf18f979f5ddfd63a988a20a0ffecccdd7bc2785e3fbf5 9908 
coccinelle_1.0.6.deb-1.debian.tar.xz
 46a6eb1433f0b118e5b453883313ecc935960dffd8c8e3c892dd361895f1ab5e 10901 
coccinelle_1.0.6.deb-1_source.buildinfo
Files:
 a98c61c2bfe6c2a6ff20a2114b622d69 2519 devel optional coccinelle_1.0.6.deb-1.dsc
 a717753f25ab6feafcfdad5a3ee75ae9 1673629 devel optional 
coccinelle_1.0.6.deb.orig.tar.gz
 4234b9ed8ae961afbbd1b20925d15eb5 9908 devel optional 
coccinelle_1.0.6.deb-1.debian.tar.xz
 b7b379e639c35f9a94d3d5b371ea44f3 10901 devel optional 
coccinelle_1.0.6.deb-1_source.buildinfo

-BEGIN PGP SIGNATURE-

iQIzBAEBCAAdFiEErJ1oMWkY5MAmVndnwW2o5/RRuTwFAln3jmsACgkQwW2o5/RR
uTxPsA/+LxXgHq49fm5ICfD+r9hFfX7xlwwVhvAD+kXW7JmRnTZXsXqT/Lpp9oBb
/3zIxPCy8h7o57fLowm5EFcMYQ3knbTUmrWVffvBMi85YjL2BKqyStJ9QGUJ3l/a
jdXio68HKVx2eICp3Snvw7ZzYQAw1wbOkyTkwHtGeMkSFpXflrrOehSvWuZBlyKm
oYQchuHvAebp9CE1xENBStM1Oydk+2vyoKy8CmtQc/i4jUm7Zxn99unuhEFOaBI4
7GTdQdNbKS17PgN7kuDQ9zmab+ZMSCOHBGBNneul0t4pUKZa+5XuskDHYr1BVqRk
3RQdStpkDJ4XlRI8VNAdHiwoS9iz1x1jLc3dzol4N5mQUORtgyPl4QLRF3AAvb9Z
VcM2RYkpzsFG9XbOzlvB5aJVSiI0EhkmEmYyZkAwBCPwyGPZzdokZ/xRQPISZv7v
vUEDLwX1PrqvaXhKBBV7eVV1zNtE2PCISqxLNHDeNaFs6QqeuD5fw3Pco3pdexyA
5tGtZb9bqRyZEZkQyFrcYuE6NjbkzMM1PzFgp3+oMkGJbcoOlaRnh5o58KRT0aMU
oP2e7dPFSV8LqlXvqLRxffr2qX+8Ao5KGHWD+OuADjpSISHb4GMV02FYauwOQpZF
SwtjV1b/Amf7tvQO6ndlFra0CDYVigXp5Lb+rVFYBW44qquhstw=
=Z+4E
-END PGP SIGNATURE-


Thank you for your contribution to Debian.



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 means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
852412: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=852412
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: coccinelle
Version: 1.0.4.deb-3+b1
Severity: normal

With the 1.0.4 version I'm having quite some difficulties; 
http://coccinelle.lip6.fr/download.php says that 1.0.6 was released
September 27, 2016.

Please provide newer packages.


Thank you very much!


-- System Information:
Debian Release: 9.0
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable'), (1, 
'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 4.8.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=de_AT.UTF-8, LC_CTYPE=de_AT.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages coccinelle depends on:
ii  dpkg1.18.18
ii  libc6   2.24-8
ii  libparmap-ocaml 1.0~rc7-1
ii  libpcre-ocaml [libpcre-ocaml-54x46] 7.2.3-1
ii  libpcre32:8.39-2
ii  libpycaml-ocaml 0.82-14.1+b1
ii  libpython2.72.7.13-1
ii  ocaml-base-nox [ocaml-base-nox-4.02.3]  4.02.3-9
ii  ocaml-findlib   1.6.2-1
ii  python-glade2   2.24.0-5.1
ii  python-gobject-22.28.6-13
ii  python-gtk2 2.24.0-5.1
pn  python:any  

coccinelle recommends no packages.

Versions of packages coccinelle suggests:
ii  coccinelle-doc 1.0.4.deb-3
ii  vim-addon-manager  0.5.6

-- no debconf information
--- End Message ---
--- Begin Message ---
Source: coccinelle
Source-Version: 1.0.6.deb-1

We believe that the bug you reported is fixed in the latest version of
coccinelle, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 852...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Євгеній Мещеряков  (supplier of updated coccinelle package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-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 
Changed-By: Євгеній Мещеряков 
Description:
 coccinelle - semantic patching tool for C
 coccinelle-doc - documentation for coccinelle
Closes: 852412
Changes:
 coccinelle (1.0.6.deb-1) experimental; urgency=medium
 .
   * New upstream release (closes: #852412)
   * Upload to experimental: no Python support
   * Refresh bash-completion-dir.diff
   * Debhelper compatibility level 9
   * Use secure VCS URLs in debian/copyright
   * Standards-Version 4.1.1 - no changes required
Checksums-Sha1:
 5412ba8b449edbf0081f572854d67d45b14fe576 2519 coccinelle_1.0.6.deb-1.dsc
 996cae955bda770e98f4ed74f6447d06b9817e07 1673629 
coccinelle_1.0.6.deb.orig.tar.gz
 449e517e03f218da03027b012416b69ddbf5abbd 9908 
coccinelle_1.0.6.deb-1.debian.tar.xz
 918288e5c2e6d93f4053f47621f788869e1ec9a3 10901 
coccinelle_1.0.6.deb-1_source.buildinfo
Checksums-Sha256:
 f5419749a1baee81c78bbdbcb2a46453c90ba349f7ccf471c1e9f9870799d507 2519 
coccinelle_1.0.6.deb-1.dsc
 a3077d993abd4ae0a35390d46ba5781ade744b0f1dbb184454bbed6939f7716b 1673629 
coccinelle_1.0.6.deb.orig.tar.gz
 baade0d16320c10cecdf18f979f5ddfd63a988a20a0ffecccdd7bc2785e3fbf5 9908 
coccinelle_1.0.6.deb-1.debian.tar.xz
 46a6eb1433f0b118e5b453883313ecc935960dffd8c8e3c892dd361895f1ab5e 10901 
coccinelle_1.0.6.deb-1_source.buildinfo
Files:
 a98c61c2bfe6c2a6ff20a2114b622d69 2519 devel optional coccinelle_1.0.6.deb-1.dsc
 a717753f25ab6feafcfdad5a3ee75ae9 1673629 devel optional 
coccinelle_1.0.6.deb.orig.tar.gz
 4234b9ed8ae961afbbd1b20925d15eb5 9908 devel optional 
coccinelle_1.0.6.deb-1.debian.tar.xz
 b7b379e6

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 host usper.debian.org)



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):
> +--+
> | Install package build dependencies  
>  |
> +--+
> 
> 
> Setup apt archive
> -
> 
> Merged Build-Depends: debhelper (>= 7.0.50~), dh-ocaml (>= 0.9~), 
> ocaml-findlib, ocaml-nox (>= 3.11.1-3~), libcudf-ocaml-dev, camlp4, 
> js-of-ocaml, libcairo-ocaml-dev
> Filtered Build-Depends: debhelper (>= 7.0.50~), dh-ocaml (>= 0.9~), 
> ocaml-findlib, ocaml-nox (>= 3.11.1-3~), libcudf-ocaml-dev, camlp4, 
> js-of-ocaml, libcairo-ocaml-dev
> dpkg-deb: building package 'sbuild-build-depends-coinst-dummy' in 
> '/<>/resolver-6MvaXN/apt_archive/sbuild-build-depends-coinst-dummy.deb'.
> dpkg-scanpackages: warning: Packages in archive but missing from override 
> file:
> dpkg-scanpackages: warning:   sbuild-build-depends-coinst-dummy 
> sbuild-build-depends-core-dummy
> dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
> Ign:1 copy:/<>/resolver-6MvaXN/apt_archive ./ InRelease
> Get:2 copy:/<>/resolver-6MvaXN/apt_archive ./ Release [963 B]
> Ign:3 copy:/<>/resolver-6MvaXN/apt_archive ./ Release.gpg
> Get:4 copy:/<>/resolver-6MvaXN/apt_archive ./ Sources [551 B]
> Get:5 copy:/<>/resolver-6MvaXN/apt_archive ./ Packages [633 B]
> Fetched 2147 B in 0s (0 B/s)
> Reading package lists...
> Reading package lists...
> 
> Install coinst build dependencies (apt-based resolver)
> --
> 
> Installing build dependencies
> Reading package lists...
> Building dependency tree...
> Reading state information...
> Some packages could not be installed. This may mean that you have
> requested an impossible situation or if you are using the unstable
> distribution that some required packages have not yet been created
> or been moved out of Incoming.
> The following information may help to resolve the situation:
> 
> The following packages have unmet dependencies:
>  sbuild-build-depends-coinst-dummy : Depends: js-of-ocaml but it is not going 
> to be installed
> E: Unable to correct problems, you have held broken packages.
> apt-get failed.

The full build log is available from:
   http://aws-logs.debian.net/2017/10/30/coinst_1.9.3-1_unstable.log

A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!

About the archive rebuild: The rebuild was done on EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.



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 OCaml Maintainers 
Changed-By: Ralf Treinen 
Description:
 libppx-visitors-ocaml-dev - OCaml syntax extension for object-oriented visitors
 libppx-visitors-ocaml-doc - Documentation of the visitors syntax extension for 
OCaml
Closes: 880063
Changes:
 ocaml-visitors (20170725-2) unstable; urgency=medium
 .
   * Patch ocaml-4.05: migrate to ocaml 4.05, patch picked from upstream git
 (closes: #880063)
   * Standards-Version 4.1.1:
 - replace Priority extra by optional.
Checksums-Sha1:
 857b4c0ca869977d65c5911b877d020a21e28846 2439 ocaml-visitors_20170725-2.dsc
 3e0bbe801a12d9130a175a0db1264f43b39f071d 4516 
ocaml-visitors_20170725-2.debian.tar.xz
 a504d94f5d19815d35193472f810791e7c38c385 5969 
ocaml-visitors_20170725-2_source.buildinfo
Checksums-Sha256:
 70a860354bed52dfb2f2bdeca1a386125374c444b8d8667ec688cfe2fd0913ce 2439 
ocaml-visitors_20170725-2.dsc
 5fcdee39447ff75fb996a3fef3328ffbcdbc634c858af0084850027648671b47 4516 
ocaml-visitors_20170725-2.debian.tar.xz
 0eb9740352f62180a59a3e541d2a64a22613e51c5dbad3d54958812c050fea1b 5969 
ocaml-visitors_20170725-2_source.buildinfo
Files:
 3813e46b79270305960b7b0c86379b8a 2439 ocaml optional 
ocaml-visitors_20170725-2.dsc
 abda89443bfa86c3e52056afa27f88f7 4516 ocaml optional 
ocaml-visitors_20170725-2.debian.tar.xz
 7776f73923cd8c89b30e3cbc9b4d6299 5969 ocaml optional 
ocaml-visitors_20170725-2_source.buildinfo

-BEGIN PGP SIGNATURE-

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAln3f4MACgkQdFxHZtTK
zf/EUA/+LazqOwXDAXitB33CI2gYuU1nPQTp1pzZmItRVw9JZuS7btaSBVvk2sR7
voaQSIPSjKwMRifb2Og092iCDzwgouuXmktLC+C5DP7N5ach3EaaAJIMihSld/0F
tf8hAboRF1dXjb5RowqPKmAm4rIex3btCfwSL5XwJjCEg+TEQVIdL0y9ppiDSc1M
gmwa3HF61SP1RWTniMo7bfz7ncJySPlVvnse2SpngKO9tz7WPL4Op0OyLJSzgXKh
bFHt7PFK2SlJUv1UHddXMe5LBcWap++4t4k2SXERPE0y/+EAYUVaYb4Eva7la2Rp
ycroCPXC5DN72rSc2sHUDqeYREZXaeYOrBeRvZWhNHh7XznRk3gDJfqoigB03pWE
MMbowqGMdE35fCyaQI9baio2kl6f+tdJ40GIrl/23rw9l3iaer7VITx7tHgPMyVi
9QysX9SeMNFmtr8CwrkjtFHrSAsZ62TrIyWrEWpSgsPd2yC3hSnNJ/nm/exNUwmW
/4dKP0XQfYz0/G3raOyhoR1NXf72ocFDBTjbizid4CBakx0ACUa8nWw8xKsnlmuY
m2e7MT7EcfGRNuB2NknpZGauLk6cUSYTdq5YN61ejs1m2t9QBNyHiv0jqXcYtQM2
h9tfdh7GzoBkZv+JQEGQEoxqMZc8cDHvF5fUJBCTWVqVUrd8VqI=
=5U3g
-END PGP SIGNATURE-


Thank you for your contribution to 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 that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
880063: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=880063
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: ocaml-visitors
Version: 20170725-1
Severity: serious
Justification: fails to build from source (but built successfully in the past)

https://buildd.debian.org/status/package.php?p=ocaml-visitors&suite=unstable

from the amd64 log:

/usr/bin/make -C src all
make[2]: Entering directory '/<>/src'
Compiling for byte code and native code.
ocamlbuild -use-ocamlfind -classic-display -plugin-tag 
'package(cppo_ocamlbuild)'  ppx_deriving_visitors.cma ppx_deriving_visitors.a 
ppx_deriving_visitors.cmxa ppx_deriving_visitors.cmxs VisitorsRuntime.cmi 
VisitorsRuntime.cmo VisitorsRuntime.cma VisitorsRuntime.a VisitorsRuntime.cmx 
VisitorsRuntime.cmxa VisitorsRuntime.o
ocamlfind ocamlopt -package unix -package ocamlbuild -linkpkg -package 
cppo_ocamlbuild myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o 
myocamlbuild
cppo -V OCAML:4.05.0 -o VisitorsCompatibility.ml VisitorsCompatibility.cppo.ml
ocamlfind ocamldep -package compiler-libs.common -package ppx_deriving.api 
-package result -modules VisitorsCompatibility.ml > 
VisitorsCompatibility.ml.depends
ocamlfind ocamldep -package compiler-libs.common -package ppx_deriving.api 
-package result -modules VisitorsList.ml > VisitorsList.ml.depends
ocamlfind ocamldep -package compiler-libs.common -package ppx_deriving.api 
-package result -modules VisitorsString.ml > VisitorsString.ml.depends
ocamlfind ocamldep -package compiler-libs.common -package ppx_deriving.api 
-package result -modules VisitorsPlugin.ml > VisitorsPlugin.ml.depends
ocamlfind ocamldep -package compiler-libs.common -package ppx_deriving.api 
-package result -modules VisitorsAnalysis.ml > VisitorsAnalysis.ml.depends
ocamlfind ocamlc -c -g -safe-string -package compiler-libs.common -package 
ppx_deriving.api -w A-4-44 -package result -o VisitorsPlugin.cmo 
VisitorsPlugin.ml
+ ocamlfind ocamlc -c -g -safe-string -package compiler-libs.common -package 
ppx_deriving.api -w A-4-44 -package result -o VisitorsPlugin.cmo 
VisitorsPlugin.ml
findlib: [WARNING] Interface topdirs.cmi occurs in several directories: 
/usr/lib/ocaml, /usr/lib/ocaml/compiler-libs
ocamlfind ocamldep -package compiler-libs.common -package ppx_deriving.api 
-package result -modules VisitorsGeneration.ml > VisitorsGeneration.ml.depends
ocamlfind ocamlc -c -g -safe-string -package compiler-libs.common -package 
ppx_deriving.api -w A-4-44 -package result -o VisitorsAnalysis.cmo 
VisitorsAnalysis.ml
+ ocamlfind ocamlc -c -g -safe-string -package compiler-libs.common -package 
ppx_deriving.api -w A-4-44 -package result -o VisitorsAnalysis.cmo 
VisitorsAnalysis.ml
findlib: [WARNING] Interface topdirs.cmi occurs in several directories: 
/usr/lib/ocaml, /usr/lib/ocaml/compiler-libs
ocamlfind ocamlc -c -g -safe-string -package compiler-libs.common -package 
ppx_deriving.api -w A-4-44 -package result -o VisitorsCompatibility.cmo 
VisitorsCompatibility.ml
+ ocamlfind ocamlc -c -g -safe-string -package compiler-libs.common -package 
ppx_deriving.api -w A-4-44 -package result -o VisitorsCompatibility.cmo 
VisitorsCompatibility.ml
findlib: [WARNING] Interface topdirs.cmi occurs in several directories: 
/usr/lib/ocaml, /usr/lib/ocaml/compiler-libs
ocamlfind ocamlc -c -g -safe-string -package compiler-libs.common -package 
ppx_deriving.api -w A-4-44 -package result -o VisitorsList.cmo VisitorsList.ml
+ ocamlfind ocamlc -c -g -safe-string -package compiler-libs.common -package 
ppx_deriving.api -w A-4-44 -package result -o VisitorsList.cmo VisitorsList.ml
findlib: [WARNING] Interface topdirs.cmi occurs in several directories: 
/usr/lib/ocaml, /usr/lib/ocaml/compiler-libs
ocamlfind ocamldep -package compiler-libs.common -package ppx_deriving.api 
-package result -modules VisitorsSettings.ml > VisitorsSettings.ml.depends
ocamlfind ocamlc -c -g -safe-string -package compiler-libs.common -package 
ppx_deriving.api -w A-4-44 -package result -o VisitorsGeneration.cmo 
VisitorsGeneration.ml
+ ocamlfind ocamlc -c -g -safe-string -package compiler-libs.common -package 
ppx_deriving.api -w A-4-44 -package result -o VisitorsGeneration.cmo 
VisitorsGeneration.ml
findlib: [WARNING] Interface topdirs.cmi occurs in several directories: 
/usr/lib/ocaml, /us

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)
Added tag(s) pending.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
852412: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=852412
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems



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 {Done: Jelmer Vernooij } [bzr-doc] bzr-doc: 
broken symlink /usr/share/doc/16.png
Severity set to 'important' from 'serious'
> tags 873321 + sid buster
Bug #873321 [src:wrk] wrk FTBFS with luajit 2.1
Added tag(s) buster and sid.
> tags 878111 + sid buster
Bug #878111 {Done: Jeremy Bicha } [src:sparkleshare] 
sparkleshare: Switch to webkit2
Added tag(s) sid and buster.
> tags 879175 + sid buster
Bug #879175 [src:androidsdk-tools] androidsdk-tools: Duplicate of 
android-platform-tools-swt
Added tag(s) buster and sid.
> tags 879635 + sid buster
Bug #879635 {Done: Philipp Kern } [gobby] gobby: build 
against libinfinity-0.7-dev
Added tag(s) buster and sid.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
847495: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=847495
873321: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873321
878111: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=878111
878896: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=878896
879175: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=879175
879635: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=879635
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems



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 
Changed-By: Stéphane Glondu 
Description:
 unison - file-synchronization tool for Unix and Windows
 unison-gtk - file-synchronization tool for Unix and Windows with GTK+ interfac
Closes: 878462
Changes:
 unison (2.48.4-1) unstable; urgency=medium
 .
   * New upstream release (Closes: #878462)
   * Update Vcs-*
   * Bump Standards-Version to 4.1.1
   * Remove menu file
Checksums-Sha1:
 90350cbe7aa0e9d6fa2b2a4a352ce0954f38f6d7 2145 unison_2.48.4-1.dsc
 baeff0e3a942c710ce551cca118b891feca137c5 1200861 unison_2.48.4.orig.tar.gz
 bf71f0d5deb34233b8dbf194646675a9320cc66d 18128 unison_2.48.4-1.debian.tar.xz
 ff003c4101e592bf0e7deb0135662f6d2de951a4 211504 
unison-dbgsym_2.48.4-1_amd64.deb
 cf2db7af45028581a0e5d305310dc59d3ecc1de3 360220 
unison-gtk-dbgsym_2.48.4-1_amd64.deb
 1378eb85efa51c6f5268d1f726f6239c5786d423 1441652 unison-gtk_2.48.4-1_amd64.deb
 ca886b8fd2c9a54ab51f47db3c87e1f7e71dd447 14182 unison_2.48.4-1_amd64.buildinfo
 16ca613fa8cf840064d744c024fbcc84448cc2c1 903264 unison_2.48.4-1_amd64.deb
Checksums-Sha256:
 0296625474ff824f766437c19316805a83e3c78f2ad25b78815035f5abe0751a 2145 
unison_2.48.4-1.dsc
 30aa53cd671d673580104f04be3cf81ac1e20a2e8baaf7274498739d59e99de8 1200861 
unison_2.48.4.orig.tar.gz
 4c221e791861021a4f7c71fa4af0408807dd663576db881e2b9e90e05ab0abf5 18128 
unison_2.48.4-1.debian.tar.xz
 e5d2e1012fdf2563b1f1439152854c4ab918b09ef6b4465190992911661a5de9 211504 
unison-dbgsym_2.48.4-1_amd64.deb
 39feaba38f5b5dcb916429ee033de30c5ccc0fd70f9d94ff66ed5f6f169a 360220 
unison-gtk-dbgsym_2.48.4-1_amd64.deb
 48fdfe1cb8f95c30db59e966ce1936ddc786b69db3fd48ac514ee3f758856a1a 1441652 
unison-gtk_2.48.4-1_amd64.deb
 d96a2bfcf529a1bd997e9f4a6ea46cede7c3765ebf4e0393dcdc34f80c353ce6 14182 
unison_2.48.4-1_amd64.buildinfo
 f2303056f7e397e4a6427933e27e06bdc839313597c949668b52803258241c1d 903264 
unison_2.48.4-1_amd64.deb
Files:
 925db488b9c29e109ca42a5c7abafec4 2145 utils optional unison_2.48.4-1.dsc
 5334b78c7e68169df7de95f4c6c4b60f 1200861 utils optional 
unison_2.48.4.orig.tar.gz
 86cc721fa3cc192d35c446b6f9f6fbf1 18128 utils optional 
unison_2.48.4-1.debian.tar.xz
 bbd393c6ea2139f81c2b3005a64553f8 211504 debug optional 
unison-dbgsym_2.48.4-1_amd64.deb
 842d9a77a1e4945272932a9b8c3b1f02 360220 debug optional 
unison-gtk-dbgsym_2.48.4-1_amd64.deb
 fa356aade086cbd4299e133a17ad5e96 1441652 utils optional 
unison-gtk_2.48.4-1_amd64.deb
 8190a55acc0a24a1e76c90b3122099ec 14182 utils optional 
unison_2.48.4-1_amd64.buildinfo
 8b8d2940dbe462f3683c4041cd0a31b3 903264 utils optional 
unison_2.48.4-1_amd64.deb

-BEGIN PGP SIGNATURE-

iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAln28ZoACgkQeFPaTUmI
GtPpMw//UcBem49PJGrzheZGAUY3MsqF7E5o7CoJgWSdxTEhTElkGsOqpsqJNEqJ
C0SqKjrZkJTD8D59DXT9LHeCCgBfHOaLTalPg57eqiXtQ+CIo5n+Yp8fKe7qc/mQ
xqJIyPWgUOpioFMA4T2A4tAPfOtGcGG+dp/sGriF98Bq/sBoKmGRb7ChPtt5mbDw
spOWzlJsWiaBftshLUJqig9rp/jHs4rajhMmGZfG61MUMPuYaSCpG2n04NDXCRa0
Ka/QAXpDIqyZMH1RiPFkRN2uY32IbEna0ABo0+tsXOsit9wOFp9BytEoB+yWm58V
FOl7+plzRz9i1gzkqheUb2sTyiLQa6oOebh3qXn3KR0rN/WqH/uwZORXHdG+lIhL
kViwVSbqCOsEPdKuQKpoNFMk2fT2VxrhbVj8IPcq7bmXcYyid1tOJqhs1Rse1RNG
bc4i1JS9Yl1byJNZGVK1a/wLg8dZFfYOSXpqOmSnTNDPt3GEGef1fDtMa51FnwMu
OsQhRQJJomKj6IAPYx+zniMwK4SyG1Kokkjen+QrLRaNbHlJM52HjNufLNmLU1ud
fE40akOOFzlM70PfXN87QDNrQRzNIg+a7bI5UxMkmoNHrKpwZpqAdeTJgkaS1lPY
vNfjCaG1ohbkQl8vFBZLUVKiDaam1Uz8NJ47IDjft4Gcslcdcg0=
=mSUd
-END PGP SIGNATURE-


Thank you for your contribution to Debian.



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
  unison_2.48.4-1_amd64.buildinfo
  unison_2.48.4-1_amd64.deb

Greetings,

Your Debian queue daemon (running on host usper.debian.org)



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 think I fulfill the conditions for directly uploading
hol-light, I would appreciate, if somebody could execute

dcut dm --uid "Hendrik Tews" --allow hol-light

Bye,

Hendrik



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 match the interface system.cmi
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
878462: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=878462
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: unison
Version: 2.48.3-1
Severity: serious
Tags: buster sid

Some recent change in unstable makes unison FTBFS:

https://tests.reproducible-builds.org/debian/history/unison.html
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/unison.html

...
Use Bytes.create instead.
ocamlopt.opt: system/system_generic.ml ---> system/system_generic.cmx
ocamlopt.opt -g -I lwt -I ubase -I system -I fsmonitor -I fsmonitor/linux -I 
fsmonitor/windows -I system/generic -I lwt/generic -c 
/build/1st/unison-2.48.3/system/system_generic.ml
ocamlopt.opt: system/generic/system_impl.ml ---> system/generic/system_impl.cmx
ocamlopt.opt -g -I lwt -I ubase -I system -I fsmonitor -I fsmonitor/linux -I 
fsmonitor/windows -I system/generic -I lwt/generic -c 
/build/1st/unison-2.48.3/system/generic/system_impl.ml
ocamlc: system/system_intf.ml ---> system/system_intf.cmo
ocamlc -g -I lwt -I ubase -I system -I fsmonitor -I fsmonitor/linux -I 
fsmonitor/windows -I system/generic -I lwt/generic -c 
/build/1st/unison-2.48.3/system/system_intf.ml
ocamlopt.opt: system.mli ---> system.cmi
ocamlopt.opt -g -I lwt -I ubase -I system -I fsmonitor -I fsmonitor/linux -I 
fsmonitor/windows -I system/generic -I lwt/generic -c 
/build/1st/unison-2.48.3/system.mli
ocamlopt.opt: system.ml ---> system.cmx
ocamlopt.opt -g -I lwt -I ubase -I system -I fsmonitor -I fsmonitor/linux -I 
fsmonitor/windows -I system/generic -I lwt/generic -c 
/build/1st/unison-2.48.3/system.ml
File "/build/1st/unison-2.48.3/system.ml", line 1:
Error: The implementation /build/1st/unison-2.48.3/system.ml
   does not match the interface system.cmi:
   Values do not match:
 val symlink : ?to_dir:bool -> string -> string -> unit
   is not included in
 val symlink : string -> fspath -> unit
Makefile.OCaml:434: recipe for target 'system.cmx' failed
make[1]: *** [system.cmx] Error 2
--- End Message ---
--- Begin Message ---
Source: unison
Source-Version: 2.48.4-1

We believe that the bug you reported is fixed in the latest version of
unison, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 878...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu  (supplier of updated unison package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-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 
Changed-By: Stéphane Glondu 
Description:
 unison - file-synchronization tool for Unix and Windows
 unison-gtk - file-synchronization tool for Unix and Windows with GTK+ interfac
Closes: 878462
Changes:
 unison (2.48.4-1) unstable; urgency=medium
 .
   * New upstream release (Closes: #878462)
   * Update Vcs-*
   * Bump Standards-Version to 4.1.1
   * Remove menu file
Checksums-Sha1:
 90350cbe7aa0e9d6fa2b2a4a352ce0954f38f6d7 2145 unison_2.48.4-1.dsc
 baeff0e3a942c710ce551cca118b891feca137c5 1200861 unison_2.48.4.orig.tar.gz
 bf71f0d5deb34233b8dbf194646675a9320cc66d 18128 unison_2.48.4-1.debian.tar.xz
 ff003c4101e592bf0e7deb0135662f6d2de951a4 211504 
unison-dbgsym_2.48.4-1_amd64.deb
 cf2db7af45028581a0e5d305310dc59d3ecc1de3 360220 
unison-gtk-dbgsym_2.48.4-1_amd64.deb
 1378eb85efa51c6f5268d1f726f6239c5786d423 1441652 unison-gtk_2.48.4-1_amd64.deb
 ca886b8fd2c9a54ab51f47db3c87e1f7e71dd447 14182 unison_2.48.4-1_amd64.buildinfo
 16ca613fa8cf840064d744c024fbcc84448cc2c1 903264 unison_2.48.4-1_amd64.deb
Checksums-Sha256:
 0296625474ff824f766437c19316805a83e3c78f2ad25b78815035f5abe0751a 2145 
unison_2.48.4-1.dsc
 30aa53cd671d673580104f04be3cf81ac1e20a2e8baaf72744

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 package has been requested to be removed
(#873331), but again no recent activity on this bug.

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


I saw that you removed the OCaml bindings (libllvm-3.8-ocaml-dev) from 
llvm-toolchain-3.8, but there is still libllvm-ocaml-dev (from 
llvm-defaults) that depends on libllvm-3.8-ocaml-dev.


I think you need to remove libllvm-ocaml-dev from llvm-defaults to 
disentangle LLVM and OCaml.


Cheers,

--
Stéphane



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 want to
> exclude it from ocamldoc, but turn out the dh_ocamldoc "-X" option
> wouldn't work. So, I copied the whole ocamldoc command into
> override_dh_ocamldoc.
> 

I think it is (slightly) more future-proof if you do this instead:

debian/preprocess-ocamldoc.sh:
echo '#!/bin/sh' > "$@"
echo 'sed -e "s/OCaml_OCAML_VERSION/OCaml_$(shell echo $(OCAML_ABI) | cut 
-d. -f1-2 | tr -d .)/g" "$$@"' >> "$@"
chmod +x "$@"

override_dh_ocamldoc: debian/preprocess-ocamldoc.sh
dh_ocamldoc -u "-pp $<"

It creates a script to do the actual preprocessing so we get a complete set of 
docs. (Yes I know PP is deprecated, but ocamldoc still supports it..)

More generally, it looks like jbuilder expects to use odoc instead of ocamldoc 
- then one can do "jbuilder make @doc". But unfortunately this is not in Debian 
yet. Perhaps you/someone else could package it later, if you have time?

>  * The license should be LGPL2.1 with linking exception - I'm not sure
> if I describe it correctly in d/copyright.
> 

Slightly unfortunately, d/copyright needs to be self-contained except for 
references to /usr/share/common-licenses. So you need to c+p the text from 
LICENSE into d/copyright.

>  * There is an ocamlbuild plugin package built from this source
> package, I'm not sure the naming,
> libmigrate-parsetree-ocamlbuild-ocaml, is correct or not.
> 

Since the upstream README.md refers to it as 
ocaml-migrate-parsetree-ocamlbuild, then yes your name is correct according to 
the existing ocaml packaging naming conventions.

But if ocaml-migrate-parsetree already depends on 
ocaml-migrate-parsetree-ocamlbuild (or the other way around), then TBH 
personally I think it would be better to combine both into the same Debian 
package. We don't need to split things up too much, these packages are tiny, 
and this type of micro-split is not worth the metadata overhead cost on the 
archive, on user machines, and on maintainers. It's up to you though, since you 
are the maintainer.

X

-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git



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 ocaml transition tracker:

https://release.debian.org/transitions/html/ocaml.html

hol-light is one of the ones near the top, although marked (sid only) so it 
only affects other (sid only) stuff beneath it.

Let me know if I can help with anything.

Ximin

-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git