Your message dated Sat, 10 Dec 2016 01:18:17 +0000
with message-id <e1cfwir-0008dj...@fasolo.debian.org>
and subject line Bug#825402: fixed in minlog 4.0.99.20100221-6
has caused the Debian Bug report #825402,
regarding minlog: switch Depends from plt-scheme to racket
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.)
--
825402: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=825402
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: minlog
Version: 4.0.99.20100221-5.2
Severity: serious
Tags: sid stretch
Hi,
your package still depends on the (no longer existing) plt-scheme
transitional package. Please switch this Depends to racket.
Andreas
--- End Message ---
--- Begin Message ---
Source: minlog
Source-Version: 4.0.99.20100221-6
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.
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 825...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Andreas Beckmann <a...@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...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 10 Dec 2016 02:03:58 +0100
Source: minlog
Binary: minlog
Architecture: source
Version: 4.0.99.20100221-6
Distribution: unstable
Urgency: medium
Maintainer: Debian QA Group <packa...@qa.debian.org>
Changed-By: Andreas Beckmann <a...@debian.org>
Description:
minlog - Proof assistant based on first order natural deduction calculus
Closes: 825402
Changes:
minlog (4.0.99.20100221-6) unstable; urgency=medium
.
* QA upload.
* Set Maintainer to Debian QA Group. (See: #846851)
* Switch from plt-scheme to racket. (Closes: #825402)
* Add build-indep/build-arch targets.
* Depend on emacs25 | emacs24.
Checksums-Sha1:
c4014e81898bee699f361d08da49b743cae60c15 1779 minlog_4.0.99.20100221-6.dsc
64e7bd4b828058359360894f724d17e72422f42c 4604
minlog_4.0.99.20100221-6.debian.tar.xz
Checksums-Sha256:
79dbf38dd7329ce2a6475feb36301ebd0ed5e4e7368bc58c478405fe9eca2335 1779
minlog_4.0.99.20100221-6.dsc
b29c283b92aac17358c37237b2e2cc68b12f74fa229e4bd14549ea2f4ab9c04c 4604
minlog_4.0.99.20100221-6.debian.tar.xz
Files:
4cbc36d3aeafe38802c98bcc4b14e709 1779 math optional
minlog_4.0.99.20100221-6.dsc
abdad467703073effac8b0be4c45c7e6 4604 math optional
minlog_4.0.99.20100221-6.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJYS1TxAAoJEF+zP5NZ6e0IGWQP/iEcq+y04vSMicOwiXMOaGTX
tYIJ6YgmUrqf6XsV8sZd5M6zDIh/sHF9PxM+Ca9uUHhPiS6+SX5JxIttJhVhLc7y
y3Y1lVooVbmk0HWKYSmspY4sLSr9F2B1lgp4b1VBHJGzTqOEr05l+abwoDJJ+paJ
p4/HX2MjwUIR6zmYB4zrZuesDquWJArQ/RJF8iU8mV4aTogxRz3mm7mZCXMocSdW
kByANwfbl2Eb1+bFCoSuam5sIy5AGFxpA+gd2uPOcPO7meibRPpyaAoCiZajV0ju
jdIyJVC8O/ozoAxcuvUZAjbg4wwP2MPpON8l9y5u8UJj9Goig05m1dCmqjw8nnT6
hn2VBsN1UyPPQT/4LeoZHclkKEbfdd3Ol40bO4CbylQvoD0xI0MS2kdp3kgADQE/
01L6hLW0RO2ILXQXvVAZ4njiprfzgQwtGTQz9C0+V3gC8uBXpNy5x7T7LdtIxZSf
xoIH4PPwEGU96qHrncMn5pfTWCneQedFtRfoy+1iGHucT6Td4eX022vjzU0xDERq
HtiDlzdPj1BJ/Uzj4lFP4bxzrat1vJL78hUf5b566Es2NRcEgKW541PQVVf+6Srs
kmi54+Y0KT+RKM536WntenmV1n8yAO06eSTNo6iUNkVqo87jJ7OQPDccijBSEMeI
l46P9np6e401zq7NZrIq
=uwQc
-----END PGP SIGNATURE-----
--- End Message ---
