-----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-----
