[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#613779: proofgeneral-minlog: obsolete dependency

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

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

Kernel: Linux (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      Proof assistant based on first ord

proofgeneral-minlog suggests no packages.

-- no debconf information

Reply to: