[ubuntu/maverick] minlog 4.0.99.20100221-5.2 (Accepted)

Ubuntu Installer archive at ubuntu.com
Thu Aug 12 21:24:48 BST 2010


minlog (4.0.99.20100221-5.2) unstable; urgency=low

  * Non-maintainer upload.
  * Fix "contains /usr/share/doc-base/doc-base":
    s/doc-base/minlog/ debian/minlog.doc-base
    (closes: #581738).

Date: Thu,  12 Aug 2010 20:07:43 +0100
Changed-By: Charlie_Smotherman (porthose) <cjsmo at cableone.net>
Maintainer: Freiric Barral <barral at math.lmu.de>
Origin: Debian/unstable
https://launchpad.net/ubuntu/maverick/+source/minlog/4.0.99.20100221-5.2
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Thu,  12 Aug 2010 20:07:43 +0100
Source: minlog
Binary: minlog
Architecture: source
Version: 4.0.99.20100221-5.2
Distribution: maverick
Urgency: low
Maintainer: Freiric Barral <barral at math.lmu.de>
Changed-By: Charlie_Smotherman (porthose) <cjsmo at cableone.net>
Description: 
 minlog     - Proof assistant based on first order natural deduction calculus
Closes: 581738
Changes: 
 minlog (4.0.99.20100221-5.2) unstable; urgency=low
 .
   * Non-maintainer upload.
   * Fix "contains /usr/share/doc-base/doc-base":
     s/doc-base/minlog/ debian/minlog.doc-base
     (closes: #581738).
Files: 
 0e1c846104e6a37af8db4dd4c887ed35 1757 math optional minlog_4.0.99.20100221-5.2.dsc
 e0bca87a023a6ce97f1db2d107f45bf2 4594 math optional minlog_4.0.99.20100221-5.2.debian.tar.gz


More information about the Maverick-changes mailing list