Accepted frama-c 20220511-manganese-1.1 (source) into unstable

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

Format: 1.8
Date: Thu, 23 Jun 2022 11:46:20 +0200
Source: frama-c
Architecture: source
Version: 20220511-manganese-1.1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 frama-c (20220511-manganese-1.1) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * Add crude dep on libppx-import-ocaml by hand (why does dh-ocaml
   fail to detect it?).
   * Add workaround for failing autopkgtest.
Checksums-Sha1:
 cce5785b29d44b8af9d10b1555aefcd60d66e638 2459 frama-c_20220511-manganese-1.1.dsc
 b13ae06aed8ed3e804e2df2142845976ae022565 15948 frama-c_20220511-manganese-1.1.debian.tar.xz
 7217ec52a2dc1e55115d22156887ef8078c65dc8 15953 frama-c_20220511-manganese-1.1_source.buildinfo
Checksums-Sha256:
 dd161fc47a70140943e02d3821682b1f302d4f0de49aa98518725ce1667f5541 2459 frama-c_20220511-manganese-1.1.dsc
 cdb595613ab155ea8cf147fcace4cd0c7028f276f13eb3a7bab6238258da8d39 15948 frama-c_20220511-manganese-1.1.debian.tar.xz
 7c890d7b119867a8692fc5254acef24218d0b43420ab5813e473cf3c7ea060f7 15953 frama-c_20220511-manganese-1.1_source.buildinfo
Files:
 e5cd7a6c6d4900663922b0085060551f 2459 devel optional frama-c_20220511-manganese-1.1.dsc
 b385e8b0ced2b22e779c540dcb72d985 15948 devel optional frama-c_20220511-manganese-1.1.debian.tar.xz
 95bc11b98c80d66b24d3428b0e8b6893 15953 devel optional frama-c_20220511-manganese-1.1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK0NssSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRf6EP/3DxGwnzU3ZgXLakYo3F1f159S0sYuYU
75Y3JTTv3dj5qOq4w4fhVfQN1yQm6ifMZ5OFgIS89vi5QAr8AkvQoGkhlSLPugPu
I4q8oP/XS+Z8wXL89cQR7x76eqFk00fGUlBUm7vFwFU5y75adA3nYmctX1Zai03p
LiaTEANJjFF5rXhHFv5K9wn2LhvQi3wGihfvscu89ZEsh0Da3grRqrV0UC7gzqXU
pEKyVLjhFbHuKapMzdyFFgF3xKy1MJZ75RF8KUUZn1ntHEh+UwIN6LXLtsreDaLk
so97zr1yaMbG5hIH8jIEUXh+OpQ1/lNozH4I9yDpU5gQRjiBDbSHC7kniOE0VxhF
/5XLLJw0FAblGrdcvf/Mt9dBl0/i/TITkIE73XouQi2heF7iu1jp4EIYEeDW4Zgn
WliO3ZEKXNV6bIV+9Xl9VNTrNDEFlWhcOug/90Gxrl2WLMI8FG3WHzDzYFkNbDMt
h573uETzHCuElVUuP5jLzJUDd3neq3jST1jvVx6ss9MzanGVVqs/TUCOuks4VrBg
KXelNP5pnYdmuscy2Nb0aNimTQATsKzWw2U82kS5021W5fpQ8772bf9pP3s8vHvy
s6aTG5ZZHnXl9uStbvg3QAhLkzjM5ChnX62MyUzZGfQv2MEDJ7KvIPUrhVYvPpG+
3TAs263NEAAM
=kcO9
-----END PGP SIGNATURE-----