-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
