Accepted:

-----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-----


Thank you for your contribution to Debian.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)