-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 21 Dec 2023 15:22:53 +0100 Source: coq-dpdgraph Architecture: source Version: 1.0+8.18-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1044276 Changes: coq-dpdgraph (1.0+8.18-1) unstable; urgency=medium . * Fix d/rules clean target (closes: #1044276). * New upstream release. Checksums-Sha1: 4c93a8aa70ab379475c13dec658df563c2b77f4e 2218 coq-dpdgraph_1.0+8.18-1.dsc 75cb69defaf780e34098b3b88775b3a24aa839ca 66066 coq-dpdgraph_1.0+8.18.orig.tar.gz e772f4038252598cf00ecba54f205ebb90bc109a 3048 coq-dpdgraph_1.0+8.18-1.debian.tar.xz e3e320c42aa1f571cb47ab2f829bec6a8e3f4b19 7897 coq-dpdgraph_1.0+8.18-1_source.buildinfo Checksums-Sha256: 06309453d5e80e8f77d97562f6419b5dff53c8465a39f3b2abe2f90c1071008f 2218 coq-dpdgraph_1.0+8.18-1.dsc c5735aa0d04f182e815c6beb8fbc4c46ffbb9ca15c7b0d2cc40ef0827ba61f07 66066 coq-dpdgraph_1.0+8.18.orig.tar.gz 219dee99b95227aa5a99ccacf550c24904f77ff418d02e43b7a3798b58eaeefc 3048 coq-dpdgraph_1.0+8.18-1.debian.tar.xz 272523e883c79e8798f434b590a74a1bd2766bc8f7b003abc71d20e0e96d85ca 7897 coq-dpdgraph_1.0+8.18-1_source.buildinfo Files: b6d4400a089dfd6e553c7edfd5ca0589 2218 ocaml optional coq-dpdgraph_1.0+8.18-1.dsc c3caa1eb335dfd62a4431769473e35cb 66066 ocaml optional coq-dpdgraph_1.0+8.18.orig.tar.gz 42743c021c00e9c35497347f36b5b20e 3048 ocaml optional coq-dpdgraph_1.0+8.18-1.debian.tar.xz cb8c2ba8d305ae00fcca3d6b755add2c 7897 ocaml optional coq-dpdgraph_1.0+8.18-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESlgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRiZYQAI9IRHyQTIFFS2oEejqtlgBuH7nmsQnS Y4xrPft7cM5IM+myghrLpA45HziNY42pSSdJmNwNGFrJqSYIZ6iVqfAVyTPsc70Z Reneb+wsi2FJMUXOJHgy/pW+BCPXQmmHLyzUZYlBy03e7jpoKvtebBlxOoY/aLrp CNWqMoxfAc+9Dd13uG6ZeE5teYifnTlcRLlFlbLsgtkou7F+L81u2gXfHhvSLGb6 1BZFxRJCRYxLmmGzdgKEjCwt31C4ktcT8ZHUBfGnL8YJkxo+P1oGpzzHS4vqPu14 MxKaTknaLeSusa5aNFbPyp0q6CmOt/sMfueDpkxSd962PIn8FFC1mJQZqjoxODb3 RbYBvEXZqxAtrGwG5S2f+aggq+WN3F+6rmf6EleDfeUk8gzfHEvNnxIgY7N6pReu v7ZpZR3o0X1gdTkuOyRvKxaZd3oo/oShEjru/pllcH1ftycRkVSg7jwJgQHMuUzp ryaKNw5OB+2lDRRHXDtVXTMfVv4euiIacH0OdsHbB0br18xoDITBYiTDt5uanJ4X 3TTO7SY6c8xTStCtvtrq1eka9ecgy/yLldYpCLdFVFs8TRxJp8dYD8vLiGBU/u/p Kg4IcP6MT5pZO2287wNZZtdsSGvrpnu1bEH+VouZp/pI1r//+j2clnRV4LXQpCgb dw630d8GdFXl =MyQ/ -----END PGP SIGNATURE-----
