[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

dh-coq_0.2_source.changes ACCEPTED into unstable




Accepted:

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


Thank you for your contribution to Debian.


Reply to: