Thank you for your contribution to Debian.
Accepted:
-----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-----
--==============i73699135567914315=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZnFNgQAKCRCb9qggYcy5 IQVGAP0WE+EpR5G/qDapGya4WWntH/1Qed92w65g4FLL1JDoQQEA94/+N+FZedbK ayf7r7P5ZcjpV2Z8/Ta8r9NDKqdmlAk=1IM0
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)