-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 11 Jun 2022 16:14:04 +0200 Source: dh-coq Architecture: source Version: 0.2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1012667 Changes: dh-coq (0.2) unstable; urgency=medium . * Fix various typos in the debian/ directory (Closes: #1012667). Checksums-Sha1: f1e8f2bb55ac2cff9456de19858c0c66ee37d8ac 1587 dh-coq_0.2.dsc 1c3ca9446eba8e71e8bcfcb291082722fda57670 3756 dh-coq_0.2.tar.xz fa7f482c6219506840592a3a5599a1fb7124accb 5614 dh-coq_0.2_source.buildinfo Checksums-Sha256: 168104b517374d1147f6f487d87f7189b2348b8fdfebc0e1ace3a21caf1ebbca 1587 dh-coq_0.2.dsc 8f5ffb0fcb777846e83a51a1e41c686fcc8c52640169d781e1e5f9874d94482f 3756 dh-coq_0.2.tar.xz 28e51a47f4b2b6bcb1ad17d47e374028b3a7ad37c4f20863f0bef05158837e24 5614 dh-coq_0.2_source.buildinfo Files: d165bab9003e3f3c4ed6408a7a50370a 1587 ocaml optional dh-coq_0.2.dsc 78337bf759623afe3404423fccdac6c1 3756 ocaml optional dh-coq_0.2.tar.xz 4951d19becc4521a375a395719927c86 5614 ocaml optional dh-coq_0.2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKko0oSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRdLsP/0hUzCYUlpEHjf22lrLTCO5sQObzMLzV 4lup5M9fznpULip0SGpEJf2uTuqlziHaR3C4hoXM9Uu3KdkCporyOTfts323vtsg M1gcAnCZnVqunlEr9+SAWgkH3qhICW5V2+E8qbteGSDWTa5NmbUPNC69FWMJfwZG aPbPhaSb+jhBXO3Zvw3j8es2eCUweO9wt7pX0YuHQWp0WCkEoKSBhWs3AOhn95yI C87JMPIUCoLrBMCUXddV/pc0CFsAT8sr3eGqWYd117hpdumsO5ncGpy9HGcOGjyf 3iwFiSjS0bD3Q7/1p1OPZi/5Po7zpHtdRzYcsSqm21eZvGwSNFgAMw7gfA3kpVC2 UI9Vfd0V3jpFjySa6z29ceAZq3Wd695H9znziM8TsQ4wsUYllAVKWLpAmHNsaowi 5mDNG2j6am19ubwDNCgDG0/YqjELXFRggqOqT/wGKGI+ifOTFbXFxlahLbMzp6d4 WTZiDYLS/XkXJbVk2EKjUY+QbpnwCeAOWEoKnbqeLqliqyh+Lvyqtan11DNTZ47p 0/hZk8YkKy64QyD4rP4MIptkUuXqNdKyDqjZoRvDXkSB2w98Lec4zDJHDJ4a6tol 83Lqt5xPuySVRvoBKvzbXWc9p3cpMeSIzuFnbAEnKsL5gFDaB5g769pdPenjjYr/ WVJzVYjNT1Lb =ydEg -----END PGP SIGNATURE-----