[ubuntu/lucid] minlog 4.0.99.20100221-5 (Accepted)

[Ubuntu Installer]

minlog (4.0.99.20100221-5) unstable; urgency=low (high for users of mzsccheme)

  * Closes: #570235 due to incompatibility between mzscheme and r5rs
  * upate to svn head

minlog (4.0.99.20080304-4.1) unstable; urgency=low

  * Non-maintainer upload.
  * add ${misc:Depends}
  * Change Build dependency fronm tetex to texlive (Closes: #562301)

Date: Fri,  26 Mar 2010 16:56:58 +0000
Changed-By: Luke Faraone <luke at faraone.cc>
Maintainer: Freiric Barral <barral at math.lmu.de>
Origin: Debian/testing
https://launchpad.net/ubuntu/lucid/+source/minlog/4.0.99.20100221-5
-------------- next part --------------
Origin: Debian/testing
Format: 1.7
Date: Fri,  26 Mar 2010 16:56:58 +0000
Source: minlog
Binary: minlog
Architecture: source
Version: 4.0.99.20100221-5
Distribution: lucid
Urgency: low
Maintainer: Freiric Barral <barral at math.lmu.de>
Changed-By: Luke Faraone <luke at faraone.cc>
Description: 
 minlog     - Proof assistant based on first order natural deduction calculus
Closes: 562301 570235
Changes: 
 minlog (4.0.99.20100221-5) unstable; urgency=low (high for users of mzsccheme)
 .
   * Closes: #570235 due to incompatibility between mzscheme and r5rs
   * upate to svn head
 .
 minlog (4.0.99.20080304-4.1) unstable; urgency=low
 .
   * Non-maintainer upload.
   * add ${misc:Depends}
   * Change Build dependency fronm tetex to texlive (Closes: #562301)
Files: 
 debaa2592081eac38ba540a620f95897 1181084 math optional minlog_4.0.99.20100221.orig.tar.gz
 d9e8846c09c1e902e1ba0c798a9f849b 20 math optional minlog_4.0.99.20100221-5.diff.gz
 2ffa7d6a0fcb48cfe6cecd60e38746aa 1039 math optional minlog_4.0.99.20100221-5.dsc