Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Fri, 26 Apr 2024 15:58:24 +0200
Source: coq-relation-algebra
Architecture: source
Version: 1.7.10-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-relation-algebra (1.7.10-3) unstable; urgency=medium
.
* Fix target distribution.
Checksums-Sha1:
12171dde8c1ffbd93098ff08c542cd84f8fdebf0 2251 coq-relation-algebra_1.7.10-3.dsc
04569cc1dc8c7d072e1ca59216e6d706a267f73c 196686 coq-relation-algebra_1.7.10.orig.tar.gz
e1bf1a21b7b76294a3f3c658d8c91f92f325861a 2140 coq-relation-algebra_1.7.10-3.debian.tar.xz
2d36965b09868da8a09cbeb7f2eefbe946676689 8789 coq-relation-algebra_1.7.10-3_source.buildinfo
Checksums-Sha256:
8ed48cb62c906699b095b5066e46c8637c2ba1a4bb7707963a6ef2c89c77bcc8 2251 coq-relation-algebra_1.7.10-3.dsc
e8e17d4cc5655cd7c1fab0b994b7afe73cdd043091d5d1aa30a43eadf9d2185e 196686 coq-relation-algebra_1.7.10.orig.tar.gz
2a132faedf4a8908fbde77afe60251b9e660a08751fcfe42d027c41f5c0d1aa4 2140 coq-relation-algebra_1.7.10-3.debian.tar.xz
4ea4876bc7181cc86ef3fd0c55e7280f9067abc951db022f8fb9c38cec464def 8789 coq-relation-algebra_1.7.10-3_source.buildinfo
Files:
5149d2efe4790f10750e29fb3e3c2dbb 2251 ocaml optional coq-relation-algebra_1.7.10-3.dsc
4d7a2b9b1b74b922e08d784f62dec752 196686 ocaml optional coq-relation-algebra_1.7.10.orig.tar.gz
63c4b3d23aa6f80e7bbcae0eeea37ae2 2140 ocaml optional coq-relation-algebra_1.7.10-3.debian.tar.xz
75977e917d418ce7ec3f202c4c3c403d 8789 ocaml optional coq-relation-algebra_1.7.10-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYxW3kSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRhwEP/0Uwb82ZqBevCWH2UhIHiTb1HlJhChCu s6NBfSjN2weQgNi1yCypHShhrrTDNtiHeZI2WV6KQAS6AaUH7KdlBARRl/QAdVit 3b5HcuePDOPH12glZg8rFUhJ36uE8EnLH4FHszyByfQSGwz7TdcLYPrSfbtDsNZw A5yA9RhdQpimE/lHfqArYysxCdQgyPEe0aFJ/F19DbgYUBQJlMNCbA8Z6kNBtX6H 2mOT5kI2RoJFaDOg56/H7FT53swP8m6OkUDHOuSEeyl/0/aV5GXbVUhuRM1ESVI7 iGGtaPkBZrphzjM3aFzZIyAkG7WfBlYfCdXWuhwut5vUIWNXiXCFr9SbVAcbSYe0 lLD6B0nQmMptxBQUZPq1zK6x87chgOojKFTi3m+7dJy54pBhawnH+35vZNI5/EuH udTIq++3f0qzhmzfXbiRXAvXOewhD7fqPiaLvny8ES6UVgunatm8ag/nQY6AwZr7 TwhYfNo0uqFr/Bck47R2HZZi6I/6RiS86yNso/yKZ8+rgnDzd2xOOVrC6dRiCEP0 NffDGW+BPEWv0CagLw23/4AYSWq4biKaU0n+RHOSz2L3bAZFZR8etMZu2jV/2wM+ D1lf55i+xB//CTEOoguGMTa4rnKAYpHCS7qtYaHDKZHPUb+4NSmy8IOQ+/IL1LPv
w2xv+TSFSdYz
=3pu9
-----END PGP SIGNATURE-----


--==============13795901083915492=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZjFgcAAKCRCb9qggYcy5 ISR5AQC6uyFW1yZwq1MVBIGwq1IFbZU776DfyKY7l6pAdZ2oEwD+Mpm8kdUw8jC8 Q6m6a2Lo6jC9j19tB33hDGW1vMwQEg0=fVGm
-----END PGP SIGNATURE-----

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