sat4j
(1 bugs:
0,
1,
0,
0)
Efficient library of SAT solvers in Java
todo
Incorporate and acknowledge the changes from the non maintainer upload.
Lintian reports 2 errors
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.6.2 instead of
3.9.8).
problems
The package is severely out of date with respect to the Debian
Policy. Latest version is 4.6.2
and your package only follows
3.9.8...
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 watchfile debian/watch, reading webpage http://websvn.ow2.org/listing.php?repname=sat4j&path=%2Fmaven%2Ftags%2F failed: 500 Can't connect to websvn.ow2.org:80 (Name or service not known)