-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:24:40 +0100 Source: coq-reduction-effects Binary: libcoq-reduction-effects Architecture: source amd64 Version: 0.1.6-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-reduction-effects - reduction effects for Coq Changes: coq-reduction-effects (0.1.6-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. * Adapt lintian overrides. * Drop useless dbgsym package. Checksums-Sha1: 9bf3bebd82cda8758e7e522e156cec867e8ad844 2226 coq-reduction-effects_0.1.6-1.dsc 9b57b2202f958f543b51978d7fb0feb7bb6fdb42 10436 coq-reduction-effects_0.1.6.orig.tar.gz 48aeb70658e85ddd73114da84822e541cfe1d737 1920 coq-reduction-effects_0.1.6-1.debian.tar.xz d5dd447eb995161c793f15f65c80db092e216bf9 6916 coq-reduction-effects_0.1.6-1_amd64.buildinfo 3da3ea941b504d8687ecb53574e60bae01922a41 15712 libcoq-reduction-effects_0.1.6-1_amd64.deb Checksums-Sha256: 731b90a263714576ff88116a80931fbd0e62cad9667f7e66ab8f3ee940efb04e 2226 coq-reduction-effects_0.1.6-1.dsc 20d386e0606462a92458784fdaa134cdccfd9d899f75f784a56e1b96c9ea3ef6 10436 coq-reduction-effects_0.1.6.orig.tar.gz d2b6e8f6b2bc0e50a7ac0d692f718b4fb077fb482a87171474c31073ffb6897d 1920 coq-reduction-effects_0.1.6-1.debian.tar.xz f57c688f72c068d8780a6c1d542890398fd2e14794fe18054d44c9ff4ecb9c93 6916 coq-reduction-effects_0.1.6-1_amd64.buildinfo 97d0a152a93ada16975381db1abcd8144afd231768da9905efc35dc8f9ecfabf 15712 libcoq-reduction-effects_0.1.6-1_amd64.deb Files: 59b20af5aae480c11f38e3ce89b7fc7c 2226 ocaml optional coq-reduction-effects_0.1.6-1.dsc cf98e2d1df03ad74339fd8145313cdab 10436 ocaml optional coq-reduction-effects_0.1.6.orig.tar.gz 745cec4f96a2d772c465ba78a0dcbd07 1920 ocaml optional coq-reduction-effects_0.1.6-1.debian.tar.xz ce00b37ef68b627c9fc845c37076fdf8 6916 ocaml optional coq-reduction-effects_0.1.6-1_amd64.buildinfo ddf4f896300a198c2f8096fddc2b8a45 15712 ocaml optional libcoq-reduction-effects_0.1.6-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB0AYZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdxWD/wMYcbY7evRYiv2WIr8zelr Kf5bRR1A6UDUV6/Q8vAKQ7VTLvtcbVweAD3+9Nln0p/Abv41qxBWtKpEQNXbalLN +8a38pBFiXFq3NfJpmvLE4Gi4/EvwQtU1UYPVSQRnEnTbe5b148GHWZtzGzxGftX z79wVqYglx4ywskXi0pgee7t+C8sREUGZgdtvIzyE5qbYJmzcmaZYpko/3C1NSwB lnWPwSG2Vwqp024pYbpg7Kin4u013WVq0h6SbX8ffQ3qJrsMZZyJME33aYaX3NcH adohDF9qMzWMxT1FNlDWJ9mXmd7oi7ZASsRPDS5wfcnJ2pPpxjZDkxhR2vDrygtz gRNIOvNTXDJIO+e7VxV13AtRXQ3WlW9P7pP5vDjlYWvWvzp/AcEaYJY3UD93nw1x 0Vdwvh2RUkbTPBbytLUxfI7pw16mjhRoXD78EIbVq8R33q+CmytX5xESKY4kyoTg Jr74xvwwTMfW4xPe/ZnIt23tai5iC45LPsG7ySR4ZGRnDTXWVh1C1O7rRF9PtGu6 yVEEAHHkUk5mEi3bc+hLRfKjsz57NFxjqJEmMZTA1NXSi4rRxLB4r21rwBFTiM0K 0wNmI5RS+bstUsZRv7oGRLcRUUHa9IwZo5ywQHRkAA9t0TAzcyaJA02BOXRi5mII 12QJxsNYLMVJUf+yApSDxQ== =MRL+ -----END PGP SIGNATURE-----
