Thank you for your contribution to Debian.
Accepted:
-----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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)