-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 10:16:34 +0100 Source: coq-simple-io Binary: libcoq-simple-io Architecture: source amd64 Version: 1.11.0-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-simple-io - Coq plugin for purely functional IO Changes: coq-simple-io (1.11.0-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. * Drop useless dbgsym package. * Update lintian overrides. Checksums-Sha1: 0dc7b7fff4f25afbdf03f679a78e3722bb26b50a 2182 coq-simple-io_1.11.0-2.dsc cc2baa65053ff55dcb1ba7a8cef0f5b3e256a4c7 2776 coq-simple-io_1.11.0-2.debian.tar.xz 5112289a9a0ee62af57b61d34919f005d84fc31e 6940 coq-simple-io_1.11.0-2_amd64.buildinfo dcefbe5bece6b73e9fdf1c82753b8ff19f46c23c 278184 libcoq-simple-io_1.11.0-2_amd64.deb Checksums-Sha256: a2f405c4ceaa3b4ae5341ee47c2425a4ed5834bac91f4fcea09c2f559afede63 2182 coq-simple-io_1.11.0-2.dsc 2bca1033bb2a426c38e52a029c57cf055b32e1a46622d01406eb062fe6d6bbbf 2776 coq-simple-io_1.11.0-2.debian.tar.xz 53b6246ae12d277416ee03eeebccd59841734ec4ec9b41f4f966204290526213 6940 coq-simple-io_1.11.0-2_amd64.buildinfo 289c6b0561a902b5a8b7b74e56ecaf9e933443b01b10c7aaa9c8e5b0c3a25248 278184 libcoq-simple-io_1.11.0-2_amd64.deb Files: 899d12cd2f8569277bad8da58dfbdfbb 2182 ocaml optional coq-simple-io_1.11.0-2.dsc 6b104e2deb0251599de209edd0d04e92 2776 ocaml optional coq-simple-io_1.11.0-2.debian.tar.xz fd736d1a49e62b2c8eeedca5bb6d972c 6940 ocaml optional coq-simple-io_1.11.0-2_amd64.buildinfo 73bc306596f43e4ebbb24579a34af1fc 278184 ocaml optional libcoq-simple-io_1.11.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB3B8ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXq8D/wPEbhIaGlY7zxwYDvVjkv4 3grMj3cAGJ/lvYP092WB/ujAjeMDdmL16dwP4O9OMAJpHc6Z9wrqmbHsF/kJ5lb8 QFTxW14BZtaFx8x7MJeafCE98Nhih9+dFVBF1CUEgll3V8uj5w5mgRM+SEjuXTOU BBga2d5TEmyGdjjNEkjMHuc7fZOYKw6WwRQiD9OgZCwzPR0HQoY3UdL5KylXT6rf 90wCrNlYGojdmnDwJYoclo5YT7ksesMFKDnaTMhhJClD1XWPBEDzd8CqxAUlTi9+ f1+W0dsDSJnq6kGkS5eSGJpGpi2XUch9CTpYvq91jJV7z/zBUI0mCWQSTi/f5Rxn 6ayFsJ9nTWozhkIltai4JY5+y/AuKIV0WcfVBICVmNGJGaKXSfEsERBNV4hw4Rui ovDUxt+qXREeBrGsglqZQXO3xNOxAy8o1X64E6LOV1NeTU1MtkJP1p5ty/O55IBY uH4dKkJI1Kptxggm7ADlZtTooPTeZLqelBkFrZP/BipQ9X1lqcURqUPeCfg77CD5 XctjcWlTRy1MX6iIkXxF6bYVFOIX2ShlmrlGQuKrLQfi7tiPiNaCYPG07sGwFcKp KmUiIQt9NUEEfFv1Bpk4VddcO3WP0G8S6rUKeQVD1EGPcwQDyGgNL0Elihn4kwPx /Ra8rM0c6aQ9kTJQeDsiQw== =MKmZ -----END PGP SIGNATURE-----
