Your message dated Sun, 11 Apr 2010 17:32:42 +0000
with message-id <[email protected]>
and subject line Bug#577289: fixed in mcrl2 201001+svn7611-1
has caused the Debian Bug report #577289,
regarding mcrl2: FTBFS: Nonexistent build-dependency: libboost1.41-dev
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 [email protected]
immediately.)
--
577289: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=577289
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: mcrl2
Version: 201001-1
Severity: serious
Tags: squeeze sid
User: [email protected]
Usertags: qa-ftbfs-20100410 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part:
> ** Using build dependencies supplied by package:
> Build-Depends: debhelper (>= 5), cmake, libboost1.41-dev,
> libboost-date-time1.41-dev, libboost-filesystem1.41-dev,
> libboost-graph1.41-dev, libboost-program-options1.41-dev,
> libboost-regex1.41-dev, libboost-signals1.41-dev, libboost-system1.41-dev,
> libboost-test1.41-dev, libboost-thread1.41-dev, libwxgtk2.8-dev (>= 2.8.4),
> libglu1-mesa-dev (>= 7.0.1)
>
> ┌──────────────────────────────────────────────────────────────────────────────┐
> │ Install build dependencies (internal resolver)
> │
> └──────────────────────────────────────────────────────────────────────────────┘
>
> Checking for already installed source dependencies...
> debhelper: missing
> Using default version 7.4.17
> cmake: missing
> libboost1.41-dev: missing
> libboost-date-time1.41-dev: missing
> libboost-filesystem1.41-dev: missing
> libboost-graph1.41-dev: missing
> libboost-program-options1.41-dev: missing
> libboost-regex1.41-dev: missing
> libboost-signals1.41-dev: missing
> libboost-system1.41-dev: missing
> libboost-test1.41-dev: missing
> libboost-thread1.41-dev: missing
> libwxgtk2.8-dev: missing
> Using default version 2.8.10.1-3
> libglu1-mesa-dev: missing
> Using default version 7.7.1-1
> Checking for source dependency conflicts...
> E: Package libboost1.41-dev has no installation candidate
The full build log is available from:
http://people.debian.org/~lucas/logs/2010/04/10/mcrl2_201001-1_lsid64.buildlog
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 about 50 AMD64 nodes
of the Grid'5000 platform, using a clean chroot. Internet was not
accessible from the build systems.
--
| Lucas Nussbaum
| [email protected] http://www.lucas-nussbaum.net/ |
| jabber: [email protected] GPG: 1024D/023B3F4F |
--- End Message ---
--- Begin Message ---
Source: mcrl2
Source-Version: 201001+svn7611-1
We believe that the bug you reported is fixed in the latest version of
mcrl2, which is due to be installed in the Debian FTP archive:
mcrl2_201001+svn7611-1.debian.tar.gz
to main/m/mcrl2/mcrl2_201001+svn7611-1.debian.tar.gz
mcrl2_201001+svn7611-1.dsc
to main/m/mcrl2/mcrl2_201001+svn7611-1.dsc
mcrl2_201001+svn7611-1_amd64.deb
to main/m/mcrl2/mcrl2_201001+svn7611-1_amd64.deb
mcrl2_201001+svn7611.orig.tar.gz
to main/m/mcrl2/mcrl2_201001+svn7611.orig.tar.gz
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Paul van Tilburg <[email protected]> (supplier of updated mcrl2 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 11 Apr 2010 17:18:35 +0200
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201001+svn7611-1
Distribution: unstable
Urgency: low
Maintainer: Paul van Tilburg <[email protected]>
Changed-By: Paul van Tilburg <[email protected]>
Description:
mcrl2 - the mCRL2 formal specification language toolset
Closes: 573844 573943 573944 577289
Changes:
mcrl2 (201001+svn7611-1) unstable; urgency=low
.
* New SVN snapshot upload:
- Features renaming of sim and xsim to lpssim and lpsxsim
(closes: #573944).
- Features renaming of grape to grapemcrl2 (closes: #573943).
- Fixes documentation/examples install issue.
* debian/control:
- Changed build-depends to build against Boost 1.42.
Closes: #573844, #577289.
* debian/rules:
- Removed documentation directory mkdir/mv/rmdir commands from the
install target now that this is fixed upstream.
* debian/source/format: Switched to source format 3.0 (quilt).
Checksums-Sha1:
66f9a3e51f7de46fc70947dd979870fee973adb5 1513 mcrl2_201001+svn7611-1.dsc
ca24c8ecd5a19d9faba96109baf017a6fa9dd7cb 4834726
mcrl2_201001+svn7611.orig.tar.gz
12e85a838724ca2ef7ea24bff6c2081cfa34c772 5320
mcrl2_201001+svn7611-1.debian.tar.gz
0c6f358d023f8e05f71ef3222f418a9b904b3fea 9745058
mcrl2_201001+svn7611-1_amd64.deb
Checksums-Sha256:
f6d4d8426338b2b22e2c7a91db4e4f8ea61d9e6d107c4d5092eebb47b7f7ba80 1513
mcrl2_201001+svn7611-1.dsc
1bcc26b9b2a32266e2ec85aacdee53e03c9153f96b45dd5c66f2240f1d682422 4834726
mcrl2_201001+svn7611.orig.tar.gz
978541891edb64aadf1c5839a9e3f29e377d39e4d054edf84ab9f491f6be8291 5320
mcrl2_201001+svn7611-1.debian.tar.gz
61b79ebb7afc201a3e9a7b2764771dc48b4d5107dd7ce1e70a171fb56ce82fc4 9745058
mcrl2_201001+svn7611-1_amd64.deb
Files:
22fb54eab7ce33bba029b701020e7aed 1513 math extra mcrl2_201001+svn7611-1.dsc
86832e7eab20463ac4839db3ae463e4f 4834726 math extra
mcrl2_201001+svn7611.orig.tar.gz
9086527c4b713d15f91d02c05bc2f239 5320 math extra
mcrl2_201001+svn7611-1.debian.tar.gz
af84fc177e3ee934afd044896eb52f41 9745058 math extra
mcrl2_201001+svn7611-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkvCBWwACgkQJBBhylAGQYFlfgCeKUP6tACybdcUBImWNMYUpHWQ
3tgAnRrXowWvdqAz2aYdhoAQizHybArg
=BlZH
-----END PGP SIGNATURE-----
--- End Message ---
