Package: splint Priority: optional Section: universe/devel Installed-Size: 2223 Maintainer: Ubuntu Developers Architecture: amd64 Version: 1:3.1.2+dfsg-6 Suggests: splint-doc-html Depends: splint-data (= 1:3.1.2+dfsg-6), libc6 (>= 2.34) Filename: pool/universe/s/splint/splint_3.1.2+dfsg-6_amd64.deb Size: 763756 MD5sum: 8fae8b44c73576f08e055d67c1cbec0a SHA1: 17fb6a982610ee78c2a29ba8cec44f6fc2058117 SHA256: 8f881f7af35cebc48dd20cd3092d41685cbcee64e84a714da6878546aec25c19 SHA512: 16b158850cd9f31a263ac94b91623b5603e8d4577c2b1230f0490b4a679410de56a04fa554c23a150b7434361790fb43af17bde8c928597110f3b034d2f1ed8d Homepage: http://www.splint.org/ Description: tool for statically checking C programs for bugs Description-md5: 0febf72be898b024a466059b459ed3c6 Original-Maintainer: Debian QA Group Multi-Arch: foreign Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug