-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: splint
Binary: splint, splint-data, splint-doc-html
Architecture: any all
Version: 3.1.2.dfsg1-4
Maintainer: Debian QA Group <packages@qa.debian.org>
Homepage: http://www.splint.org/
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/splint.git
Vcs-Svn: https://anonscm.debian.org/git/splint.git
Build-Depends: debhelper (>= 9), dh-autoreconf, flex, libfl-dev
Build-Conflicts: bison, bison++
Package-List:
 splint deb devel optional arch=any
 splint-data deb devel optional arch=all
 splint-doc-html deb doc optional arch=all
Checksums-Sha1:
 b626397f22fe0843cbc5561c7e892702a54e94f8 1818831 splint_3.1.2.dfsg1.orig.tar.gz
 fa96e2921c6ee445591d27cbde41f4ec63d57ef0 23184 splint_3.1.2.dfsg1-4.debian.tar.xz
Checksums-Sha256:
 4f1247514b7c7a4ed5a68841e2406749fa31dd82efafc41c617ff500e81c7145 1818831 splint_3.1.2.dfsg1.orig.tar.gz
 7db10558081d1f4a705d98090c820cc64b3157c5572120775237c4fa92f2775c 23184 splint_3.1.2.dfsg1-4.debian.tar.xz
Files:
 603fe0331a205c4bc99159297da58cee 1818831 splint_3.1.2.dfsg1.orig.tar.gz
 382dd42fccce2d341cff4ccb2780c9fa 23184 splint_3.1.2.dfsg1-4.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJYQCOcAAoJEC0aqs8kRERCVn8P/i0h0SiEwBx3WLjCwJzSKcfM
Qfp7fed6K31OFislAxivY+opzKTOTIokRDhC4ISxyomtKNyuCG5sLByZgvj2GNYP
b1IFxHnCH6nOSUa6zFDTc7no0MYUeZJVtCDcludEHB8gKTtG/Wj5k7YgAQhbKBxb
XrN8h1WJJKGJa7shQxKMcSABdZGC/DnxSisWtEzO7nHvDwH5qjCqIIhtYEOmP27I
IVq/maGBKAb7mr2fU3PnCEgX68zNGGH5ys2w1WVb2mYAXJUmju77kUb305RGIDkR
MpkG8RcOK/GDYwCpUzCSLDPZDuP8fDsWpbdbNWQlb2kLH8iPJdrBMPebDWD1EvAi
OSfNc219uA7L3h0y5kDtQlTxi+G09OmsGypsvugZpN/iqxBtMZ48zpHWQJTYzRMJ
jit3nPHmsIk8eA45Wi6ITtlU34CfYvAD+/NCfx3Fc8HHWL1Gbf1aPc58oRVcRJUt
rVfL9sR+PN8Sa9P6Gizk58TG8VprkrrzFlazYh/o0HI5fKFlgWOTznkSifBwJKYN
+YRrJBuB49HsuM7yZX7M7W07QtirpcXVIhsEzvWH8F2ADRomaVgJ541RPZovu7Dj
ZXQFlPB12QDPg50Dhk6n4nuYEOFMYCk+vQXB00iZdN+PfnLJPGIB1zV8C5Xn8fzW
bTJ+kB1xhSZccAJ14sxj
=YGJf
-----END PGP SIGNATURE-----