Accepted coccinelle 1.0.8.deb-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 04 Apr 2020 16:24:07 +0200
Source: coccinelle
Architecture: source
Version: 1.0.8.deb-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
coccinelle (1.0.8.deb-2) unstable; urgency=medium
.
* Team upload.
* Patch installation-bytecode-only: fix installation on bytecode-only
architectures.
Checksums-Sha1:
76791926b57a3043b439e07dcaf352c2ce3e42b9 2460 coccinelle_1.0.8.deb-2.dsc
28b4049def6b88dd68833e34e828e0a890ef7b11 28036 coccinelle_1.0.8.deb-2.debian.tar.xz
bcce71298dcca98b7ce1ff656ae303103e23953f 6498 coccinelle_1.0.8.deb-2_source.buildinfo
Checksums-Sha256:
00676a914b42a916c347737ccaa6cf57be8817ec5ef2bb8f210f8f5b5d13f531 2460 coccinelle_1.0.8.deb-2.dsc
f297881266bd43773f181e4df2c7ca74ba6fae559669598167298bd3c9dfcea8 28036 coccinelle_1.0.8.deb-2.debian.tar.xz
85b2b49a49e618d1a53f8025c8885673ff1cdd0c8dfb33198aaeb99380d0c22c 6498 coccinelle_1.0.8.deb-2_source.buildinfo
Files:
f027693e6fa8f65a2a0fd256ad752fdb 2460 devel optional coccinelle_1.0.8.deb-2.dsc
a130bccb979bde7c65ee58f834dd2720 28036 devel optional coccinelle_1.0.8.deb-2.debian.tar.xz
47f99e86d010e4f28e74d577219dfa22 6498 devel optional coccinelle_1.0.8.deb-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6IyWYACgkQdFxHZtTK
zf/tWg//T+9qNYVt/qVsKEA3beGH+m6zZW8lOsx4/I3mpmsN3hUfw/EFkqR9NdEi
VHL0/9MVDqY+vhAmj6hYh9IDLFe2UyD1afjkSGqiEsnffas3YeQM5nHY44sDDMU3
Fi1ufpxj3z+JqeglnRuWB5FTy3a4ql7EeTYkT/CqZwug3CL1hBhrIvodGHsBWa5t
TGERSMUVhducGuz8JcVqsTD1/7mLNMfqVMfg3rUu9lbVSRG9+vXvs0GXDFgU5TbC
VvvDe5Y3GqAu/j7q24/cu8yL6D+tcxo1IpzB08dkDiitHnq1D1aqahJcHSKOoJq2
QqeqdzM+Kdq9Ys/LxqAQPWFN0svAh12dMQ6hssOv/P6QA4NGjxg78ORWC/i6onKJ
ZqrKdXwvflurlj5TYy9kTPTZSA8ecn3DwEfCU240YWdhSnsR7Z1OxAKr+uUefEI7
4XVpwZnZfX0d00y8XOZI/pim6SPXfAFub1MMjUF67d30bIipfgFfe4orEQeiIbdw
v7lEhE/Y5ILDxIDuXUt1okACmF+NEY2lM9C5xbN5f8jH3G+9Wrk+RV/yX3ZxaagT
IXFIBTcfLbnS4dRcpqpXK7vWhpgfAslsSwwI5pv9kUxNBJGxE9JCI2W9SUvFGyuu
qpumdAigVFLGz9kaiUnGVfDMl1LvUHehp7EM7I4L9tGYZIO754M=
=Y5q0
-----END PGP SIGNATURE-----