maude
high-performance logical framework

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

general

source
maude (source, science)
version
2.7-2
maint
Debian Med Packaging Team (a), Scott Christley (u), Andreas Tille (u)
std-ver
3.9.7
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 2.6-2
oldstable
save 2.6-6
stable
save 2.7-2
testing
save 2.7-2
unstable
save 2.7-2
Ubuntu
2.7-2

binaries

todo

  • Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of it.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.1.1 instead of 3.9.7).
  • This package has "Build-Depends: libbdd-dev" while buddy needs a new maintainer, see O #628923.

problems

  • The package is severely out of date with respect to the Debian Policy. Latest version is 4.1.1 and your package only follows 3.9.7...

news RSS

bugs

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