-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 12 Jun 2022 14:07:03 +0200 Source: coquelicot Architecture: source Version: 3.2.0-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coquelicot (3.2.0-5) unstable; urgency=medium . * Use dh-coq. Checksums-Sha1: aef812a8f5fdba0d7c43128de570e6cf8ed3f257 2056 coquelicot_3.2.0-5.dsc bee9a052bad3543dd8ec3cb30b597bb2166eddc4 2220 coquelicot_3.2.0-5.debian.tar.xz 2bfc52fa97cd395b6396575e3c780b12cf5b9a83 6765 coquelicot_3.2.0-5_source.buildinfo Checksums-Sha256: 70946e34d4fdf2913da786e7b513807f4f29645e7afe482746f3cb83eef6e3e9 2056 coquelicot_3.2.0-5.dsc cfcc25f3879cea119257abe7a57efcafd74940787e57c0142e5917354d9186b0 2220 coquelicot_3.2.0-5.debian.tar.xz 14ce38c1a25b4b628ea06d68510b4e4ee151dc65bd19a93bc98affe1f727dcb9 6765 coquelicot_3.2.0-5_source.buildinfo Files: e4a54d2b23b656041d7cc195d6f47532 2056 ocaml optional coquelicot_3.2.0-5.dsc 8981d747c9ffc2e3821004c8a7f3dc84 2220 ocaml optional coquelicot_3.2.0-5.debian.tar.xz 0319e32776911eb97de38e13a5ae92fd 6765 ocaml optional coquelicot_3.2.0-5_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLPISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVROy0QAJpXF4dqgXMgyk4tBrrLcrIZBmC3x7ek boR5JMs5ptE71kSJYTDUry6bnYCzRHIshv5/4cV0sa2OXNetbcW/sZfbQm/Eeoh8 NflEs/TauNmthM+7hMt46+cSlBv/AcdYiGimMm4UPmvwOsiiV2ZXl9HHI93S9jMK jNymir/Wy33GALzHgd1HIP9W/JrgPilq/+SIQnDrwVpV+cpAzD8AyS5RnyUNeUsc jm9h3BVu82VO9XGk+1sWuzXFG3qrv559YrquWmFARyDeZwWFFTff1OZOwUF8m+lG FsR9RpONvnPPyIxkvyStmfFyAPVDOBGbEq+D4dXjE9qJ+hi5/GRLEDJNL9JGQCgE eVWhstDiASJg8xr9jES9ePbMp2LMj6DQg8yRk9tCOWBFW8aHKLhhVtsoqqymO+5b b2eNu1aMIPX8o8EwICfMB8f5IPV8XL50gn1BPIet8qc6DcUhOX5fgA8/UxaznNqV kC3QRusHzw0QYSF4x8b8drksjHFgbatE7/fMRMHI8fHNO3F0mmqgz+c0OmJ5GryK 5YEClc1LXobOnaHdfGqHfuqUrla9cL+yvMlYnDCjw88XC3FSQzCFZjSnmx6Gj5lw FkJLH97QLxS6pehJHh9T6qPlkFybTHHcLLSt5W1LtDSAPqcJZ8UOCkLOpa8+zRsj PmYIxpLD+dWT =TQ60 -----END PGP SIGNATURE-----