Back to coquelicot PTS page

Accepted coquelicot 3.2.0-5 (source) into unstable



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