minlog
Proof assistant based on first order natural deduction calculus

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/minlog

general

source
minlog (source, math)
version
4.0.99.20100221-7
maint
Debian QA Group
std-ver
4.5.1
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 4.0.99.20100221-6
oldstable
save 4.0.99.20100221-7
stable
save 4.0.99.20100221-7
testing
save 4.0.99.20100221-7
unstable
save 4.0.99.20100221-7
Ubuntu
4.0.99.20100221-7

binaries

  • minlog (0 bugs: 0, 0, 0, 0)
    Proof assistant based on first order natural deduction calculus

todo

  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.5.1).

problems

  • This package has been orphaned. This means that it does not have a real maintainer at the moment. Please consider adopting this package if you are interested in it. Please see bug number #846851 for more information.
  • The package has a debian/watch file, but the last attempt to use it for checking for newer upstream versions failed with an error: 
    In debian/watch no matching files for watch line   http://www.minlog-system.de .*minlog-([\d.]+).tar.gz

news RSS

bugs

all bug history graph
0
RC
0
I&N
0
M&W
0
F&P
0

links

patches

Debian
4.0.99.20100221-7 4.0.99.20100221-7 4.0.99.20100221-7 4.0.99.20100221-7

subscribe to this package (docs)

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
git revision 537db4c | Checkout or browse git repository
Last modified: 2024-04-29T14:52:34+00:00.