Back to coq-dpdgraph PTS page

Accepted coq-dpdgraph 1.0+8.18-1 (source) into unstable



-----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-----