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