Package: splint-data
Source: splint
Priority: optional
Section: universe/devel
Installed-Size: 569
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 1:3.1.2+dfsg-7
Filename: pool/universe/s/splint/splint-data_3.1.2+dfsg-7_all.deb
Size: 57884
SHA512: 5a748b6b9a8050a77f8e21a95e3b5b08f5cfc396683c0784c13c91442d2eeb48996afb62165d02861a4fb853572c34645abe98c64529098b16e32a2fd9e43ad7
Homepage: http://www.splint.org/
Description: tool for statically checking C programs for bugs - data files
Description-md5: c185cd4c64f834f22682db0752874f7f
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug