Package: splint-doc-html Priority: optional Section: universe/doc Installed-Size: 1056 Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> Original-Maintainer: Y Giridhar Appaji Nag <appaji@debian.org> Architecture: all Source: splint Version: 3.1.2.dfsg1-2 Replaces: splint-doc Suggests: splint Conflicts: splint-doc Filename: pool/universe/s/splint/splint-doc-html_3.1.2.dfsg1-2_all.deb Size: 161356 MD5sum: 19f86f62f09eaeca285dced69a70445c SHA1: fe4c937a2932cee3a2619c0174bf13f47463ecea SHA256: 9de6846c5034d84ab25bde099d4d806b37acb3e19ecd3684d9be7ffe4125588a Description: tool for statically checking C programs for bugs - HTML documentation Homepage: http://www.splint.org/ Description-md5: e5ce463a12117e8f1538ac41a10545ac Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu