Your message dated Sun, 30 Oct 2016 03:34:07 +0000
with message-id <e1c0gsp-0006lv...@fasolo.debian.org>
and subject line Bug#839497: fixed in boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
has caused the Debian Bug report #839497,
regarding boogie: FTBFS: System.IO.FileNotFoundException: Could not find file
"/etc/localtime"
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.)
--
839497: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=839497
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: boogie
Version: 2.3.0.61016+dfsg+2.gbp4108246-1
Severity: serious
Tags: stretch sid
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20161001 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):
> make[1]: Entering directory
> '/<<BUILDDIR>>/boogie-2.3.0.61016+dfsg+2.gbp4108246'
> xbuild Source/Boogie.sln
> XBuild Engine Version 12.0
> Mono, Version 4.2.1.0
> Copyright (C) 2005-2013 Various Mono authors
>
> Unhandled Exception:
> System.IO.FileNotFoundException: Could not find file "/etc/localtime"
> File name: '/etc/localtime'
> at System.IO.FileStream..ctor (System.String path, FileMode mode,
> FileAccess access, FileShare share, Int32 bufferSize, Boolean anonymous,
> FileOptions options) <0x7fd189d5d2c0 + 0x005ed> in <filename unknown>:0
> at System.IO.FileStream..ctor (System.String path, FileMode mode,
> FileAccess access, FileShare share) <0x7fd189d5cf30 + 0x0004b> in <filename
> unknown>:0
> at (wrapper remoting-invoke-with-check) System.IO.FileStream:.ctor
> (string,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare)
> at System.IO.File.OpenRead (System.String path) <0x7fd189d5aa50 + 0x00034>
> in <filename unknown>:0
> at System.TimeZoneInfo.FindSystemTimeZoneByFileName (System.String id,
> System.String filepath) <0x7fd189cbbfe0 + 0x00032> in <filename unknown>:0
> at System.TimeZoneInfo.CreateLocal () <0x7fd189cba850 + 0x00176> in
> <filename unknown>:0
> at System.TimeZoneInfo.get_Local () <0x7fd189cba7c0 + 0x00025> in <filename
> unknown>:0
> at System.TimeZoneInfo.GetDateTimeNowUtcOffsetFromUtc (DateTime time,
> System.Boolean& isAmbiguousLocalDst) <0x7fd189cbbce0 + 0x00017> in <filename
> unknown>:0
> at System.DateTime.get_Now () <0x7fd189b64260 + 0x00046> in <filename
> unknown>:0
> at Microsoft.Build.BuildEngine.Project..ctor
> (Microsoft.Build.BuildEngine.Engine engine, System.String toolsVersion)
> <0x415e17e0 + 0x00220> in <filename unknown>:0
> at Microsoft.Build.BuildEngine.Project..ctor
> (Microsoft.Build.BuildEngine.Engine engine) <0x415e1790 + 0x0001b> in
> <filename unknown>:0
> at Microsoft.Build.BuildEngine.Engine.CreateNewProject () <0x415e1740 +
> 0x00037> in <filename unknown>:0
> at Mono.XBuild.CommandLine.MainClass.Execute () <0x415d95d0 + 0x00be3> in
> <filename unknown>:0
> at Mono.XBuild.CommandLine.MainClass.Main (System.String[] args)
> <0x415d6d70 + 0x0008b> in <filename unknown>:0
> debian/rules:9: recipe for target 'override_dh_auto_build' failed
> make[1]: *** [override_dh_auto_build] Error 1
If the failure looks somehow time/timezone related:
Note that this rebuild was performed without the 'tzdata' package
installed in the chroot. tzdata used be (transitively) part of
build-essential, but it no longer is. If this package requires it to
build, it should be added to build-depends. For the release team's
opinion on this, see
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=836940#185
If the failure looks LSB-related:
similarly to tzdata, lsb-base is not installed in the build chroot.
The full build log is available from:
http://aws-logs.debian.net/2016/10/01/boogie_2.3.0.61016+dfsg+2.gbp4108246-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.
--- End Message ---
--- Begin Message ---
Source: boogie
Source-Version: 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
We believe that the bug you reported is fixed in the latest version of
boogie, 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 839...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Benjamin Barenblat <bba...@mit.edu> (supplier of updated boogie 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: Sat, 29 Oct 2016 21:52:24 -0400
Source: boogie
Binary: boogie libboogie-cil
Architecture: source all
Version: 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
Distribution: unstable
Urgency: medium
Maintainer: Benjamin Barenblat <bba...@mit.edu>
Changed-By: Benjamin Barenblat <bba...@mit.edu>
Description:
boogie - verifiable programming language (compiler)
libboogie-cil - verifiable programming language (library)
Closes: 839497
Changes:
boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1) unstable; urgency=medium
.
** SNAPSHOT build @1f2d6c15cc587e9e1b91be70186ee9a26d5e1928 **
.
* New snapshot for Dafny 1.9.8.
* Build-Depend on tzdata (Closes: #839497).
Checksums-Sha1:
6fbe01004aa10d86438061ea317ffc9b5f5c5132 1820
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc
44537abd255f714f297090b69fb95699472014ad 1883622
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz
2a2beabb27cd60d72ce55ff1f4314483a6e0042d 8720
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz
bf9f85bec23334ecf04d9e6dc14be62c1d81e1d9 15964
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
d0f1768563443b2ebc87e29e03a067c04a00a471 559380
libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
Checksums-Sha256:
558271107960de778a6c6be297bbf881f348c407d892d12ef8228edc1c165b4a 1820
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc
79a7bdf5a3ecb6dde8c0341a1d16537f2b5cc09771e573c84e19c5cfeecbcb85 1883622
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz
0fa578e7b5d5c375c3c35e020d0ebed69d0d96cf9d52214d7d23c070c1cac63f 8720
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz
4e0716aa5a2a71e3fd8cf474e3f413a41e6e2a4cf9d9b5f5a6f4950bcc3da05c 15964
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
2f8f3e8a54fefeaca4d9cdeeaca95b7ba76710aba2639ce3c9ba153a9f7baa33 559380
libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
Files:
532bcb274af779294ffc456297d71f1e 1820 cli-mono extra
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc
4b2390e5351bf60fbeea21f4c9e2bda3 1883622 cli-mono extra
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz
f27b9c60dece98d70554a49ba5389b90 8720 cli-mono extra
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz
3e73f77608c715c4025f7b475db990c6 15964 cli-mono extra
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
5dcb8c513fbce0f6440a187a7a4d27c5 559380 cli-mono extra
libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
-----BEGIN PGP SIGNATURE-----
iQEsBAEBCgAWBQJYFVeMDxxiYmFyZW5AbWl0LmVkdQAKCRCecwFJ65HFO3UnB/4i
ZGbNHYXJMBFjM3LQBpGZ0K6Zh2fqIfRj5ArQdjQXX0rtSsFyiOxtONQYKzhVL3tF
8mYmOe+hHphLMzGMkW+8zcyf95VZ3WMpwzyy5SuVBznZ1rcoerhVTFZY0ZOvHCCK
oF1bJPMIHZXUigKzN0Z8losQ149R4Kud2Q8vm+SPZUZgV+WFxqceLCezUI7N09jP
0fEBsf8i9N5BlosWHtP4uyfrTAnhJJMsKLoEBn/yccRsyv8lW/hSC3kKGDEzDYo0
L2i7rf+EW85fbzwbLIGfEmh6WpsdkBf44rrKQUtM+nkJlfV2tUIsHzRDtpkS2xPJ
/IHOJU8nVsLvOpAbsSm0
=u+2z
-----END PGP SIGNATURE-----
--- End Message ---
