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) <[email protected]>
Maintainer: Freiric Barral <[email protected]>
Origin: Debian/unstable
https://launchpad.net/ubuntu/maverick/+source/minlog/4.0.99.20100221-5.2
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 <[email protected]>
Changed-By: Charlie_Smotherman (porthose) <[email protected]>
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
--
Maverick-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/maverick-changes
