-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 02 Sep 2020 20:45:21 +0200 Source: coccinelle Architecture: source Version: 1.0.8.deb-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Closes: 886712 968946 Changes: coccinelle (1.0.8.deb-4) unstable; urgency=medium . * New patch menhir-2200525: solves FTBFS with recent versions of menhir (closes: #968946) * Compile with python support (closes: #886712) * Add myself to Uploaders. Checksums-Sha1: 963bcbfbf8b743def4b858b01410afb4f4f937b8 2495 coccinelle_1.0.8.deb-4.dsc 55418d82fc84bd65468201c5d41f34c9d0eacae0 49340 coccinelle_1.0.8.deb-4.debian.tar.xz aea98cc4b86ef513641ac3131da7c01b3a33e5f2 6505 coccinelle_1.0.8.deb-4_source.buildinfo Checksums-Sha256: 46ea7f9da475125a917eea73930ac11e33c2738a5d79680557046eb4df142346 2495 coccinelle_1.0.8.deb-4.dsc a0683b6d66d50d5d8db637aeeacfdbeb72e0364b0b2c5c0917f9503dd1aaf5d4 49340 coccinelle_1.0.8.deb-4.debian.tar.xz bf6285cccac202e598cedee826e14c7f071020dddd88f7d6d4990f282676573f 6505 coccinelle_1.0.8.deb-4_source.buildinfo Files: 7ae02c351a0055bd338d8b0cdb63c6d6 2495 devel optional coccinelle_1.0.8.deb-4.dsc 4cbb0aa3c37b2e9689401fc12b2932d5 49340 devel optional coccinelle_1.0.8.deb-4.debian.tar.xz 4c31547a8ecbb75bf7d7994981604ac8 6505 devel optional coccinelle_1.0.8.deb-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9P7AUACgkQdFxHZtTK zf8HYA//dlJaP9uPK7C5QdPlGCysY2xx3xYmYzCzjOZYyyIwBzpmQSdSAFX0lFdZ b30iS5Ri10DZK92CpNB8L+AZq6roCRx+kIYN5Tl5TIF5JGZv21v42A/Ej1e4Zz3S UwjWFBEB2TnjfXVNyOFRxGG6BbLAyu9HUY2Mb3qTPP5OYBJYDi+bXWyznL42FMuv Hj5qxVaCvl4pJ9/uHNB75JpMrAAOfmD7JMRC7MDfKphuxelC9q/xLnxZnFKQqSEH LQKuuBeQlv2dsCH2kfcPMENwJhN0hi4hMapCBhF/D/cqVMntEkURphgfF7cViyIw 6AIiHv/pF1Zd2w+8h1iOmMwOx4Rax7JH1F9enjMqLCkn7V/Y7DNNy86+DwX0SjBi P2SE3KVtltKoHaksm6t+7hSlw9p9Gl2l44DXEQxLTRDMgyqDEqKzI3rKbRMK8nQR qgAeoUOH6osMiLZjc1b+Ew5gFy1C1eyi6VyBpvPFfw3PucI6Cuef7dc/tCv/1gxU qa5tHl+bMQ/j7rF/wQW5fS24bqbVH2wxKdzb9ks3GdK9ONTuinbrzNRmH3wSlC5N TRvpjhMZDvWTCBMV+GaiPxZC+Igc3U4cS+QSEuPgC+sgr7RIyfAm/M9zzZ9ivyt7 WttFZ6FqSEPkkzq5ARsqaoKvtZKVhWcH/cE7i6T2wx7EMAT064Q= =Bnk8 -----END PGP SIGNATURE-----
