-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: splint Version: 3.1.1-4 Binary: splint Maintainer: Samuele Giovanni Tonon Architecture: any Standards-Version: 3.5.8 Build-Depends: debhelper (>> 3.0.0), flex, automake1.6 Files: 49cf282337776acca9bba65c6a05982d 2426348 splint_3.1.1.orig.tar.gz 2bb16b9c91b448f211352af25bebb444 25387 splint_3.1.1-4.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFAiXRMzvFcH/JZfgQRAk8WAKCZSCv8PjxcNRHfEjT0eTDVLB7A4wCgmeUn JfIDw/w9wwhAgb9mIG0nLWU= =4r7L -----END PGP SIGNATURE-----