-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 09 Jan 2018 22:03:55 +0100 Source: coccinelle Binary: coccinelle coccinelle-doc Architecture: source Version: 1.0.6.deb-2 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-2) experimental; urgency=medium . * Use --enable-opt configure option instead of --enable-release, this should fix FTBFS on some architectures (closes: #886714) Checksums-Sha1: 6933d0a503041cadabe12927812a9d65f10899ef 2519 coccinelle_1.0.6.deb-2.dsc 7113cc4122cc0f0ddd9e73efbbe63d597db6dbdf 9972 coccinelle_1.0.6.deb-2.debian.tar.xz e4ea32e453d904cba8d19963c39bda0dd4a54a05 10954 coccinelle_1.0.6.deb-2_source.buildinfo Checksums-Sha256: 89c5405f6e09ce37efed8f0c3a7ef5ab3d9b9fc40a1d93a430502a015de05f34 2519 coccinelle_1.0.6.deb-2.dsc 4efbaa8a2a2055b14bc77952eaf135133be3d4aaa75ba413b4e7125c925ac0af 9972 coccinelle_1.0.6.deb-2.debian.tar.xz a14829ca79eac34434b75cafb74f75e208d0e9611cf3c574d0585b7f22e1a3fc 10954 coccinelle_1.0.6.deb-2_source.buildinfo Files: f7463ba34cfa8cef379c61997715d13b 2519 devel optional coccinelle_1.0.6.deb-2.dsc cb84a08d912b863c4e85a73689f26fdc 9972 devel optional coccinelle_1.0.6.deb-2.debian.tar.xz cdeffb6255bd6a35865353666274ed63 10954 devel optional coccinelle_1.0.6.deb-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEErJ1oMWkY5MAmVndnwW2o5/RRuTwFAlpVLo0ACgkQwW2o5/RR uTxe5w//U2jOqh7vuxZ1uiE/0xwwY708UE+GUZ9YZbh2zKZ8nnSihcTQph/JYUEf m16XD5pQeKHvaWMYx0Y/6Sz+98iS1kDtNn5w8NJbq+51iVVxZhnPGMbCr1+yGCIs 6v2ZzAjWOQBN6iLM51AcOI15rNzstH2bEAELFuSOKqBLfpjaCAIqyMwUdTQX5Hou KvgbMvn3kAu5HlLzsyPs6kfHkE5HUR0kDl2VO1c5xznCQntYUYY0mCWW0dpsRxso U1mLVkIWLT+BZCURo/ur8Q0Zzwq48N6b+igawyCySrf5lP0Blmpo39/jN+95G/DZ K2Jm1Wo5xerXCCv4rVXlN4XXNQ2z3P+fWybFS73f088CB5rTF3Xi+b1jualmbZIz +vFyJ+VfFA8pMISevEL26gUZrQfkJubkYHU66ym2wwpjNWjWdrY0rvBgQks1HkEM puoeGbo9RJYAd+l9cPSpNJzZXO/V6QMJDMyZHu0YXVHW7TdeqH9P2iDSyk6g9/fF k8NJ7FhoQLj7hbYQNXbVPHQ+HjJrmtzNR+yaKaLiot7O2qQyPVZn2KHXsg2l6AJi 0Kin11T7y49hcBIe4aUtXGwQtC8q/8QTcp6WGgoERUWnhxf9m439Zwkb6/C43nwQ 6qJJuZhwGNWxbN8Q3g6rj8qF7qbYJe7gtATO+bvabyLD+4M/wcM= =MPV/ -----END PGP SIGNATURE-----
