Package: splint
Priority: optional
Section: universe/devel
Installed-Size: 2224
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1:3.1.2+dfsg-7
Suggests: splint-doc-html
Depends: splint-data (= 1:3.1.2+dfsg-7), libc6 (>= 2.34)
Filename: pool/universe/s/splint/splint_3.1.2+dfsg-7_amd64.deb
Size: 763904
SHA512: 08b8b21edc61099ed731bec5b6357ae82416962529fa143c39463962f1519736900ca4964f0c1e7f6d713188df6b545161875ac3e8b2dc72aa6a73f4ab153f6b
Homepage: http://www.splint.org/
Description: tool for statically checking C programs for bugs
Description-md5: 0febf72be898b024a466059b459ed3c6
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug