Accepted coccinelle 1.3.0.deb-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 19 Jan 2025 19:39:32 +0100
Source: coccinelle
Architecture: source
Version: 1.3.0.deb-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 1087437
Changes:
 coccinelle (1.3.0.deb-1) unstable; urgency=medium
 .
   * New upstream release.
   * Refresh patches dont-expose-parmap and dont-update-test-score
   * Do not build the coccinelle-doc package (closes: #1087437)
     - debian/control: disable this package, and the build-depend-indeps
     - debian/rules: disable override_dh_auto_build-indep
   * Standards-Version 4.7.0 (no change)
Checksums-Sha1:
 cde4ea4271b2f0f6e07039495e0c24af59c40d2c 2191 coccinelle_1.3.0.deb-1.dsc
 e6442a4b7159d136c6da4473f9c8011c9061fbec 1908615 coccinelle_1.3.0.deb.orig.tar.gz
 e1512edf3369e71f60d27df819e474bc5f4e4a36 12660 coccinelle_1.3.0.deb-1.debian.tar.xz
 ca616eaa3ab8fb2dcc2b7d4d1b6ffb2c332d3b84 7622 coccinelle_1.3.0.deb-1_source.buildinfo
Checksums-Sha256:
 521727ce4f670bfe21b39ae017bba9c83dc70ca81ff68752e5463b379cd3cd62 2191 coccinelle_1.3.0.deb-1.dsc
 5bbf921f19ff23900604a00af56f619709828b6d8e82227185e699a8cec3c297 1908615 coccinelle_1.3.0.deb.orig.tar.gz
 33c1a025e84542c3ec5861f70b067bb94daadd92136f1041f1611397d9bc99c0 12660 coccinelle_1.3.0.deb-1.debian.tar.xz
 fab13397492ddf289177fe8241ee90f88f9a3bc61e08a11f9e5aeb44ff848000 7622 coccinelle_1.3.0.deb-1_source.buildinfo
Files:
 e81cfa50c646a4271ee6591161513b97 2191 devel optional coccinelle_1.3.0.deb-1.dsc
 1c28c7b207493d7dc179449cf9d81662 1908615 devel optional coccinelle_1.3.0.deb.orig.tar.gz
 dfbf0c61ff78349ef3f9abebda4bdbb6 12660 devel optional coccinelle_1.3.0.deb-1.debian.tar.xz
 7a863cb6cc0f5988b579e6cb75dcb377 7622 devel optional coccinelle_1.3.0.deb-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmeNT+MACgkQdFxHZtTK
zf8moxAAnqu6xIgr8Hikwnb7AV09iapdj0lJTnpecwUBkTy0Y4k2VvEQiQgViznB
MLliQOloS234TQgjHCveCUONhx99X/QOQZecHNYiPoOYpNNM44h43BYQImzn0yj7
5HWMZ5QmfloojLWk0yJjgGkVZuTAt+AqLu7uKIAeK1ITBBuIugoxaigFvjZpm+Ou
JALPuHHE/82N3z9O86lgmq8WYxIvFELzjW6LiQGSSHXQNrqhB58GOEhDC/kjVB1M
v0ErEzIHcYvl8JIsdhy1kE06rtTE7RzDyX60jEtcaQFou4ib8GobmPHMQwNMvYcw
qxTbbrK96gPXAqeKLIy1lmbg6FojKTHvM5/tqawpj9QHxzGvmG6dp+O9+zBSzJ2+
usCqY5Bf/6A0JwZOgRR7Vdu9uZa73pAlaZtjK2aAXlbKPmfJ6tVYGo/jMYClI7Ge
rhrsJn3aFfOr+ZVfWSHmIr9KAyeKcOdUiEA7Bn0gCtcGGg4zhRrKpyfS9lbslgPC
u8OpuCup7ZojDU4/uZaT7IhLt7dwusxrLTQRB72ECOX01AzofKDXrIQEFF0nfb95
KRnIRxTKMgZuZSQSflzgtnMtWdN5auDuIQ0vhd9/YYmOgPcvyycQzoxaaY78+zoD
57o4l2hlopYDJDwvYwUzagsYLTdZWs5cMcNc+kIJVNYAxL+szVU=
=Psq4
-----END PGP SIGNATURE-----