-----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-----
