Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sat, 23 Nov 2024 16:03:33 +0100
Source: coq-unicoq
Architecture: source
Version: 1.6-8.20-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-unicoq (1.6-8.20-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
45d093f4941183c97746c207114049302daa8bcd 2094 coq-unicoq_1.6-8.20-1.dsc
053e09086d85d7561790794982e17e4aa411c4b7 593674 coq-unicoq_1.6-8.20.orig.tar.gz
c2028714199f0622c612e437a8a10264b084b52d 2720 coq-unicoq_1.6-8.20-1.debian.tar.xz
467de5b2eca1ce785df84b5029bccb219d843761 7140 coq-unicoq_1.6-8.20-1_source.buildinfo
Checksums-Sha256:
7e3e08952802a4419f3c38aaee19817ba9e94188b90c6431966b9f9b3af728ca 2094 coq-unicoq_1.6-8.20-1.dsc
df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz
c58299af6e9dfaead46567d4b1bbb65d3c464a9a28afcfc1d4c73e89da8d0e5e 2720 coq-unicoq_1.6-8.20-1.debian.tar.xz
c6609a160fabdf1b830b4314ee34a92739500ec5f669f495a2cf99a9ff847910 7140 coq-unicoq_1.6-8.20-1_source.buildinfo
Files:
e0e43c0f2f71db80d819017a875289cf 2094 ocaml optional coq-unicoq_1.6-8.20-1.dsc
1c2a90a1a5c2652e77472d1498520367 593674 ocaml optional coq-unicoq_1.6-8.20.orig.tar.gz
af608f57b7230f12dec2608795645eac 2720 ocaml optional coq-unicoq_1.6-8.20-1.debian.tar.xz
f7cf287f77118d7447873654b47f2f05 7140 ocaml optional coq-unicoq_1.6-8.20-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdB7xsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR/NQP/12vy4c9jE1ZWyqhxBuCHe330P+OPx39 6+Tv3emcQCfCNqBihEfZfc4Y/MKaeAe6vO7IigdykadmcXK6zE/yWZ1lmGcLcGuh pVKjNGZmdLVT7zS5jOgWO/2j3/GAuQ4erQoaX5aib1GsN/vHMtyEYSJYEIaX9fOC QDhArfR30Tt8gUY8htOALqhAV9ZkP2z86I8jaJI2p9INHMqleKyxEIbmL4v80AnO HmZtbT4zjrQ9dLw5rfG3rx2mTlFk5hmV7L4cT1s9lpog2a3fO0BUnshH4hZD0I7I 1eKcyuGEpjRYXrbah2kqMrF+Ei3n4YHi5GnJElXVx3ru/PeMDRol2BuFXNHPia+J 9rlzWqCzea6cUrSsq0mzKE+zJpSmQThpI5UmfpQ4C+6wqarW+PLI8o47wpqBDxcr xQoAoBFZbjM2US+NFvw3iC+wzvoBe86lRkk+i+30ctV31rX0ukPgYAPKBOCFFAbz zaj+WGviSSls6iHlvqg6VXZOs3/ev3b0Nw1aNLsnPd74GNRQkuKxZbUVxJPuTZH0 H2m7pS7IUBVMYTua+YKDBg2gyIby2JSNG6QyJ73gAlycnDx4GTdKg/5QnSRztyFB SHTiZQmqIxSf9BOxFhpf3l3peREMXv0QRQj6PqoiEB02hN6fIyP9D8hXcSwz1FUB
y7GGFVQyHtGa
=pVjq
-----END PGP SIGNATURE-----


--=============='87891606728272413=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZ0H2DgAKCRCb9qggYcy5 IfjBAPwMrJgVs3WANCqOMQ7mxOQlRVlS93/eyUmds/0hlskALwD/fjnuRI73H2eY XQR38EW2IwwzcZphOabUobWI0oftLQk=trou
-----END PGP SIGNATURE-----

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