Your message dated Mon, 15 Feb 2010 00:47:36 +0000
with message-id <e1ngp7g-0005dl...@ries.debian.org>
and subject line Bug#562301: fixed in minlog 4.0.99.20080304-4.1
has caused the Debian Bug report #562301,
regarding minlog: FTBFS: Nonexistent build-dependency: tetex-bin
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.)
--
562301: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=562301
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: minlog
Version: 4.0.99.20080304-4
Severity: serious
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20091213 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, tetex-bin, tetex-extra
>
> ┌──────────────────────────────────────────────────────────────────────────────┐
> │ Install build dependencies
> │
> └──────────────────────────────────────────────────────────────────────────────┘
>
> Checking for already installed source dependencies...
> debhelper: missing
> Using default version 7.4.10
> mzscheme: missing
> tetex-bin: missing
> tetex-extra: missing
> Checking for source dependency conflicts...
> E: Package tetex-bin has no installation candidate
The full build log is available from:
http://people.debian.org/~lucas/logs/2009/12/13/minlog_4.0.99.20080304-4_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
| lu...@lucas-nussbaum.net http://www.lucas-nussbaum.net/ |
| jabber: lu...@nussbaum.fr GPG: 1024D/023B3F4F |
--- End Message ---
--- Begin Message ---
Source: minlog
Source-Version: 4.0.99.20080304-4.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.20080304-4.1.diff.gz
to main/m/minlog/minlog_4.0.99.20080304-4.1.diff.gz
minlog_4.0.99.20080304-4.1.dsc
to main/m/minlog/minlog_4.0.99.20080304-4.1.dsc
minlog_4.0.99.20080304-4.1_all.deb
to main/m/minlog/minlog_4.0.99.20080304-4.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 562...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Christoph Egger <christ...@debian.org> (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 ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 13 Feb 2010 00:17:04 +0100
Source: minlog
Binary: minlog
Architecture: source all
Version: 4.0.99.20080304-4.1
Distribution: unstable
Urgency: low
Maintainer: Freiric Barral <bar...@math.lmu.de>
Changed-By: Christoph Egger <christ...@debian.org>
Description:
minlog - Proof assistant based on first order natural deduction calculus
Closes: 562301
Changes:
minlog (4.0.99.20080304-4.1) unstable; urgency=low
.
* Non-maintainer upload.
* add ${misc:Depends}
* Change Build dependency fronm tetex to texlive (Closes: #562301)
Checksums-Sha1:
704d7bbbd11c7d7834932fdec104ddfa35010c2f 1690 minlog_4.0.99.20080304-4.1.dsc
f07cfe7a35487773056775b9a6ca57ef17304c1a 3854
minlog_4.0.99.20080304-4.1.diff.gz
876f65337d4f4e04c0d498a78c7e6bd7c3dc8b56 2623334
minlog_4.0.99.20080304-4.1_all.deb
Checksums-Sha256:
e31cfed851e322228488d3182856aa151cb721df6499b240743f9e8b37a630b3 1690
minlog_4.0.99.20080304-4.1.dsc
b33e6bf703a5d010e4b415d464b97650e34de97dd138fbdf1869097a893109ac 3854
minlog_4.0.99.20080304-4.1.diff.gz
d91582cfc7f23222cc6537c264acb18d06fddd7608321acae3c2b98f7d9782f1 2623334
minlog_4.0.99.20080304-4.1_all.deb
Files:
08452f2004c386613ea577f9dc19dbee 1690 math optional
minlog_4.0.99.20080304-4.1.dsc
0ca777254d1f4280b97683fdd3e596ef 3854 math optional
minlog_4.0.99.20080304-4.1.diff.gz
8ede31753158f45d4f2fe48a0eecf7d7 2623334 math optional
minlog_4.0.99.20080304-4.1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJLdeKvAAoJEKv/7bJACMb5v3EP/3NS3n0rllBoYbwALZ0QEd1s
Nlpzjn4li2v1uFDVaMFJc5hESmjxcWZD4F5Ge7979H+e8GVCHyVboXvHNznSPSnc
+vO+uyULSLSQaqeHTQfEZXN1I8TGGXfzRoDk9l84cKhtXWX+WuG97ExjblrfAp7+
kYpXIWMP845tfR+oFwnXRdRLilMlHDTJMR4NXHN7lbEmgi/ZsRhpTldSt09cyeLi
PjAA9weiznc5K/l0MgNOUD/xHKnF3BWzGnn17ZV1un/fBQJDe+cTSTLAOpKNxwXE
8lub6zcJvr2dS9uVFENwQcTfUQjI6hQqXg6537z+yZROinwhTMWtv0VMhgMT3xOV
xlxr3NoEMz88CyBKKuLtMtRoHLppmlzKQBuMIkS7IFODWcIcgx/9xELMmyzdnT41
U0+5tLn9nlWZrV6gWX5TUb9UYmXSH8fcpiC7glygRN+jgHaWnTxWCbaF2nWCScdk
GwhtH4eoPISealmZGcuXdV3ba/mr5sWiEYZwWUjkz0dqQZBjSdYD09kOH0tZfDan
LCVulPK/YeYKNlyrDig90pzQVy3QxssD1ze7UIDxwf1Ygxpt2uOOxGgtRVSIxvgf
YJUcwEAj+PmM8JYleFtxphHZ77BNkYBpfcX7pQe+jy2EpORTd7QjerFgLilm2cK0
MLvgWq7Og073YZIzRWSM
=lKXE
-----END PGP SIGNATURE-----
--- End Message ---
