Bug#801773: marked as done (FTBFS with OCaml 4.02.3)
Your message dated Fri, 16 Oct 2015 17:33:55 +0000
with message-id <E1Zn8t9-0003Tc-Qt@franck.debian.org>
and subject line Bug#801773: fixed in dose3 4.0.2-2
has caused the Debian Bug report #801773,
regarding FTBFS with OCaml 4.02.3
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 owner@bugs.debian.org
immediately.)
--
801773: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=801773
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: src:dose3
Version: 4.0.2-1
Severity: serious
Justification: fails to build from source (but built successfully in the past)
Dear Maintainer,
dose3 fails to build on all architectures:
https://buildd.debian.org/status/package.php?p=dose3&suite=sid
Cheers,
--
Stéphane
-- System Information:
Debian Release: stretch/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.2.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.utf8, LC_CTYPE=fr_FR.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
--- End Message ---
--- Begin Message ---
Source: dose3
Source-Version: 4.0.2-2
We believe that the bug you reported is fixed in the latest version of
dose3, 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 801773@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated dose3 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 ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 16 Oct 2015 19:12:52 +0200
Source: dose3
Binary: libdose3-ocaml-dev libdose3-ocaml dose-distcheck dose-builddebcheck dose-extra apt-cudf
Architecture: source amd64
Version: 4.0.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
apt-cudf - CUDF solver integration for APT
dose-builddebcheck - Checks whether build-dependencies can be satisfied
dose-distcheck - Checks whether dependencies of packages can be satisfied
dose-extra - Extra QA tools from the Dose3-library
libdose3-ocaml - OCaml libraries for package dependencies (runtime files)
libdose3-ocaml-dev - OCaml libraries for package dependencies (development files)
Closes: 801773
Changes:
dose3 (4.0.2-2) unstable; urgency=medium
.
* skip generation of ocamldoc documentation since it fails with ocaml 4.02
(closes: #801773):
- patch skip-ocamldoc
- debian/libdose3-ocaml-dev.docs
- drop debian/libdose3-ocaml-dev.doc-base
Checksums-Sha1:
b2fa9d8aafb9aa85affb7fbd821b28b2fe25b011 2587 dose3_4.0.2-2.dsc
1e44c1964c4b487c03c541a349be86734cd5922f 18120 dose3_4.0.2-2.debian.tar.xz
07297d98ef6a2f3bb880ba604208508a671c769c 634930 apt-cudf_4.0.2-2_amd64.deb
c3fc36dc04940cbc374cfb3288ef4a86099a73a2 613476 dose-builddebcheck_4.0.2-2_amd64.deb
13af0ecc55852191433234284f76ae367b5f8937 644244 dose-distcheck_4.0.2-2_amd64.deb
f8827f8f1b6616ce658e0a360734967c0ee62cbc 1186796 dose-extra_4.0.2-2_amd64.deb
61376c8cc6a255dc01a7536cf00fa06cdd456c0b 600642 libdose3-ocaml-dev_4.0.2-2_amd64.deb
add40d53c0faa1a7ab2f0d54cff79c5593d6e617 13872 libdose3-ocaml_4.0.2-2_amd64.deb
Checksums-Sha256:
30d314737fc9565d3935aa6e4304d968b047315c3710eeace923db08890494cc 2587 dose3_4.0.2-2.dsc
250e30ab6f1ed579c5790f73fb2fe7f207aec6e3fceb2d3bc8c8cda92dcdb711 18120 dose3_4.0.2-2.debian.tar.xz
8e1263581437ec27cd161b28ea3e130e957b355a5ee4d089f0f1ae5eaf526579 634930 apt-cudf_4.0.2-2_amd64.deb
b96eb8870f4e9c2194242f2c1b6212d2f9df5b5ec3e8ad2d97e108c41f672a6f 613476 dose-builddebcheck_4.0.2-2_amd64.deb
7c35b774e2eb11ea0d69fe6c9d871c82e971ad8521920b91cccf7f00053e5263 644244 dose-distcheck_4.0.2-2_amd64.deb
30805e2661e505d2e517a7c8262e0f6bbae7c3b49656d9ebcfe5b90135a8258d 1186796 dose-extra_4.0.2-2_amd64.deb
a589514a333499f2095914069c3bf98759385bc6a9d7355cde59ec9f5b3d9a7d 600642 libdose3-ocaml-dev_4.0.2-2_amd64.deb
7dbab1145f5b7f0235f9a7642585031d8c9476b8ff0546e6c1b9282745a353ae 13872 libdose3-ocaml_4.0.2-2_amd64.deb
Files:
7cb27e7460bef2d5d2a5893c79a34048 2587 ocaml extra dose3_4.0.2-2.dsc
6f8f3aa066e0ad050fdeb751dc42d59b 18120 ocaml extra dose3_4.0.2-2.debian.tar.xz
272675c1c7451c4ccc93f57e8e9044b6 634930 admin extra apt-cudf_4.0.2-2_amd64.deb
935b78a26385c01492a2511ef82cfb9c 613476 devel extra dose-builddebcheck_4.0.2-2_amd64.deb
c5ab709111e00cbd279d4a088d3f9738 644244 devel extra dose-distcheck_4.0.2-2_amd64.deb
3d41ece7eb64c453485a9a6f3d7d4500 1186796 devel extra dose-extra_4.0.2-2_amd64.deb
ce5bb601f176786baf5e3e3b40fa2b32 600642 ocaml extra libdose3-ocaml-dev_4.0.2-2_amd64.deb
80a1854017414b556d14f91fa5805aa2 13872 ocaml extra libdose3-ocaml_4.0.2-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWITPoAAoJEHRcR2bUys3/UPUP/0g/ke9dmoY5vEc6PmpY1fOW
SKmb5bOQPRRX2zxRUU5dqB17BO2nIqJsot0PIf0cyB1wm0GWs1TaSdCmBwiabzJe
2C/chIxrN4TBtT/WDOe9AXIuwx/+Bytz2BCRDVw1XzhYfaN3YV0ZpxkSyHy0vAzn
7fW6JG54bbFj/+4S+2CKfW7JvVkDhDrO0LL1Okkt3LTfkpji2LVlwAEDXWbiSfHg
jGE0hs2XxiT4cAYNI/Io+0wrIBtBYzKQVubwsh+qJAXNKnD87NSXK0Dzsc6UgFDS
sQdzVexzxHQsULf6ZbU91EhraeIWlMCbAp/85hk9YH9+AMyOfKDGQi+4FD6wgkfF
VWFt8YESbniyn2pXOe8QSGy9mIyCvrj1wpba4u1O7TamiXYH+YIvcgAqrVb/x4eG
1vNqtaZuQ5XQIlbvyhJgzMr4pBApaXZJhQqg/SFTiYsZCio+RCfHind71PiGvYYw
7eulzaCdkeyCg2Rj7JOR9JeQfFPGX1lbJtM4uj90SR7QvqiJSAS0fwW8Y7rlTTK7
YDcYQCqFfmfUirTcNqanJwWGrfQiSfFe2q8/KlqpM9h719IlRBsTX9qqJEQITxNP
FOnOZw8P8SR53XDSm6ixJjFRgJRm2yYdQMbvsItFFzAScpanz4ZuB/kwXGlKxwIm
QuFO2XmmVp4GIPA0qLJf
=3KU+
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: