Accepted coccinelle 1.1.1.deb-4 (source) into unstable

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

Format: 1.8
Date: Thu, 17 Aug 2023 13:35:00 +0200
Source: coccinelle
Architecture: source
Version: 1.1.1.deb-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1049958
Changes:
 coccinelle (1.1.1.deb-4) unstable; urgency=medium
 .
   * Team upload
   * Disable native code compilation on armhf (Closes: #1049958) and
     riscv64
Checksums-Sha1:
 f9c0bacfeb3dbe62d689a87a9884be7c78b58040 2210 coccinelle_1.1.1.deb-4.dsc
 b710b53000ebba436413a3b7ace50ea0f2333ea2 12400 coccinelle_1.1.1.deb-4.debian.tar.xz
Checksums-Sha256:
 abbd3180ad2b507dc52575714f5a594296016f6279ea63587c13fbb4711bf592 2210 coccinelle_1.1.1.deb-4.dsc
 669ad0d63c0f2f252ac14c7ef2da749958abcd36d127f0ee0cfb3f4ba9b843b0 12400 coccinelle_1.1.1.deb-4.debian.tar.xz
Files:
 257cb46bbe2312e8e2f09810ce289705 2210 devel optional coccinelle_1.1.1.deb-4.dsc
 85479c72927cc91c499a5f2a4a12e8bf 12400 devel optional coccinelle_1.1.1.deb-4.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmTeCkgSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBXeEH/2dDyqm9vhkDgJzzkAT3hS5NbEYQ76RP
gJMqlTzNenkdtuBkx5l4YiemRxgoeKoy1+IWJqAhEO5KrdggLwwhQkzZ0X3Id5Gw
nROePW1wCW+efJKG25LB7DKqMsVBSo8b4zrehFWp5JJnzCB37UFK+iCUnIKHo/1A
QNVbPVqRHV5+ajNaiN+cCxklamKdTUKPwu7N+75uTs52Sxi4mUBSWUT0AI7Eeddh
njo9T4H9++mux1eAQpA1vkSdCxNvHrboBKrgBrVvyNZE+9WZjZEiyFHKH9i5kezl
TdOqAlGMf2n1joZOsqEJ24jrBOz3x3FrmV77ZMFfX4WDdrWrYWvPFFM=
=JOci
-----END PGP SIGNATURE-----