-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: splint Version: 3.1.1-6build1 Binary: splint Maintainer: Samuele Giovanni Tonon Architecture: any Standards-Version: 3.5.8 Build-Depends: debhelper (>> 3.0.0), flex, automake1.9 Files: 49cf282337776acca9bba65c6a05982d 2426348 splint_3.1.1.orig.tar.gz fbdd0572f853fb0fccd7238e3a6feed8 76603 splint_3.1.1-6build1.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQFFSctcStlRaw+TLJwRAm75AKCxBcynUJzxpf00ZudO37DQCEa3tQCgno8G TgItBvLlrWv5a005GYbft9U= =VDVW -----END PGP SIGNATURE-----