Package: splint Priority: optional Section: universe/devel Installed-Size: 1840 Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> Original-Maintainer: Y Giridhar Appaji Nag <appaji@debian.org> Architecture: amd64 Version: 3.1.2.dfsg1-2 Depends: libc6 (>= 2.4), splint-data (= 3.1.2.dfsg1-2) Suggests: splint-doc-html Filename: pool/universe/s/splint/splint_3.1.2.dfsg1-2_amd64.deb Size: 768374 MD5sum: 7074cbc3043aec202236b088bab300e2 SHA1: 80c3f9fbe36d40c1e35129d1e5a688d79106cbac SHA256: 1569c9017e84e23e678fb5898518be1e8e045c152ba470571ddda5eb76bb18e9 Description: tool for statically checking C programs for bugs Homepage: http://www.splint.org/ Description-md5: 8e7e32bbdb6feca91226586802c3b837 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu