-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: splint Version: 3.1.1-4.1 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 e21434c8f7cf96266b44a43b2cd5a922 75944 splint_3.1.1-4.1.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) iD8DBQFDuF6n5UTeB5t8Mo0RAtsRAJ9lH67x3ty1dLceiQo2dpOm3VKrlQCeJduS +6VTiPFOfPqEeqQvprT+Em0= =SZeC -----END PGP SIGNATURE-----