-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 10 Jan 2018 00:51:13 +0100 Source: coccinelle Binary: coccinelle coccinelle-doc Architecture: source Version: 1.0.6.deb-3 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Євгеній Мещеряков <eugen@debian.org> Description: coccinelle - semantic patching tool for C coccinelle-doc - documentation for coccinelle Closes: 886714 Changes: coccinelle (1.0.6.deb-3) experimental; urgency=medium . * Pass --disable-opt to configure instead of just not passing --enable-opt on architectures without native compilers (again, closes: #886714) * New patch: - fix-noopt-FTBFS.diff - do not force using optimized compiler so --disable-opt actually works * Use dh-autoreconf during build Checksums-Sha1: a966bd824a0521bc93e740f708d68e1c2b25744f 2537 coccinelle_1.0.6.deb-3.dsc 50fbaffb10e4b6351f1eb281ab30cb5e1731417c 10252 coccinelle_1.0.6.deb-3.debian.tar.xz 9fd319c57adbc986776e9def179ef537b54d1581 10954 coccinelle_1.0.6.deb-3_source.buildinfo Checksums-Sha256: 30e889a2ada60cdf6737234f87472c80966ef7faa30e7fa7c01f1c8a7deab586 2537 coccinelle_1.0.6.deb-3.dsc 2a8bdf0b62195e323187415c4fffb54e1ebbf6cae9213a1dfa843315e4d873df 10252 coccinelle_1.0.6.deb-3.debian.tar.xz b89ef3b4980e2ea31b2d89feabf7db92e65cdfca855c3c4a99f92693d774d36f 10954 coccinelle_1.0.6.deb-3_source.buildinfo Files: f8fbfdc7b850ab610cc253bbb5d0adeb 2537 devel optional coccinelle_1.0.6.deb-3.dsc 5c4a38b980840d059d721e7115c41dc1 10252 devel optional coccinelle_1.0.6.deb-3.debian.tar.xz 50e774a3fe91c9e860b094da6c09e854 10954 devel optional coccinelle_1.0.6.deb-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEErJ1oMWkY5MAmVndnwW2o5/RRuTwFAlpVWAMACgkQwW2o5/RR uTxnqRAAgBCqol/dEd6o1MWGH8F4yDE7Sgmb+HBbYLR3PsvW6SIMTppLqM3aO8yo zBIAGP0V1lBh5/b2Y3kBG8ON1OEUJ52kg1sRLka/jhBgZLw6EDJtP6az/xavQvU/ KTylFqNBcOjC4ESQNfaTA1E4pOiAViwcyktvfZWNaxrKkGu1DK+s5vJgaCPmwrri 7B+esmnIhoWwJBPmQ+eqQ9M6g+IgIIQu1Lr2JgzIFcnii+gOlji+r5rYNaiAigxx 19Ki3dnvU/Xzl7CmNqLrFagIpIysi7G5SQfMUBZ+zNUllur5Rz4SuXE+T8wZ7gmM g/Sw69b7v5+VlDX9pWJh98+U1dQI9/4xZJVqEeFi2acjBsptRCnLRQmwIkUEHcAB a803IgVyl/cUxklldqw4LtZ+LHZIV/mVk2XVIlttHKqUCQQ0NYCg5bk7/gPOZQOq caQEbvgUt6BTHsfDXp2sMgBLT7pdotMVKFxjR1f2Td+MNre21pAcHlguosWRePnj 0OGYO8ryUV9GHhEPHC3BebfvU3nNnfKaZexd9hOoXOTfRedcjEpzQrf5wq6UU901 jGWgjLQ/K3JjWj4Ftqc7AvtZ5cfBFE4IxuWvnDB6sKd153/abL7aLqf64X9ISuwJ lQDxZ1k4UPf+FJBXc0N3NDOARuOKY1N+brJZOpwsUSHnV4wJNG8= =8mF4 -----END PGP SIGNATURE-----
