Package: splint-doc-html Source: splint Priority: optional Section: universe/doc Installed-Size: 1042 Maintainer: Ubuntu Developers Architecture: all Version: 1:3.1.2+dfsg-7 Replaces: splint-doc Suggests: splint Conflicts: splint-doc Filename: pool/universe/s/splint/splint-doc-html_3.1.2+dfsg-7_all.deb Size: 148834 SHA512: 04c3006bddcb9e5df1dd49867a3ce4c56f03094a799ebc17fd765d4ee0a6a5372f1d8e71454f41968c41a9805f88b4fca76615771d8b1700b1e74590b6a76045 Homepage: http://www.splint.org/ Description: tool for statically checking C programs for bugs - HTML documentation Description-md5: 8350ffc978ca1f37565a5e7a351127a9 Original-Maintainer: Debian QA Group Multi-Arch: foreign Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug