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 3 warnings about this package. You should make the package lintian clean getting rid of them.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.1.4 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.4 and your package only follows 3.9.7...

testing migration

news RSS

bugs

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