-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 10 Nov 2022 11:21:48 +0100 Source: coccinelle Architecture: source Version: 1.1.1.deb-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Closes: 1023653 Changes: coccinelle (1.1.1.deb-2) unstable; urgency=medium . * d/rules: force configuration for python3. Thanks to Uwe Kleine-König for the patch (closes: #1023653). * Standards-Version 4.6.1 (no change) Checksums-Sha1: c1469c8e8482ca9ad077db3d80682589780cd84c 2507 coccinelle_1.1.1.deb-2.dsc 7b0961588f97d61c8a993f66f607e79bfbae5aa0 12176 coccinelle_1.1.1.deb-2.debian.tar.xz fa232b2a3505070d28cafebdbd91de7e98c6d07a 7315 coccinelle_1.1.1.deb-2_source.buildinfo Checksums-Sha256: 4b21430b75a5e87da83d642ec181a72f288438c84465e39387f33d752e9513fe 2507 coccinelle_1.1.1.deb-2.dsc 37b6e17d5b5317bad526f8690ac5472c09ce36c1bb224f518b77f53e38c02589 12176 coccinelle_1.1.1.deb-2.debian.tar.xz 6c3a22e18971a95b1ec2947a404294d4199e611ad78afc66adf499259fbacd2e 7315 coccinelle_1.1.1.deb-2_source.buildinfo Files: 292791bb8f89d776814604e60fcf820a 2507 devel optional coccinelle_1.1.1.deb-2.dsc 5efc5749b3016e85babc5857f5e6b8cc 12176 devel optional coccinelle_1.1.1.deb-2.debian.tar.xz 06b0d4e4d249c0af028c7dc74fb35c4e 7315 devel optional coccinelle_1.1.1.deb-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmNs3UsACgkQdFxHZtTK zf+qWhAAlXq1b+r6pO22AJCbWtiFdir0wWVPfQQe1P2m3dcD3OPvm1ssh47tHH1K gOaI228m1saY6e5JNfHku7KbcxMe3sLIn1qhtuS1sOoqt9bTHIy2aIOHjdho/zn/ GneX+GUPbmwvPtodfElmGAs4V1WwQ/uETjS+zbPBnLco4aS3tixmm1wSAdqeQw4l UIkWvofvulfMxwG+L8GIZqgBcygdYIJn5If7vS3/VzAo+GB4SAbUj9F6SJ28Wjjw /hYq4ltZyv1jKxqW2W30+lJSKbC3B0joY4Q8y4hm/SqAjJjw/tHBIxe/HzkyvgSV N9I0e/ak2sUQGTutrvn9d3M+thlpMkeMXBiGhtantC+q2cdIUjsR8Nsdc6aajYRx 2AbyxaJ8UeLXgmtYBlQ/MYHvHfa/AnA3C6BPm2+rLgtaS2KgRtf4g7VnKnSL2vmA 780VtBfAIP+cnanSoGrUtlxvTxWqjxouiuLnvzBJfY8DTE9JTgvXLXRVUE2BPdOf O5AK+fdGIzEiCnzUCOCO0hhOeCVvehCh/tJIEbDiyC9F6yNnv04Wid2QYKEPlmew 8KIq8anG1vMUo8sxyOJp0FVAdWJ9LCDj9Wdh1XvtT4bWvqrkovcN20/ZBCj2TJla xW2Fb1VWu/N+0nl1s+uygbkKLINqr0gNSD6vmcDEtq9LB6vMeMU= =Psb6 -----END PGP SIGNATURE-----