Package: splint-doc-html Source: splint Priority: optional Section: universe/doc Installed-Size: 1041 Maintainer: Ubuntu Developers Architecture: all Version: 1:3.1.2+dfsg-6 Replaces: splint-doc Suggests: splint Conflicts: splint-doc Filename: pool/universe/s/splint/splint-doc-html_3.1.2+dfsg-6_all.deb Size: 148750 MD5sum: 63be59ba902ed76732384df6706b8d63 SHA1: 592ab31baf11960ae626bf76e584e999bc8a545e SHA256: fe7f2b9c2f99980c2b5284da2c965349fb9daedac7adfed2a87ffc1d97888ac9 SHA512: 0937df36f604d86113228645018fde9901a51c2f80659c6c7025565f16d2e1bd9847e27943f39616a84937f0215cbad36ac8630edb3f77a90a399aa106320e50 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