Your message dated Sun, 21 Feb 2010 22:39:09 +0000
with message-id <e1njksd-0003mr...@ries.debian.org>
and subject line Bug#570235: fixed in minlog 4.0.99.20100221-5
has caused the Debian Bug report #570235,
regarding init.scm:37:2: if: bad syntax (must have an "else" expression)
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.)
--
570235: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=570235
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: minlog
Version: 4.0.99.20080304-4.1
Severity: grave
Hello,
I get the following error when running minlog:
/usr/share/minlog/init.scm:37:2: if: bad syntax (must have an "else"
expression) in: (if COMMENT-FLAG (begin (display COMMENT-STRING) (for-each
display x) (newline)))
Running directly:
mzscheme --load /usr/share/minlog/init.scm
also fails with the same error message.
I get the same error inside a clean sid chroot (with minlog +
emacs23-nox installed).
Best regards,
--
Stéphane
-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.32-trunk-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages minlog depends on:
ii mzscheme 2:4.0.1+fake.2 PLT Scheme Interpreter - transitio
Versions of packages minlog recommends:
ii emacs23 [emacsen] 23.1+1-6 The GNU Emacs editor (with GTK+ us
Versions of packages minlog suggests:
pn proofgeneral-minlog <none> (no description available)
pn quack-el <none> (no description available)
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: minlog
Source-Version: 4.0.99.20100221-5
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.diff.gz
to main/m/minlog/minlog_4.0.99.20100221-5.diff.gz
minlog_4.0.99.20100221-5.dsc
to main/m/minlog/minlog_4.0.99.20100221-5.dsc
minlog_4.0.99.20100221-5_all.deb
to main/m/minlog/minlog_4.0.99.20100221-5_all.deb
minlog_4.0.99.20100221.orig.tar.gz
to main/m/minlog/minlog_4.0.99.20100221.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 570...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Freiric Barral <bar...@math.lmu.de> (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: SHA1
Format: 1.8
Date: Sat, 20 Feb 2010 17:55:50 +0100
Source: minlog
Binary: minlog
Architecture: source all
Version: 4.0.99.20100221-5
Distribution: unstable
Urgency: low
Maintainer: Freiric Barral <bar...@math.lmu.de>
Changed-By: Freiric Barral <bar...@math.lmu.de>
Description:
minlog - Proof assistant based on first order natural deduction calculus
Closes: 570235
Changes:
minlog (4.0.99.20100221-5) unstable; urgency=low (high for users of mzsccheme)
.
* Closes: #570235 due to incompatibility between mzscheme and r5rs
* upate to svn head
Checksums-Sha1:
2ddd74d61f10ba4a7c9a520918f1de382342352b 1039 minlog_4.0.99.20100221-5.dsc
20f8345f7cc1da49c061c350dea550602edf46b5 1181084
minlog_4.0.99.20100221.orig.tar.gz
a25e79f62db7134dd435073c6e080fcea09e8114 20 minlog_4.0.99.20100221-5.diff.gz
94b187a7b0bf9b795c8171fa92d66e8aebeb9f4a 2883530
minlog_4.0.99.20100221-5_all.deb
Checksums-Sha256:
1fb7a20d7e929f258525977a7d85fe992fc46e7831ba46029d743c20823d3ae0 1039
minlog_4.0.99.20100221-5.dsc
a0dee50fce2956024a4feedc6154d8a5d9714d91cf134bf48e240c17936b7b23 1181084
minlog_4.0.99.20100221.orig.tar.gz
d0d8e7d066cfc0119258550d7d1b51ce8999c21cf538f22a5e56aba625f6aa00 20
minlog_4.0.99.20100221-5.diff.gz
3b85e7a2afb16194cc6078a1826ae3aa17a2dc67816fcee40cfd90a038c4f025 2883530
minlog_4.0.99.20100221-5_all.deb
Files:
2ffa7d6a0fcb48cfe6cecd60e38746aa 1039 math optional
minlog_4.0.99.20100221-5.dsc
debaa2592081eac38ba540a620f95897 1181084 math optional
minlog_4.0.99.20100221.orig.tar.gz
d9e8846c09c1e902e1ba0c798a9f849b 20 math optional
minlog_4.0.99.20100221-5.diff.gz
5920132a5cf87b248d71e771a81971b1 2883530 math optional
minlog_4.0.99.20100221-5_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkuBhpMACgkQHUDhE+YrLEVQbgCfYPIgbRNwe9i8c2AG7stpJ8KR
GvIAoKMXbXqwgqM23UXfPl16uF+tWXj8
=FJqx
-----END PGP SIGNATURE-----
--- End Message ---
