Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:42:13 +0100
Source: coq-dpdgraph
Architecture: source
Version: 1.0+8.20-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-dpdgraph (1.0+8.20-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
a4b277787dfc7d4782ac3593a9750e0e83a9c653 2218 coq-dpdgraph_1.0+8.20-1.dsc
b98ff889163f9d137e12b081c116174ad1359244 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
5d65a50f5e8c28a6f108dc378125746f3ce58181 3152 coq-dpdgraph_1.0+8.20-1.debian.tar.xz
36fc5ec19c0bc991d7665609aeacf5dad4f9662e 7189 coq-dpdgraph_1.0+8.20-1_source.buildinfo
Checksums-Sha256:
924db33981e0603dd368abce7dcc258f222f7a064ed7161b425b82f04e842a1d 2218 coq-dpdgraph_1.0+8.20-1.dsc
d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
bf2fc6d42acf2d406e1c3c1659b3e672b64a6e86ae95e750dc74667562cb9fbe 3152 coq-dpdgraph_1.0+8.20-1.debian.tar.xz
773dd4afbf7459691f4a11df1f89a02580d3187ace72007d8a1534dfb60c0473 7189 coq-dpdgraph_1.0+8.20-1_source.buildinfo
Files:
79506074c8c0a23da54b6a2a9cccb382 2218 ocaml optional coq-dpdgraph_1.0+8.20-1.dsc
fa2ddb45b3eaf9ead35c44ebcddd1152 66256 ocaml optional coq-dpdgraph_1.0+8.20.orig.tar.gz
5f1ff17e80f81f3b9b9642b7ee755691 3152 ocaml optional coq-dpdgraph_1.0+8.20-1.debian.tar.xz
18790ef5e39f91c2c7fecdb46b56a75d 7189 ocaml optional coq-dpdgraph_1.0+8.20-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9rxoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRaCkP/izqLf672L/ZRSEYmEOdEzq0BgrLhj9w 47o7aJ/cMVDdUCZS8JNmrJr1vIhTnPuwSEWrwci4VOSYSdcPqI7mEioTrkwBs5B5 hOex1lcC9fNgxmUdWeObnxWJdTa9Xlkm6Y80HU6wVvbKCGn7bN1c6cOULzTzmNdX i/FXFxA4CBiK4KsIdoO9LUn09aF36OfvFn0B5f78qZHIzEoL+Ps2VeTe73a4qrlz M8r2FgObqK0aByj9FP0xSj1fwMZkv0nBpfkCbg3qhQkyukU8iW8K1/hAB5JD5YHA BMkxgCCB6fOftjXAoD45GcEafkOKiSwWeRWDREn6ONyZDUk8Qs7Vfk6Gw1aERcCP bTazQXEXNnpClwmuwObQv0Oa331Ev5wMGR1XDf0Eclzb2Pjqlhhc62qtCX6uE3/1 CaDHRYjeOS/VvT1OrKSW5NJulr/OIEjg0UL5nIZ+1hq8wJfOFzLWShPOpifFdK/5 q1nR4ziwkKE57inYXSJEk98eSDsPIMxdNhgrUCezUHQju8ER/zC9YNe5rpoiylkG DAMSLXVTffv0wUPR31ofuXXbDOoUqRBKTRjIOcLAIDq/S+EzK0qrxMj0bvIlAuY0 6i5oFc9JarM1QLerwsh5PacqKW+JC1RiMVyg9jV451kj+OESd5vLvzUsqUIJIYkH
xC6algs2plxi
=5uq1
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz20eAAKCRCb9qggYcy5 ISGxAP9XZem7OS0B0f5iFf5dFoCN+eUWqId66ZqRWQ6uTdnXSwD+P+WqgtdM67eK PaBG9/L3ZUuP+hT7iqjjhtd1eIUmdgY=FTDi
-----END PGP SIGNATURE-----

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