Accepted frama-c 20220511-manganese-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted frama-c 20220511-manganese-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 27 Dec 2022 21:35:54 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: frama-c_20220511-manganese-3_source.changes
- Debian-source: frama-c
- Debian-suite: unstable
- Debian-version: 20220511-manganese-3
- 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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=OIwBkeI2c5CSAFXh61XeQ9zFHWtO7FHWy6ZmkffcfnQ=; b=R7x+JXwzmPcIxalTR2jRxQUdpG /zD4bube2Qcuc8p1PrsGCf49Hs2jp+Ca2WCEzK/YxsIzhegnrE81veZkKZdXUB+KXdFoQTlERgGKi 4iUbRmvd90T0DPMDIRCSLLUextSCXeRUgbTxnjNZz0tdcJncqHyn6pKBJl+Ju8bv8lS2NaFO0grzf 4tznJWTtIBaCaZ635K2x57rnsGZ7nfaJq/ObRZKZnHX343lqPq3TOj6bui9pkvj5086MCefb1keH1 VXRTAbeaB7IAoabmBTIPc/R8GEfwR39GqMdy/jAVIA+GAUvhzrsaXp/C5lsbX80bSS4S81VWYB9Uu DX5RKt5g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pAHc2-00CMEX-Je@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 27 Dec 2022 21:00:26 +0100
Source: frama-c
Architecture: source
Version: 20220511-manganese-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 1023712
Changes:
frama-c (20220511-manganese-3) unstable; urgency=medium
.
* Create a versioned dependency on libwhy3-ocaml-dev (closes: #1023712).
As a consequence, remove dependency on libwhy3-ocaml-dev in the tests.
* Standards-Version 4.6.2 (no change)
Checksums-Sha1:
a85e80371c3d63345d9c4a65d58294c2bf60da92 2407 frama-c_20220511-manganese-3.dsc
475924960094539e4fe94290c7b595eb8322164a 16200 frama-c_20220511-manganese-3.debian.tar.xz
8b5eab2be1cc039adca5ab64e13956aafb244580 16723 frama-c_20220511-manganese-3_source.buildinfo
Checksums-Sha256:
d57d4a2faceba559cf461a1b146b7774fdf27c9a2802c8db0f637635205a965c 2407 frama-c_20220511-manganese-3.dsc
1811f59a32b2d4fec3e2aff223fb13f4ec8c9a097bd1536cd4be1bb2e956dbe9 16200 frama-c_20220511-manganese-3.debian.tar.xz
465603f5fbe682045246fcc3055923468b6584b2553efbc3c8c107311e9ae96a 16723 frama-c_20220511-manganese-3_source.buildinfo
Files:
9cc2dd85f24b9a840d2114981f12aa73 2407 devel optional frama-c_20220511-manganese-3.dsc
a32f321c9473966208af467abba35c1c 16200 devel optional frama-c_20220511-manganese-3.debian.tar.xz
e7a82f9c3f6a02cf94594088ced80dd1 16723 devel optional frama-c_20220511-manganese-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmOrYPgACgkQdFxHZtTK
zf+iZRAAgaPbKJu5seMHo9Oi6ChiGK/VYe76iV8Rkfo96JH+xaGvf3YI34oTC54o
bSxudhNNHxIfq0ZH6LyhgoPHyDGh4fI4aE3OsHyaFH24fAx+JzagUlHwIWu4Q/fo
YoJXMuHzQJSoOwhuyeKGQ22mKGPIdX38KFrtZT+zGUTPBiYQdigvBBzdmsu5LXZT
eNPMTsjv/HQkW04+Yk8n7NNl4uh3fUnHcWNMRS/lzypGN430o/Q+UclmAcKdlaNF
LLosKoCh3PpLQdJ11o7uYZQXp9QC1KJ6Rbm0gm7y5v7Jn3PuYZ0Uv4PiJ1oAskGC
LEuNC/6JgqPrzNKmybK6n+vcOCncwJKzDuBh2EniZ7inW7yYlKdHT8MMM9PL4xzj
ZfE5Aq86x1HXUL3yAc/cb+mKuG5CgfDe7LdoBtbbAH1MkzASgpVuWvkYkMzqLy0r
Q9xq8cvzXCn8rFgPNCp46eLmm9GbR7Zcu61TfP+nrDevh/gst8DLSmeS0SNAOCbm
PicCsf7w/3aBTRUZYkHGjvvUISSBKysg0CfeJ7IU7pSpoB5Ge9EA3xprwPuG8rRW
SILRtSzMzn9TudjTkFJ8R8MFVade2PsWJgFnq5A0MXOFQVzsstZneeWNXO+C/96K
8XHKfxYuj+qHC49Dz1iyjRbeLHqrxzf5q/LhsgYZFCDOsRKtMiM=
=ZTaO
-----END PGP SIGNATURE-----