-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 18 Jun 2024 10:49:29 +0200 Source: coq-serapi Architecture: source Version: 8.19.0+0.19.3-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1073269 Changes: coq-serapi (8.19.0+0.19.3-3) unstable; urgency=medium . * Fix compilation with recent yojson (Closes: #1073269). Checksums-Sha1: 8bf93119c3a3fd5cf19194370df7e6f939532bf6 2493 coq-serapi_8.19.0+0.19.3-3.dsc eeaf7018659ead567c3ffa4c2f30fabebf57c5e7 10200 coq-serapi_8.19.0+0.19.3-3.debian.tar.xz f966a72aa835630406b78a90408b55fc98aa2efc 8958 coq-serapi_8.19.0+0.19.3-3_source.buildinfo Checksums-Sha256: 1154c4b73f08d5ac08e3ebadab5c02b65cfdad46aff50cd4d6e4379a7b36f543 2493 coq-serapi_8.19.0+0.19.3-3.dsc e6b849f64aa421209a17d1855fd062d7dcec43c198082061ddc1f4c057d4e59f 10200 coq-serapi_8.19.0+0.19.3-3.debian.tar.xz bf8e517fddae8a0b53b77efd25ae84619418dd393bd0b59e21fc6ee424829067 8958 coq-serapi_8.19.0+0.19.3-3_source.buildinfo Files: 65b1446c58b3062628f65e0e2ea142f9 2493 ocaml optional coq-serapi_8.19.0+0.19.3-3.dsc e1864d60ac30541f9e4ac148de505705 10200 ocaml optional coq-serapi_8.19.0+0.19.3-3.debian.tar.xz deddf9829d4b4ae548072ad37e606321 8958 ocaml optional coq-serapi_8.19.0+0.19.3-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZxSjkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRrtkP/ROV9LyMFWVRw76PfjTxnnhxYQ9wmzVl Oc7xs2f15F1H4fauWyACrCcQjtQmL2o7CtgbaZ0ACoI5JrzgZKLpA1V6+weXyOIt 50f+xsFNXgxmIAlfqr1X7mUrf7dN5kWVaivof3eGbqKHmZrbz4GO1GpFfMUjY7qU a99gytadgf2l2GzcHBYG2RfxkPNaXadi1taTCOhyIlXC3SP4R96vmuguofehB2F/ A+7wj7w8FedIfbD0jvYqOUKjKSzpFrthNhi6fKe69v8lslIaX6ajjpPCB8WexAad MMDwdUWxXyMQOtCndGujC1QYmtAq9eKv9ski9Yz5Rx4KM08W/BEO0eefDpR0eYAI NNhQGiyyPN0Nv4hkHf50PvuE2MsLkCC1SRlHxPQIyynRaFB15KvqgFoWP+a9ZdQS MpD8i6f24GczSeAmALyUBIVJV6d+1Tw9NQViNRbH/Hyg5J/vK3nHOJgHdSX0PU/N 29feD1syBP+0BA0Y8QBc6xhphRsElSax8NxDOkpMY07M+R7jJJz3TOrcmYzydPbP R2fUvYKic5K/TM+lcMQ3lDpzqfMgWGnvkBih52NLN6mWX3J8W4BDBtlyKYNcuM4Y QSgeFWSVckC+bJRGaU5qR2BS/qs3gLvCBWC1qfa1v8ACcCPNsydBRK05WFUaAtGA FCVGvLR39Z1p =9K33 -----END PGP SIGNATURE-----
