-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 13 Jun 2023 22:14:32 +0200 Source: coq-corn Architecture: source Version: 8.16.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Julien Puydt <jpu...@debian.org> Changes: coq-corn (8.16.0-3) unstable; urgency=medium . * Bump standards-version to 4.6.2. Checksums-Sha1: f225274db0681f6970aa0f96a9d7ef3a9c1b567b 2092 coq-corn_8.16.0-3.dsc 86fb451ba4233d74b7715e86c576415a5c6e01d3 3884 coq-corn_8.16.0-3.debian.tar.xz f332b85710a5d935ceeebeaa493e198f9382a67e 7494 coq-corn_8.16.0-3_source.buildinfo Checksums-Sha256: 1914c0156606df559dc2cdae4dd51540973fb7e27bf53f4398e16c8cff0273b4 2092 coq-corn_8.16.0-3.dsc 94de36fa94e84720d5438d673bb8df5acb6e2d6346ad2846323a14e5a4522f46 3884 coq-corn_8.16.0-3.debian.tar.xz 6e968065395e57b696121307246e4c36182dc0a11748b06eba911178221546d5 7494 coq-corn_8.16.0-3_source.buildinfo Files: 6591b684e230881033263690a0c15f63 2092 ocaml optional coq-corn_8.16.0-3.dsc faff89d6eaccbc202e7960bb6ee95263 3884 ocaml optional coq-corn_8.16.0-3.debian.tar.xz 07116d69be0269b8f0b9e0c90b3c2907 7494 ocaml optional coq-corn_8.16.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSIzjESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRsOwP/3cGWlusnLTui80gVwgLQVm4W58IJl6u LSYV05IuWKh1RGHby+x1NK8T3IK1uSbLZCrJN3fWn575fD8l1GjX+T0MNmFwhKux uW1Nb5ntH/Dd22Au767gYlVxYXO8Z1Uk3kZgaZv/bCGPuNCy4K6k4hCsGYLg+iLN sXHeVZO+WVGPWZCGLMcMkCk4dkr6ED0oFRwn7dn8DMj78yId6/nI1lsCo3IOcDJC 3IOEvL3nwtjKWXvklkz9IdvhIexh1onk0BX0FiLwWMQqLMdgeAI9gRDYxW5/f2JT E4tqT8GIHTXEeR0TNtNSjP6Vh258seGNzYGj6n/NgPbJFt01EbE4qsNSqX+nOBSS SQCSJOYWuU33jAla0jKxQTu7BdARIiKHaMpA0R3HnKGogPtWXImnHuTcWaXfj1G+ MYg1XL3hxv+AocGF5kQwlIHjjO5pN9t0F4MBnVYKuUaaIM9Q7XEhoAjQAzrUh/nQ iqB3aqnkqPgKGz3muSDkZOtv91KavAz0rOA6It255qB3E4VSOixTxUbOviA8RXH/ vJ6zysxTRkl36899fwWx37LK62Swwa4RyYHI7Ezl44+0+JEHNj7S6YXe+gDQSAXq 4MiGbijC3tDWpxbld7rB9b6Vlo5xsNrvTKycqGhJ6dv3RYgA1v1ECwcC5O2RTZnd 56mSz4JATViE =6hqD -----END PGP SIGNATURE-----