Accepted frama-c 20220511-manganese-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted frama-c 20220511-manganese-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 18 Jun 2022 19:34:07 +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=86GsINkSlOPVf7bB76M1w7ML7S3SXWCb7lOHv87KEbk=; b=VpN2U3AdZ0mv7cJ7itaJqG1r/5 U4vShx+9hoKk6vHXix5ANmJz0T6a34+RM8ezru0/S7dVJSQNylcoCK+kM5wZ0XQKs7LzsXIs+lCzD wg16Hb/kMaaeb7ZqHpf176Z9kyZNcTCrQUPkA9yDrihhYoNV3mQJkIAPWYd9z7HaugCKuGUYCZyPi 5bCjN0Q70H7N1PdItKlsOfApBxTkkMMswEE6KDJ6FzCBr8ww4xVRsLgyarNnv49BjnCOumBbPw/Jf XDN1kDF+hZBtZssKkN1B7ozH9FzBnMovbj5ohV8LJDJglDEF8kijpw4zRl8ViIHZYp/8jqhNfU77w MXSTH7EQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o2eCt-000D70-71@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 18 Jun 2022 19:39:11 +0200
Source: frama-c
Architecture: source
Version: 20220511-manganese-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 1010867 1011892
Changes:
frama-c (20220511-manganese-1) unstable; urgency=medium
.
* New upstream version. This version is compatible with why3 version
1.5.0 (closes: #1011892,#1010867).
* Add build-dependency on
- libppx-import-ocaml-dev
- libppx-deriving-ocaml-dev
* debian/copyright: drop mention of plugins that are no longer
included in the upstream distribution:
- coqwp
- ergo
* Standards-Version 4.6.1 (no change)
Checksums-Sha1:
7b19fce199137b067a484bf42834eaf8eacb8741 2426 frama-c_20220511-manganese-1.dsc
94cf9d19d886ee4228695259c35b22d4202656ee 8074351 frama-c_20220511-manganese.orig.tar.gz
36535a4c3a4f630b872ef1b438d05c51ef16b3ea 15808 frama-c_20220511-manganese-1.debian.tar.xz
0a673f766ef6f6cb45ed827e9e5342efaeee48bf 16133 frama-c_20220511-manganese-1_source.buildinfo
Checksums-Sha256:
2fe31ba18860259488b283916d286c2141cd520aa58f24798573bf00a75b7e4f 2426 frama-c_20220511-manganese-1.dsc
5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
0c88bbba7746b6634d457d307d7c2d3133967c873335db4bd217a337c8f39fad 15808 frama-c_20220511-manganese-1.debian.tar.xz
73b64e0d025a445a69f9082f6981d0c81190086be47cb595f4666a721cbbb5ad 16133 frama-c_20220511-manganese-1_source.buildinfo
Files:
86906e04491c5f53097306466d29324f 2426 devel optional frama-c_20220511-manganese-1.dsc
9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 devel optional frama-c_20220511-manganese.orig.tar.gz
f66d24de771af0491b2677c367018c92 15808 devel optional frama-c_20220511-manganese-1.debian.tar.xz
05c0a830ea894dec69c60c1d4aaa210f 16133 devel optional frama-c_20220511-manganese-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmKuJMEACgkQdFxHZtTK
zf8INw//Tkm01G8nms7OUPulbnkBwoZfJ3TyD+dLKvn+itsjdMilO0gh7ZTkzYyN
xWRpxPkOR/Tb8/UcGWKj7qghyVWjMeMb5OuofbVAld2xVklnu99dz3QigAlr1vkc
eMM2lVz7L6jtxJzQcu44/Iv581v71pEKHVyMJscGZDYvaoKMnAHFZiTYwBwlEL/5
ay3/7ezdK+vRYtuFrWEIriC51KeZw0Tf4BXsKZnV5f/LsIVXOIa3NDVxhPSrlNM9
yXtUVXWPxHFAeVBnUJkqRfL32HoaQvsvKNcYFhHP8jABjm9cCMUImZzaqj9d9HI3
6frw9vxTd5v5f6siLdxblFY4sSXsKMKsAhvg+XvvMJRqADLunVWt8Rtmp8gFCcqn
+Nd4N0N2Uu0/TjynHRmAWPrpFutfNgPOCo9lzOvJ434p9+HIEM3VcMX2oFcW6bmE
24u1RrurUv4JYgdpKwXdSmRfQo5JFa08O66z8BP1+O4rPA+clN4o9Cora4izs/Vb
a9Waepu3jmca87CcNzB8NczHZT3u0ZdQU5MEBaGvQsQdbsvOKsWGkepYbvHDq7RQ
3X0z9NaldceW18F8O09nOM0L/SwJEh/7W+m57U3uG+HTyixE2oS5AI9y6WNCWRAr
I0lWbQs6eGOKJO8OJDTEN+VJEzPW+ITEym97RWe2n+qYoL6Qfis=
=6/JI
-----END PGP SIGNATURE-----