-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 12 Jun 2023 19:28:36 +0200 Source: coq-dpdgraph Architecture: source Version: 1.0+8.17-1 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.17-1) unstable; urgency=medium . * New upstream release. * Refresh patches. * Bump standards-version to 4.6.2. * Add lintian overrides for false positives. Checksums-Sha1: 65226f829828b0a295aa536bf19b49c83ec478a1 2218 coq-dpdgraph_1.0+8.17-1.dsc 98994c12f172c47f24cbaabdc65ee10d0473b173 66065 coq-dpdgraph_1.0+8.17.orig.tar.gz 4b93eec8ab5a9e1197403c747b57f99ff6a94f65 2896 coq-dpdgraph_1.0+8.17-1.debian.tar.xz 2827abf6f53585a30476c1a544e7a26979b6f2bf 7396 coq-dpdgraph_1.0+8.17-1_source.buildinfo Checksums-Sha256: 1cdd957186679582304f6807ecc1e3af1387e927753c4db2572bb8176201c136 2218 coq-dpdgraph_1.0+8.17-1.dsc 2e7c6a44f85af45a84dfb114ed5006af7879c36959685754fdffb29e68365055 66065 coq-dpdgraph_1.0+8.17.orig.tar.gz df468727b7991cde0774fb59fa1ecebde96cae4ae0ff80cac1c8376e70b41c02 2896 coq-dpdgraph_1.0+8.17-1.debian.tar.xz 8623324e23854b5a4bb0c73736ffdeb129eb3ffb59a78ad2349329316188018c 7396 coq-dpdgraph_1.0+8.17-1_source.buildinfo Files: bff310f1855db24e1297ea4fee891d9b 2218 ocaml optional coq-dpdgraph_1.0+8.17-1.dsc 29c4e69d6666c024d4375403767aca6d 66065 ocaml optional coq-dpdgraph_1.0+8.17.orig.tar.gz 1110555790a6fb8c1e230299dda6ad22 2896 ocaml optional coq-dpdgraph_1.0+8.17-1.debian.tar.xz 94d20b77cce63b93ff41860e51fea906 7396 ocaml optional coq-dpdgraph_1.0+8.17-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVdESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR4QIQAIJe2qBDV+lDAbn3Ts0K9SJjzboK6Zve TCPbEj++OhqEaE1lRP2cBtZB8ar9B8fh8xRYzxTvepvPQi2Ovgdp5c0FnjZhx2rl I2yphG/DDqeBMNRSZMJ+1e9YuQj9dZ9GhXg1Dubciwaf3yJ/j1GYreNNm3PRSUjM zng3S+zGixtil5Gg3tLep0UhVsYerpL+sztCXU6UicfsU+/d5tUJk9RvvJ2lRDP3 Ankew6eqvW+oj2hBHGh3W5sW40D1wWArLlrhgxFFirl/QCviwRwwNelGkqjZ03hJ tIdcHGj1u7gFNl4AgG5BJVi7lXLEK9C8p2u4Rvi3uGRmTCaUtbVkrAoMRq/Zpwha mpZTtj7TeN+QydSW/QF3zgWrP38/GbSCOAWwqwIiExAgGFH5Sj+nTmBqvcmbICy4 4de/zCg++eegv0+bsILWh1xOVFW1pCkvdWdI3qn1LDzTVsUSXjNiwx/egWYIPXv2 DBiGoiXYS8Zkb7PQaZ5RDaspaMlPXFhGRJFYoJYtJThWyRAAvfa6ptP5XDhUIg6r bD34p96Zjp8Vp0Jr4pltjjlJ9ehjF4ov6QL2tmphyyTZxdpzVTX6iPjpNyNbXF3U ovUJeMcYqFt2HAPVdmvyL95Lk+Qd5v8HkkQYUtXdaEzpJal4GE2UaXVs1OExHn2H zCVsO9rXCZ3b =avCL -----END PGP SIGNATURE-----
