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