Accepted frama-c 20220511-manganese-1.3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted frama-c 20220511-manganese-1.3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 27 Jun 2022 19:36:51 +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=s2RvWJjMf+poNetahsg0nLuqzWd6ZmrQPMDcwQXb/9M=; b=hhelKMjeUg9D2530174uJ4sXTa kQ75TADouL+O6OruvgZrMxT6kwsMnbCupt4myfHnHig6+zhLtZGLO7ObJ0lkVeuojU8sqkSE+MGwB 4Hf5X4Cx2t1DdjTMbAZQS9UuGZSZZllo8+VMZSSWU2TWmEvOPeFDAxiUlf5RDFCRoEo6cKREQZ6Q7 RazO1+Ks26PebOPd6cmrAaUWqJ5+1TvHS4/crwCwcV2fpBLsDADDgGtjEw0K4wFsjNOdmUi2ZZm6R CPlnxW4Vo8IpSlEcUf0qWdZ9dgZziD3fm81Ilw40Rirqvu3i2OxvxW78U/mYFynC2a/17PHuGD2U9 tEZ4vD8Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o5uXT-0009FJ-UH@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 27 Jun 2022 20:50:40 +0200
Source: frama-c
Architecture: source
Version: 20220511-manganese-1.3
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.3) unstable; urgency=medium
.
* Tighten the dep on newer why3 also for autopkgtest.
Checksums-Sha1:
020f828c3c3f7ab5ad491bfae436e72eeaf7c66d 2459 frama-c_20220511-manganese-1.3.dsc
415eaac22e86029457d4d1e6e7137ace41e4f0ad 16000 frama-c_20220511-manganese-1.3.debian.tar.xz
52d557e37a49046dbd2effc75d8728c8ef67ee44 15950 frama-c_20220511-manganese-1.3_source.buildinfo
Checksums-Sha256:
013dbad83484e1ec0b7f5ad06b68fb5a6273cae530b4f084f8fd12f6580e011f 2459 frama-c_20220511-manganese-1.3.dsc
e1715e794688ef8e4f5177e97553b14d0fcf9117a209b05e7a8f4eb332187bdb 16000 frama-c_20220511-manganese-1.3.debian.tar.xz
9f4c62ba61934ec72a9ca8e406a3e51f72c336c53a573d8aa7d8c514df7f9c3e 15950 frama-c_20220511-manganese-1.3_source.buildinfo
Files:
a6b82c34e5ca91774213d93c81b4907e 2459 devel optional frama-c_20220511-manganese-1.3.dsc
f0f578eef430b4095dc53aed096b6726 16000 devel optional frama-c_20220511-manganese-1.3.debian.tar.xz
e662586a30305e9d3ea6ebab92adf3b5 15950 devel optional frama-c_20220511-manganese-1.3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK5/GASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRN9sP/iuzg6ov+SxwrMxlDSrQ9PGcxn2PqdHH
n3lmEokR/9htW2FOrXumn+/WmzbduQfaQ6G+rY0iQillbtUb004dQw955fqDvwfS
4LLvh3nmKmuEy6MflYp23N7NVYszIw27Ira6XpP5WdWsCD6Ak0PUX6LwliX0QReR
9SWtDfB0wxxa8zBhJZp5dlvXKWbuwyQ0r3zm4Zl+c1gdPVOUyOoUQJEQ71RvgG1v
69GkKnoO9HBKaNqRVSbHmU7xihAKWc3VoBVJ7cKZkpF6hXmj4Ym5KFwD/ScQRggu
0iA2eHFpzM8FxPmj4HmllnbF8M5odoa2lqvque3ipRERCp8+hzHfHtpyM4upR1iV
zdMomoOkgw7XkWVvdG15k3STjKQvrsdlQ7HAj2G8/eqmAeMBqhGMCQCYyqCvLfyL
YCXWzCjq+wjvkAekfJ/06/Unm3yIQGys3ypkv5Gs6HNKJt6r9FYjuPYDl6o4e/DF
bAaMLK0TuwofZG1BLJFTKQGBBGvOurG/JdBf9ldxWbyyiHcMPm/p0/NT2B3sSiFG
BFdSiN/v/k7uKj80H8qat9fmeg0liqb1k64KgfVf5QS+bboZ1jVC9pHl+iMxb0FR
874dvwt0IOcESb6auS8nYw5eUrq4d0E034FGuG+/rhzi9hhOFt+0Q7MvD5DwfnNV
2OJ0G5n/PPsI
=8nIP
-----END PGP SIGNATURE-----