Hi, mzscheme was removed, see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=576473 And plt-scheme seems to be able to replace it.
I made a patch to apply this change, please check it. Thanks. -- Regards, Hideki Yamane henrich @ debian.or.jp/iijmio-mail.jp http://wiki.debian.org/HidekiYamane
only in patch2: unchanged: --- minlog-4.0.99.20100221.orig/debian/control +++ minlog-4.0.99.20100221/debian/control @@ -2,12 +2,12 @@ Section: math Priority: optional Maintainer: Freiric Barral <[email protected]> -Build-Depends: debhelper (>= 4.0.0), mzscheme, texlive (>= 2007-11) +Build-Depends: debhelper (>= 4.0.0), plt-scheme, texlive (>= 2007-11) Standards-Version: 3.7.2 Package: minlog Architecture: all -Depends: mzscheme | guile +Depends: plt-scheme | guile Recommends: emacs22 | emacs21 | emacsen Suggests: proofgeneral-minlog, quack-el Description: Proof assistant based on first order natural deduction calculus only in patch2: unchanged: --- minlog-4.0.99.20100221.orig/debian/changelog +++ minlog-4.0.99.20100221/debian/changelog @@ -1,3 +1,11 @@ +minlog (4.0.99.20100221-5.1) unstable; urgency=low + + * Non-maintainer upload. + * debian/control + - replace obsolete mzscheme to plt-scheme (Closes: #577343) + + -- Hideki Yamane (Debian-JP) <[email protected]> Thu, 22 Apr 2010 15:29:20 +0900 + minlog (4.0.99.20100221-5) unstable; urgency=low (high for users of mzsccheme) * Closes: #570235 due to incompatibility between mzscheme and r5rs
