Package: splint
Architecture: amd64
Version: 1:3.1.2+dfsg-1build1
Multi-Arch: foreign
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2243
Depends: splint-data (= 1:3.1.2+dfsg-1build1), libc6 (>= 2.14)
Suggests: splint-doc-html
Breaks: splint-data (<< 1:3.1.2+dfsg-1)
Replaces: splint-data (<< 1:3.1.2+dfsg-1)
Filename: pool/universe/s/splint/splint_3.1.2+dfsg-1build1_amd64.deb
Size: 682624
MD5sum: adc5b0304cfadbce4aa935e54e30b87a
SHA1: f460901f910efb3ddca2d0868307c2f2a0e4e12a
SHA256: 1a1f8b50cdb08b55f5bea254dba97b06fae0aeb66dd26ff28e04e875363b7dea
Homepage: http://www.splint.org/
Description: tool for statically checking C programs for bugs
Description-md5: 8e7e32bbdb6feca91226586802c3b837