Accepted frama-c 20220511-manganese-1.1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted frama-c 20220511-manganese-1.1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 23 Jun 2022 10:20:29 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=styvcnLxEyYaz++1fWmOj8qu0PzaYmU14ZVhV4XGIJU=; b=pkRbYJ9WUud9xfidv1H7Q+y8Sy TIiXERek9KKn2S/Tzcke5EHGlB3IsaOvfYGA3qjXDysZI2ZJjVxEjHNGxMsMScgmJBlQ9qbN6Mn5D hQAZnSo407RDP82Vgz9nyjFMUawWz1MMrZU9BPVMR+2YtCBjg+dE8lkpsrN8VxhGT6/WDKXcL7LSL lQYvh2bxzI6gPMKiwCmWMrRp14QeCytiO5Pung90EVQmJ2kYgWf4H4Y+cVtHFqSc1Me3iFEUk038a gyKW/a4DaTK3RMda7OvPvnZUT2QL57yR2p6macEiGkOCWs1eVc1mspYGSMjeXG/qsqzzVnFmlv0zh 93/ZeivA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o4Jwr-0004Hn-3c@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----