Your message dated Sat, 15 May 2010 05:32:11 +0000
with message-id <[email protected]>
and subject line Bug#577343: fixed in minlog 4.0.99.20100221-5.1
has caused the Debian Bug report #577343,
regarding minlog: FTBFS: Nonexistent build-dependency: mzscheme
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.)
--
577343: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=577343
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: minlog
Version: 4.0.99.20100221-5
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 (>= 4.0.0), mzscheme, texlive (>= 2007-11)
>
> ┌──────────────────────────────────────────────────────────────────────────────┐
> │ Install build dependencies (internal resolver)
> │
> └──────────────────────────────────────────────────────────────────────────────┘
>
> Checking for already installed source dependencies...
> debhelper: missing
> Using default version 7.4.17
> mzscheme: missing
> texlive: missing
> Using default version 2009-8
> Checking for source dependency conflicts...
> E: Package mzscheme has no installation candidate
The full build log is available from:
http://people.debian.org/~lucas/logs/2010/04/10/minlog_4.0.99.20100221-5_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: minlog
Source-Version: 4.0.99.20100221-5.1
We believe that the bug you reported is fixed in the latest version of
minlog, which is due to be installed in the Debian FTP archive:
minlog_4.0.99.20100221-5.1.debian.tar.gz
to main/m/minlog/minlog_4.0.99.20100221-5.1.debian.tar.gz
minlog_4.0.99.20100221-5.1.dsc
to main/m/minlog/minlog_4.0.99.20100221-5.1.dsc
minlog_4.0.99.20100221-5.1_all.deb
to main/m/minlog/minlog_4.0.99.20100221-5.1_all.deb
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.
Jari Aalto <[email protected]> (supplier of updated minlog 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: Tue, 11 May 2010 13:36:50 +0300
Source: minlog
Binary: minlog
Architecture: source all
Version: 4.0.99.20100221-5.1
Distribution: unstable
Urgency: low
Maintainer: Freiric Barral <[email protected]>
Changed-By: Jari Aalto <[email protected]>
Description:
minlog - Proof assistant based on first order natural deduction calculus
Closes: 577343
Changes:
minlog (4.0.99.20100221-5.1) unstable; urgency=low
.
[ Jari Aalto ]
* Non-maintainer upload.
- Move to packaging format "3.0 (quilt)" due to patch.
* debian/compat
- Update to 7.
* debian/control
- Remove EOL whitespaces.
- (Build-Depends): Change obsolete mzscheme to plt-scheme.
Patch tanks to Hideki Yamane (Debian-JP) <[email protected]>
(FTBFS; Closes: #577343). Add emacs23. Remove emacs21.
Update to debhelper 7.1.
- (Depends): Add ${misc:Depends}.
- (Homepage): New field.
- (Standards-Version): Update to 3.8.4.
* debian/copyright
- Update old FSF addresses to point to URL.
- Point to GPL-2. Remove EOL whitespaces.
* debian/doc-base
- New file.
* debian/rules
- Remove EOL whitespaces.
- (install): Update dh_clean to dh_prep.
* debian/source/format
- New file.
* debian/watch
- New file.
Checksums-Sha1:
236e34d67592de6557e42bd2aa075e61c1133aef 1117 minlog_4.0.99.20100221-5.1.dsc
02b0543e4da5cffcdf894e53e444331f73f004bb 4533
minlog_4.0.99.20100221-5.1.debian.tar.gz
9de1a82d85b270f315b7bbed16e74a2e13e44707 2888676
minlog_4.0.99.20100221-5.1_all.deb
Checksums-Sha256:
0d772cc7cecbadc2c2e3c7cc3c244d77adf4608cc7400f3079e0d09c040a3d75 1117
minlog_4.0.99.20100221-5.1.dsc
9f0500466f7c02f9d130b3152439a38233b2f2ecd8e16992de9b844140c85351 4533
minlog_4.0.99.20100221-5.1.debian.tar.gz
addeb6a7ea898d1b94744303ef893c7d92a8221679db18cc2b17f8a636ac7234 2888676
minlog_4.0.99.20100221-5.1_all.deb
Files:
2d9b691703ecb9ca23c7c16886afb122 1117 math optional
minlog_4.0.99.20100221-5.1.dsc
78a8bbe3b271a1cdba7d54b02ac4884f 4533 math optional
minlog_4.0.99.20100221-5.1.debian.tar.gz
567a1968a3184a4114f92066e4156d4f 2888676 math optional
minlog_4.0.99.20100221-5.1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkvqM3oACgkQpdwBkPlyvgNU7wCdE5hWbBJAGYHPoSzgDsSsyFD/
U6IAniqvtmguqfK1L6/46MLcm+4PWVow
=8sAU
-----END PGP SIGNATURE-----
--- End Message ---
