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-----
Attachment:
pgpJUdVo79L_R.pgp
Description: PGP signature