Back to coq-dpdgraph PTS page

Accepted coq-dpdgraph 1.0+8.15-2 (source) into unstable



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

Format: 1.8
Date: Sat, 16 Jul 2022 12:15:52 +0200
Source: coq-dpdgraph
Architecture: source
Version: 1.0+8.15-2
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.15-2) unstable; urgency=medium
 .
   * Simplify autopkgtest.
Checksums-Sha1:
 0490416bb9403baa2515fd0258144d0bdf1afbdf 2359 coq-dpdgraph_1.0+8.15-2.dsc
 04e0dfa59fbbbad9147606691aeaacebc8f76cca 2840 coq-dpdgraph_1.0+8.15-2.debian.tar.xz
 15a64c75e22989a2504d90d29fab3db31341bbcb 6877 coq-dpdgraph_1.0+8.15-2_source.buildinfo
Checksums-Sha256:
 44bc86c14fe70b171b40e1dde269224bdddf69c52d1d0bbe49f018c7b10c59b8 2359 coq-dpdgraph_1.0+8.15-2.dsc
 a7e3a2a35b90c6f86fb239fdc41c4f41f6d173c2efa6529211768bd606ffadbe 2840 coq-dpdgraph_1.0+8.15-2.debian.tar.xz
 6ab6e4bc5c238c486586c8354bca80e1ab594302425075dfe5fbb46ef50c82d4 6877 coq-dpdgraph_1.0+8.15-2_source.buildinfo
Files:
 905f5ed5ab6a6ef654395bf5c9aae152 2359 ocaml optional coq-dpdgraph_1.0+8.15-2.dsc
 1f0cf5ff3e1ae78739ce5afa50056b15 2840 ocaml optional coq-dpdgraph_1.0+8.15-2.debian.tar.xz
 18ed5a7e825aeeba9c1efb91ce96d8bc 6877 ocaml optional coq-dpdgraph_1.0+8.15-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSkBkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4WMP/3ZZ25YoHdenKsEGHjqcqp6GaBbH4XP7
XpntN4hkCNwICUxN4gZ277C4sOVhhwrsEIb+ldOnu0bFD31aHm4mgh+9cqDDyr7h
bqamWDmZ+re53vj3r03qsIj/6Bzh0Ki4f2JTPr/m/HV1/pOyJPq0rfhMxYC5v9EK
1kvAwCM2T/d/M2nQWN2DkX3IpQdJtgs4AGKsCUtEP3ohlbs2Ra4lWpisDqcRGvc6
DwKkmpos0LblcYDcm890RD9q3Ui1ot7I+v30oV95ura3M0lwbMzsSWGJZuozcvbU
Nch9mZexQYdycpwjRaYoQnfrH9D+CQu+bAMvLkinllQ+Zj8+q/YlIi2olRgFCLr7
B/PLAf3M+Zf3lIme3CFsXydrtE4YTBA13DHt05+7nyI0onITRSqIh+zvkLO2fMtK
x4LEdavX/G90eWx7X8r6HZhUqErayNH2+Vw9sibsvbpqwHjRPcLGkmuTtfYkp15v
yje5gkUaH4jHHwVX8C7RIArPPR+wAHftbf0lk9utKSbH3PTmRrd2k0K5E8sCuFZ/
6OhKEn7z1rNuFSefmFCaEZJKr+W/A8Xzoe8RYFPr7N5Sy/+E2SMyDw43fXgiuXuU
+MVehcctkozfm52Rag3+I8uF/yr9iQ58gcfVsEAaZCCgmnCm8BFqdfdOnVd+vgwh
ixz1SkhadaMd
=g0So
-----END PGP SIGNATURE-----