Bug#613779: proofgeneral-minlog: obsolete dependency

[Ian Zimmerman <itz@buug.org>]

Package: proofgeneral-minlog
Version: 3.7-4
Severity: normal


The dependencies of this package are:

mzscheme (>= 300) | guile-1.8 | guile

but it seems a mzscheme package doesn't exist in squeeze; it was
superceded by plt-scheme.  Maybe plt-scheme should be added as another
alternative?

-- System Information:
Debian Release: 6.0
  APT prefers squeeze-updates
  APT policy: (500, 'squeeze-updates'), (500, 'stable')
Architecture: i386 (i686)

Kernel: Linux 2.6.36.3git (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages proofgeneral-minlog depends on:
ii  guile-1.6 [guile]             1.6.8-10   The GNU extension language and Sch
ii  proofgeneral                  3.7-4      generic interface for proof assist

Versions of packages proofgeneral-minlog recommends:
ii  minlog               4.0.99.20100221-5.2 Proof assistant based on first ord

proofgeneral-minlog suggests no packages.

-- no debconf information