Your message dated Mon, 19 Jul 2010 16:32:33 +0000
with message-id <[email protected]>
and subject line Bug#581738: fixed in minlog 4.0.99.20100221-5.2
has caused the Debian Bug report #581738,
regarding minlog: contains /usr/share/doc-base/doc-base
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.)
--
581738: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=581738
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: minlog
Version: 4.0.99.20100221-5.1
Severity: normal
The file /usr/share/doc-base/doc-base in this package should be
/usr/share/doc-base/minlog instead.
Currently the package is uninstallable together with doc-base because of
the file conflict:
Preparing to replace minlog 4.0.99.20100221-5 (using
.../minlog_4.0.99.20100221-5.1_all.deb) ...
Unpacking replacement minlog ...
dpkg: error processing
/var/cache/debtorrent/ftp.pl.debian.org_debian_dists_unstable_main_binary-all/pool/main/m/minlog/minlog_4.0.99.20100221-5.1_all.deb
(--unpack):
trying to overwrite '/usr/share/doc-base/doc-base', which is also in package
doc-base 0.9.5
dpkg-deb: subprocess paste killed by signal (Broken pipe)
Processing triggers for doc-base ...
Errors were encountered while processing:
/var/cache/debtorrent/ftp.pl.debian.org_debian_dists_unstable_main_binary-all/pool/main/m/minlog/minlog_4.0.99.20100221-5.1_all.deb
--
Michał Politowski
Talking has been known to lead to communication if practiced carelessly.
--- End Message ---
--- Begin Message ---
Source: minlog
Source-Version: 4.0.99.20100221-5.2
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.2.debian.tar.gz
to main/m/minlog/minlog_4.0.99.20100221-5.2.debian.tar.gz
minlog_4.0.99.20100221-5.2.dsc
to main/m/minlog/minlog_4.0.99.20100221-5.2.dsc
minlog_4.0.99.20100221-5.2_all.deb
to main/m/minlog/minlog_4.0.99.20100221-5.2_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.
gregor herrmann <[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: SHA256
Format: 1.8
Date: Sat, 17 Jul 2010 17:56:47 +0200
Source: minlog
Binary: minlog
Architecture: source all
Version: 4.0.99.20100221-5.2
Distribution: unstable
Urgency: low
Maintainer: Freiric Barral <[email protected]>
Changed-By: gregor herrmann <[email protected]>
Description:
minlog - Proof assistant based on first order natural deduction calculus
Closes: 581738
Changes:
minlog (4.0.99.20100221-5.2) unstable; urgency=low
.
* Non-maintainer upload.
* Fix "contains /usr/share/doc-base/doc-base":
s/doc-base/minlog/ debian/minlog.doc-base
(closes: #581738).
Checksums-Sha1:
cc732d1190455ff1879dab4d8641545c402793b2 1757 minlog_4.0.99.20100221-5.2.dsc
36ab5aea6cb20b08296666d2c06105eab5915809 4594
minlog_4.0.99.20100221-5.2.debian.tar.gz
e55bdfe6d7c22f21dbe752ccd2cdbd0937d1a204 2884278
minlog_4.0.99.20100221-5.2_all.deb
Checksums-Sha256:
6910055b5441a130505df9d400560ebd21033967e5f2c174695ea4fb02b640e6 1757
minlog_4.0.99.20100221-5.2.dsc
a3a4e837e9cd55c876186595421a4535d4aaf6b6295ba6a6ad0d70bb900a1446 4594
minlog_4.0.99.20100221-5.2.debian.tar.gz
0e8119c4ee6aeaefa926d5e23f45106a5f3db85633156012c8633c259ed71d2e 2884278
minlog_4.0.99.20100221-5.2_all.deb
Files:
0e1c846104e6a37af8db4dd4c887ed35 1757 math optional
minlog_4.0.99.20100221-5.2.dsc
e0bca87a023a6ce97f1db2d107f45bf2 4594 math optional
minlog_4.0.99.20100221-5.2.debian.tar.gz
c6aa2fdac3b9355dae48c8fcc42b1403 2884278 math optional
minlog_4.0.99.20100221-5.2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJMQdRiAAoJELs6aAGGSaoGrbwP/0uh62bcTYGtfghz5jfd37Jk
n1Eul5yK3rEWq8fAc3yYOHHVKxHFlh3FMi10sqFg0Oiaj4G7lH4RxUoKk2AooFkG
6E7mhnFi+PTM/ibaXgznwrI2a1Fx7yDUVpUwnQvBpmMwEyy0YCrEwGQEpafbEvtC
AKJ5Duxg4Y2Qb4it39jgIVZAGSuX9Clc3842bgwCISjx7dT39xE9zPLZADSzATdv
h4zs8zFQWAJ6tcUiwBKMPnUkXwYWFzOBQX9+gqByrMzU1NSlEKoPAp91cDDpvaKv
tf85RMHJ6Tyv6XTigqhfxwBATKSyXYHrDFpxwdb/pzZKF+0pFhF+Cinyijgkja9Q
y0E5EFie5eKaRthcDMOiDd5Rbtz4DcQLbPnoRiYlV566i6JsWy6mGUq44bqVtEgI
w8EVZN6RbRdppxtbgEKvcOIaUV3vVKAS7hxeN3K2fDnolgTqfTin+Ugmr5aCu1kj
X6kLfcnEDCaT+NomKYCxiQQjc5d9lflp6VYrQHLOGjy+eY1zmKmJ4A+KUW9FnWcP
3DNZFCgV0tmXqxtujGZ0pT19B0MZSKGgpRP6jtJFnN9gPBsOXxu1PCe02esYX/KC
7BFVMzF5pZo4uZM1vY+M1TCqq60rixgQ5RPITfFrpOUekwUWgwh0Xj55R1t+T6Bd
a4VnWSVFMTvRP+lyAi8p
=na5C
-----END PGP SIGNATURE-----
--- End Message ---
