Accepted frama-c 20220511-manganese-1.2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted frama-c 20220511-manganese-1.2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 27 Jun 2022 09:48:59 +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=QUSx1rdyycZAr9E4Qv1cNxfxjKTKyh4OlTNHCl/WaC8=; b=GhPRusvExhAJ4eUFZWORpZggJ5 66bnn9aNMVXqVxD6PZvT6xibtXBJocKXPEy4f2URPIJYJANznGCQwY42a71UvH/XvxsNLvxlDebj7 qDHDiacy6QEyDkzsZzRCMX8qIUwjOnxBySBM/miC3oopodMfX/VHZln2S6YYSmPz5WjhPkvkZ2dEe JeYCDC9xICZ3nJmppXglqRBciz084vyVMNCYVNdLys5kktyh4GfcWR0H5twotg231eyv8xo/5C8jM oVPwqlzobqNGZiP/cIZxnLV0uVIT1IF7KHTKbtr7gj0Qk4KtiJ9xwe0SMzuYknj6qj+QqbYpxcOWa z70swd6Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o5lMZ-0003uk-4z@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 27 Jun 2022 11:29:05 +0200
Source: frama-c
Architecture: source
Version: 20220511-manganese-1.2
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.2) unstable; urgency=medium
.
* Non-maintainer upload.
* Tighten the dep on newer why3.
Checksums-Sha1:
a1293a706367ccc61a49e6d288bb8d0d1ab19c89 2459 frama-c_20220511-manganese-1.2.dsc
0132d566705f85f29a8536fecdc4e3c921b37ae6 15972 frama-c_20220511-manganese-1.2.debian.tar.xz
12a0dfd990fcd82f1ead73e7ef1a005cadb5fead 15950 frama-c_20220511-manganese-1.2_source.buildinfo
Checksums-Sha256:
2aefc72742d9c4f0c7ffa1b07400b9b0d3057005c9bb6513d92a8054c960a005 2459 frama-c_20220511-manganese-1.2.dsc
79461f7e85f3dba4b87a43ca6265ac65e3dab0d945d6f1c7b9a092c422e80d9b 15972 frama-c_20220511-manganese-1.2.debian.tar.xz
7e17cb68060f0fb374ba389068082bb61e5e82ff7ea0643fd8b109ce378177f7 15950 frama-c_20220511-manganese-1.2_source.buildinfo
Files:
91c2a9af6bf56affe8abdcced937c0e4 2459 devel optional frama-c_20220511-manganese-1.2.dsc
6ca8013ceb528b6e736431201e0db356 15972 devel optional frama-c_20220511-manganese-1.2.debian.tar.xz
d39c0f424f7b22f17096573b01ae7a5b 15950 devel optional frama-c_20220511-manganese-1.2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK5eU4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRHtgP/0Ekh6qiD1yNzVzPkLd5KKedVVyoLCg0
7aqH2Ip9/0aRO6EUhfifblMjeGANTV1y3Z2Jar8aOnY+EuYGXjImA/7NnCTzLvvK
vAJ5vFKCT1vfJgz+MXJqY9N1MSKFS0XDj1btd8sSkOvU35iyxZWj+abLsztWuQ82
q8/X5UmRj7EbKMJMFwRbbQ8KDi0li6kIjdpMxfY2nb5FOwYQxhgtTd0Qj1EwTowe
ujAtBZTlzkmOvTxlkr30x1gQi4/gpX/6mw84FFV3xi6GBkgXsc8N/tJCBfWXYbg3
1yhST2f9Sm2Qhzmo1pq7FY7OKfsEPGvoVs523yAc+C42TnVtsfa0UlHEoBtvyd8o
NMQTGxe2R+BPA8ybMkCb325Ax6rh+mM3H20pCJHZy4pFcpMTYq8LCkYH7bfrIrpO
R/VaELv87Aj/iYJQl5JINb1NWRKgKoRzeyqo+TZUDJfmy+LzHgxZ2wDQKoirRfVP
W5mwNU1x83+hOeMUWXccUdc2V/6lGrsWmRf5arkHNaipvLg2RXcxOpXH4isDfP30
zTMQ+6Pz9FaXzYyXWKkZUwjHWDajbqeQZDRCuYwXpdMTuc3w6sU4rNhrIHdKbeAN
0ukC7kmp9wQji7bZ+0c8dLUe+5eBWGIhKCHIylQmkpcy7wS87BBGQAbluhEw64mC
7Asoh45yGiZC
=S362
-----END PGP SIGNATURE-----