UbuntuUpdates.org

Package "minlog"

Name: minlog

Description:

Proof assistant based on first order natural deduction calculus
Latest version: 4.0.99.20100221-5.2
Release: precise (12.04)
Level: base
Repository: universe
Homepage: http://www.minlog-system.de

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "minlog"

All arch deb package
APT INSTALL

Other versions of "minlog" in Precise

No other version of this package is available in the Precise release.

Changelog

Version: *DELETED* 2012-03-06 10:44:27 UTC
No changelog for deleted or moved packages.

Version: 4.0.99.20100221-5.2 2011-12-18 16:42:42 UTC

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).

 -- gregor herrmann Sat, 17 Jul 2010 17:56:47 +0200
581738 minlog: contains /usr/share/doc-base/doc-base - Debian Bug report logs

Version: *DELETED* 2011-12-18 14:32:57 UTC
No changelog for deleted or moved packages.


About   -   Send Feedback to @ubuntu_updates