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 -- To UNSUBSCRIBE, email to debian-qa-packages-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110217070332.6615.57653.reportbug@matica.localdomain