diffstat for minlog_4.0.99.20100221-5 minlog_4.0.99.20100221-5.1 changelog | 11 +++++++++++ control | 4 ++-- 2 files changed, 13 insertions(+), 2 deletions(-) only in patch2: unchanged: --- minlog-4.0.99.20100221.orig/debian/changelog +++ minlog-4.0.99.20100221/debian/changelog @@ -1,3 +1,14 @@ +minlog (4.0.99.20100221-5.1) unstable; urgency=low + + [ Jari Aalto ] + * Non-maintainer upload. + * debian/control + - (Build-Depends): Change obsolete mzscheme to plt-scheme. + Patch tanks to Hideki Yamane (Debian-JP) + (FTBFS; Closes: #577343). + + -- Jari Aalto Fri, 30 Apr 2010 16:20:37 +0300 + minlog (4.0.99.20100221-5) unstable; urgency=low (high for users of mzsccheme) * Closes: #570235 due to incompatibility between mzscheme and r5rs 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 -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