Bug#921465: marked as done (why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3")
Your message dated Thu, 07 Feb 2019 08:44:45 +0000
with message-id <E1grfIb-000Drw-4A@fasolo.debian.org>
and subject line Bug#921465: fixed in why3 1.1.1-4
has caused the Debian Bug report #921465,
regarding why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3"
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.)
--
921465: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=921465
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: why3
Version: 1.1.1-3
Severity: serious
Tags: ftbfs
Control: block 918633 by -1
https://buildd.debian.org/status/package.php?p=why3
...
dh_install -a -XLICENSE
dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3" (tried in ., debian/tmp)
dh_install: libwhy3-ocaml-dev missing files: debian/tmp/usr/local/lib/ocaml/*/why3
dh_install: missing files, aborting
make[1]: *** [debian/rules:31: override_dh_install-arch] Error 25
--- End Message ---
--- Begin Message ---
Source: why3
Source-Version: 1.1.1-4
We believe that the bug you reported is fixed in the latest version of
why3, 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 921465@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 why3 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: Wed, 06 Feb 2019 20:57:54 +0100
Source: why3
Architecture: source
Version: 1.1.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 921465
Changes:
why3 (1.1.1-4) unstable; urgency=medium
.
* Add build-dependency ocaml-findlib (closes: #921465)
* Replace dependency on debhelper by debhelper-compat
* Enable coq support
Checksums-Sha1:
db88481ff2f46260a4285dde318145366cf20325 2578 why3_1.1.1-4.dsc
1b1e18d92d0d05674c8f4b5ab130e049907e694f 16192 why3_1.1.1-4.debian.tar.xz
357eee6c7f0f16ad178141549461838a298c2140 6707 why3_1.1.1-4_source.buildinfo
Checksums-Sha256:
5221008a9914981338038af70664e05a8b9ab6fd5b7f101ed236aa2685e88b07 2578 why3_1.1.1-4.dsc
09700fd7a409ccfd138655719dcf3485818ba0fac945f99694e2d13db63f98c2 16192 why3_1.1.1-4.debian.tar.xz
7279e1e3440fec020c9fe4ec076ba42152f6c12201892daabc4f396436d5760a 6707 why3_1.1.1-4_source.buildinfo
Files:
824b9f693e765e8901566d3393e74858 2578 math optional why3_1.1.1-4.dsc
02998a29df399017219259a8118c2dee 16192 math optional why3_1.1.1-4.debian.tar.xz
8db3d0d3f81e812440f9420bcb3b255a 6707 math optional why3_1.1.1-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlxb42UACgkQdFxHZtTK
zf+eew/+L1OunjVH2Za8vGqHvKFXL6aoVEhvV59+Kmj1eMX95+C37NQQt438bZh/
Dyw4Ma4W6TsXVuMuVlMYEUy2X1bt3/zMTW2HqBiQ86BwY8RvbzfsTpuVdLnLewK0
DWkfXGpTgn02kHOCrJ5MziJcBlUFJMBMxgwQF0kMIiTStZW7JKBEl7haXPjY7sdV
QcHSQCmWsnyyrovON58Ft3y6NQNIVb3F9DCWkCV0xOxsa3WEDMWWI6ajYwNcYQjd
j1GY+xGkFiBsJ1SoOY82ERozPR6WDQDLKZ9PQOFCNAReOL4lJDv0MSaa8tWsmrcs
YBuVsV6+QWyA4lNjiYFateffnQplQZ8MVlKt6TatBhevzwfTIhKBEVk8g+sVG7dX
mvKlPRj9xf6KapMM5nPvruH0u9ItBmTq8ePi4sllLzLrdcVB0h0y203ujXoPIarL
hnlimcCq5ZXZb6Lzi/D/djwEAhWSke77ol//or+15v64u04RDsmkn1o4k1+1xnMq
6CwxTFFXZjSMmWUB6fXjvaaZhZ8QnRodz5QcaxaB6uEsaL91lK+OINAzfj+PDdfO
BwZ2XJjCw66Jg+5vTsPdurbKArLKKN6a9NA9rHvjmK7PLZqodqd4xqJ9iBY102CG
Pxliumvr82HPY/YdSptYyqr+MLpWslDe3tMOC99547Oa/z+cmCg=
=L4Pt
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: