Accepted splint 3.1.2.dfsg1-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 30 Aug 2016 15:09:09 +0200
Source: splint
Binary: splint splint-data splint-doc-html
Architecture: source
Version: 3.1.2.dfsg1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian QA Group <packages@qa.debian.org>
Changed-By: Raphaël Hertzog <hertzog@debian.org>
Description:
splint - tool for statically checking C programs for bugs
splint-data - tool for statically checking C programs for bugs - data files
splint-doc-html - tool for statically checking C programs for bugs - HTML documenta
Closes: 797254 822024
Changes:
splint (3.1.2.dfsg1-3) unstable; urgency=medium
.
* Orphan the package since the maintainer is MIA.
* Switch to a git packaging repository (instead of SVN).
* Simplify debian/rules by using "dh". Thus indirectly
implement the build-arch/build-indep target. Closes: #822024
* Clean up dependencies.
* Switch to 3.0 (quilt) source format and update patches accordingly.
* Add Chris Lamb's patch to make the build reproducible. Closes: #797254
* Update some patches to work on configure.ac and not only configure.
* Update 05_html_docs_css.patch to drop sourceforge logo link too.
* Update Standards-Version to 3.9.8.
Checksums-Sha1:
0c218da0a51c2c3c8ff8cec5dc3f41328fd6280f 1667 splint_3.1.2.dfsg1-3.dsc
d729bf07610e91272dfdae5d0c9f029e3490e488 23212 splint_3.1.2.dfsg1-3.debian.tar.xz
Checksums-Sha256:
c98d12b6ad1e23d2be8ff27c727dbce2a1cc2dc4e51c0fde07edae44a9fe29d2 1667 splint_3.1.2.dfsg1-3.dsc
51a605603888767a5c91e393ea267f6235149ac33aff50303fd431142623d40a 23212 splint_3.1.2.dfsg1-3.debian.tar.xz
Files:
41353c6dfc18ac2f29d76a26f8237abf 1667 devel optional splint_3.1.2.dfsg1-3.dsc
af492a88b442bdd97193d222f650ff46 23212 devel optional splint_3.1.2.dfsg1-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: Signed by Raphael Hertzog
iQEcBAEBCgAGBQJXxYmEAAoJEAOIHavrwpq5rckIAIpeA0DhFZLabjnrjBdedHnA
Xre8mFW84qUQ4/X3eGquziF+rii0j8N7NI4eUaspQqItwFX4qTu0RZrOsJLmvirC
E5fsOW74e5O0OCXd0xzCJJb190SVIK1xT+xutozk/jxhIwN6wRGs/uqmhmlQnb9s
a7yvdKYum1wfJWjKGyCWPhJrcQsRIbhxu4Aw/Kn66z+z51j58+1t1kv85T5HGKFj
8hvBgYsL7uleJOoOp84a1CsZY6FH5zq/67SLbAZp4TIp8a0W6vuxNfFEQP6r+qom
k3UL58mdVxrhyNu9CoEv4eNN3JnzLnlNxf+o12u22W7IbzgSi99vfi/NHRQ5T2U=
=ZHFe
-----END PGP SIGNATURE-----