splint
(12 bugs:
0,
9,
3,
0)
tool for statically checking C programs for bugs
splint-data
(0 bugs:
0,
0,
0,
0)
tool for statically checking C programs for bugs - data files
splint-doc-html
(1 bugs:
0,
0,
1,
0)
tool for statically checking C programs for bugs - HTML documentation
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
#836076 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 watchfile debian/watch, reading webpage https://www.splint.org/downloads/ failed: 404 Not Found