Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 12 Jun 2023 19:32:01 +0200
Source: coq-libhyps
Architecture: source
Version: 2.0.6-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-libhyps (2.0.6-3) unstable; urgency=medium
.
* Bump standards-version.
Checksums-Sha1:
4314ff8cb027f818f1fa83616ccd56c8c46059d5 2072 coq-libhyps_2.0.6-3.dsc
05b2d76eea9e7150e94a84967a5e57bfeb1ba440 1944 coq-libhyps_2.0.6-3.debian.tar.xz
0b1d211f49f613f52f5cbeb63691cdd35e0c8178 7339 coq-libhyps_2.0.6-3_source.buildinfo
Checksums-Sha256:
1c9c9ea7820c63f09cd19a708b8f658a1edf45ab43a618b334c7903aae3bf9de 2072 coq-libhyps_2.0.6-3.dsc
640684e3303d7565e1b88a67f43a80c6cbd8f07543dfaa155787932d2b339c63 1944 coq-libhyps_2.0.6-3.debian.tar.xz
ecf8a50ff95c81336d768195c7b3aada7b04bfe0bfc3c173bd3fbcf98a627d94 7339 coq-libhyps_2.0.6-3_source.buildinfo
Files:
374dce53a540da89a1e0c1ad04b0752c 2072 ocaml optional coq-libhyps_2.0.6-3.dsc
9d4718255f9503e2a4d0a2e35933e9dc 1944 ocaml optional coq-libhyps_2.0.6-3.debian.tar.xz
e32a8580ab94003d55215f66c947f356 7339 ocaml optional coq-libhyps_2.0.6-3_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVpkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRwcEP/2pIELBxh6CBl67f9yJFghfS2qTanetL XFz+EYaJrvnfxOIB3UAHlHBl6mUe3Iiic3XcqzfpUVsfr9xYcRZ6WEcAGEMfIHmx DZeyST1e2bE2rkzhcP1ybISLAiybXAAlMB8kbYqGNc891SpMhDhtCyJVwQfdZk0E vK2opT/ZMnRzaM+fevSc7iHKacU4ejb474vhu/MmhZa1CANf64NIVFsdLoI2wwib Cj181X/tW3dDdVQW/OLEZ/uB8uQ55rLnjQK+A8lD7l7J8YP4TnRqRrnYuNuI5GJP 10lAYOZuHLibsMJJma1DWsK3QarvHuxW/M2bI3qju4JDiwwbR/84n+cFnfQcFZ/I P8sG+wtdNvdXIq8+91FpFuE52vCw8+iMqpVOClmWcTmXm9PJTr6fExhSTFKEYLcO 2SvCunUyjGYLjXuihjEZDH3vApWfy/5o+FVi+nxbMjV7J2+Krnp8R/G1KCL85m4e iv/sc5PpT9n7xDpF8QjC4oki3f/+Zoz3nUdatXMkCqMG8hvBQtfdQ3BgruJBY471 lMag2RrjB6NZY5OQ9PO3OPzjAfjkroykdSqi8/Ufbvv0WWeF/U0VzUln+SPX3Al6 QAONDVzJ7+4SYQllSf+drxkoiQEyPIbl1CkkyXwJ96oruvrSXwk+7LIpHxkqdayb
47xCzgA4Dn1y
=Gj3B
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)