Accepted frama-c 20220511-manganese-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted frama-c 20220511-manganese-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 13 Jul 2023 07:49:32 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: frama-c_20220511-manganese-4_source.changes
- Debian-source: frama-c
- Debian-suite: unstable
- Debian-version: 20220511-manganese-4
- 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=8OBa3wdpMd9r6VGmc+yk+D261ZFl0kV+nO1UuBjBVcs=; b=YNcBdlW53LOR+wSoZr++f92f8M m2JNB9NQflt4BVLNvEcuhGuOC9qiIMPRZDcsu9LzUCoXGjoVLHUb5tG0MIrl9fZRco+nAgFa4E1gV +FwlJcxtECIRCiNVNVUBgczAgdGZGwDeG6zRZU7ozYtKAMXQ3Z1aBXbBA5J9tKYymyWGbi8SXzQcN 2Us+/UtAQOh6lLlA4YXfXfSYWNWlKtPMUALWPauL1CWG/+W1ycATN3biSmYORnbd2cLiMgOBXSeLt Ml54h5C3SKvwYVK4SB32Ss7t56ez+i4i/iLVaF+14XYeTiKMqLL1sseGiwjMRaDiWvBNTsTOQawt6 OQSZ1JZA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qJr4u-009knf-BS@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 13 Jul 2023 09:10:19 +0200
Source: frama-c
Architecture: source
Version: 20220511-manganese-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1040537
Changes:
frama-c (20220511-manganese-4) unstable; urgency=medium
.
[ Stéphane Glondu ]
* Team upload
* Fix compilation with recent yojson (Closes: #1040537)
.
[ Debian Janitor ]
* debian/copyright: use spaces rather than tabs to start continuation lines.
Checksums-Sha1:
181bab74f9ade5567d05424e9ac2961fe6655cbc 2212 frama-c_20220511-manganese-4.dsc
523803caa46c1e83d5e54ae3dec5d47d61a53140 16828 frama-c_20220511-manganese-4.debian.tar.xz
Checksums-Sha256:
066a24e898f3fffc080b80ad39bf7cdc8ad0009abf44012977233f2bf85d8a85 2212 frama-c_20220511-manganese-4.dsc
a5a5a982e252bf1d29189c6434be0496610c7c5915d3db4d9f2621a381567131 16828 frama-c_20220511-manganese-4.debian.tar.xz
Files:
616104dd24226e60f3a09350860d0c2c 2212 devel optional frama-c_20220511-manganese-4.dsc
053a00a954b2d036930a96e825889f8e 16828 devel optional frama-c_20220511-manganese-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmSvpT8SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBN+UH/2Fy1WNvh4sr05a/3FB4VjtaYh7tl0eb
pwVEz/OE+PB7EFC4Ze+UtNm5mzptHMrOjCTXkx/pcTNPH3aVYZ8q0CECn7us/AzK
o6qEq8F1lepSc71Y9TCOPNudn+i1D+9q9hCW0aINRPW+bWnOY5XrRlP3/9dLmovG
sFzGsa3X5r5rIo3N6+yCaHXhYBO+lMOFvWi9362DVD3x5HG2eO05iZo3cSNEIpdt
+qryrBQg6+/6UIEIZT5K9NZ3VQZATLouCfe8YpW42Zf9pchVMkjp3cGFjde40T2Z
S7FZ5BLIrNCZGdR58VByuvUl3v6NUDrh6Dbu2Rvu2boVfslN8fJ85FE=
=qcZP
-----END PGP SIGNATURE-----