[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#872281: marked as done (why FTBFS with frama-c 20170501+phosphorus+dfsg-1)

Your message dated Wed, 06 Sep 2017 21:17:34 +0000
with message-id <E1dphhW-0009oB-MH@fasolo.debian.org>
and subject line Bug#872281: fixed in why 2.39-1
has caused the Debian Bug report #872281,
regarding why FTBFS with frama-c 20170501+phosphorus+dfsg-1
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.)


-- 
872281: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872281
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: why
Version: 2.38-1
Severity: serious

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

...
   dh_install -O--no-parallel
dh_install: Cannot find (any matches for) "frama-c-plugin/top/Jessie.o" (tried in ., debian/tmp)

dh_install: why missing files: frama-c-plugin/top/Jessie.o
dh_install: missing files, aborting
	install -d debian/.debhelper/generated/why
	install -d debian/.debhelper/generated/libwhy-coq
debian/rules:67: recipe for target 'binary' failed
make: *** [binary] Error 25

--- End Message ---
--- Begin Message --- 
Source: why
Source-Version: 2.39-1

We believe that the bug you reported is fixed in the latest version of
why, 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 872281@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 why 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 Sep 2017 21:34:58 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.39-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool for C and Java
Closes: 872281
Changes:
 why (2.39-1) unstable; urgency=medium
 .
   * New upstream version (closes: #872281)
   * Bumped build-dependency on frama-c-base to 20170501+phosphorus+dfsg
   * debian/copyright:
     - migrate to machine-readable format 1.0
     - fix upstream contact (Claude Marché)
   * Standards-Version 4.0.1 (no change)
   * Dropped build-dep on autotools-dev, which is obsolete with DH level 10.
Checksums-Sha1:
 7cb4fe9e97c280680c5030d6f1d30b185546f50b 2416 why_2.39-1.dsc
 1483e8ebc9f759e70900ea592da5b347259810d6 1694571 why_2.39.orig.tar.gz
 c9ce00aa4b582a3c667c107645487b7401019ac1 11688 why_2.39-1.debian.tar.xz
 e0937126e4be7c5b7ef3616cc862d28ef5de4c8a 8641 why_2.39-1_source.buildinfo
Checksums-Sha256:
 9e53174db6c599c4a772ee489f77a6aacf15a6cae198eeb67810b4d02f6cc9ea 2416 why_2.39-1.dsc
 4815111efa3d31c2e209ec98346ac67dd3578fb355adf9d04ff86800a83cc159 1694571 why_2.39.orig.tar.gz
 6ec76cd7fb5a69a388b105c7745419a5486564e9f3054da5a8c44382908ed7c3 11688 why_2.39-1.debian.tar.xz
 5e03508838a1753149fadbf796680bf3b2dd24fc1843151480dbbb60950d7d68 8641 why_2.39-1_source.buildinfo
Files:
 42ea6631d60a5b788a74fe1bf98b9b9b 2416 math optional why_2.39-1.dsc
 d03ea54b2d37039d26a1f2f82b61d860 1694571 math optional why_2.39.orig.tar.gz
 1bda2c15b8c573c6255229dfd49e25b3 11688 math optional why_2.39-1.debian.tar.xz
 81255ce7a871a815aff56d510ddd7138 8641 math optional why_2.39-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlmwVCcACgkQdFxHZtTK
zf8wsQ//WMc7rOUGxiWMsloprIYkkFschKvfeSX6fsDpxcCIYxRQKthdSkrdHv4w
Nu4Q/zkVGDDat0sdKjoTUwgYUZYOQ18GOAs4iNDvqIAW+6y4qq3h/CSBDXJFi/8O
uRkf8lurKWGoFDhtoMChjCCJmV/fMPQRq5/Zpzvpu3RNRZ+m/GqFlHiAjDIO1HD/
L8GektzHLMZkNJawHqMtX/iepghCiYvS8gChyTk1ksVuxA3M0+worc2wTY7MBhcy
m/25eqm2XYCplBmqxYs0sjH/+BIHGFkele6/RFm55ChHMmcvELCIW/RUtTmRlprJ
420HbBOaW8KAoWktqQW93XJEBocGKd/eX5S+zcK3TaxcypjyHFwttA+kCRNQZO7p
amWVgbON2q7w3LEdzT6q2I71h7c2Kxn8Uz+QLnJdeyEekmmrnxkuD7kWPsOJPO+B
MSOatOIjhEgEufAMooUFBmZq2G0JmhR+mLYo++VQGbAWbFL73MYckhOfMYi62Kt3
15/5Np+cGsfyUgaSLprmFufBUeYnaZQl3MX/4isjPKQCDSmfuKgUtylACE6GATgS
AOndFRlbUFoUeF+51wnrflXC8448hAu0jdIWz2ATWvevIeg4Jfqueb8mLD9RKrou
67LVbqvENihrF0VkC3eS3vOY8JmA+3ZJ3DYBigDacx/XTDRElSw=
=NtpJ
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: