-----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-3
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
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
 d729bf07610e91272dfdae5d0c9f029e3490e488 23212 splint_3.1.2.dfsg1-3.debian.tar.xz
Checksums-Sha256:
 4f1247514b7c7a4ed5a68841e2406749fa31dd82efafc41c617ff500e81c7145 1818831 splint_3.1.2.dfsg1.orig.tar.gz
 51a605603888767a5c91e393ea267f6235149ac33aff50303fd431142623d40a 23212 splint_3.1.2.dfsg1-3.debian.tar.xz
Files:
 603fe0331a205c4bc99159297da58cee 1818831 splint_3.1.2.dfsg1.orig.tar.gz
 af492a88b442bdd97193d222f650ff46 23212 splint_3.1.2.dfsg1-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Comment: Signed by Raphael Hertzog

iQEcBAEBCgAGBQJXxYmDAAoJEAOIHavrwpq50kUH/2uEbLNn3+u2vrU7UsHBpUEE
bu/v+aVRepm5Ma1VNHkuxZcDOFbZ9UQp/Lqs65asMNl+qADPXF6EwGN5BNxu+6Gn
hy+kBGsi/Xnvhr4k0wvxxdfu3QJUMDHDXYcZEzEWFvZcCSm7QzqGL/w5Tdc4K+pu
rZKxzM19tHheOkoCrT7ABsl3LtYxlmDv+zCQavPHCf5iDirvXdAW0OpXhVjHYnbx
UJ5S3YE5IKvWFYmnRquxakZYa2HbWg89jvw3FlydH0OjQdSBb4doMmpSs3AYVrPr
tRLMtEUQ005B3KJJeeGwp7Qau2y6wYCZ9qVr3KM19GUZUavgGfHAirufdCog4bQ=
=gau9
-----END PGP SIGNATURE-----