-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:34:57 +0100 Source: coq-reduction-effects Binary: libcoq-reduction-effects Architecture: source amd64 Version: 0.1.6-2 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-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 85b0aebe41f3a6841653c56656cd09005d5727ec 2223 coq-reduction-effects_0.1.6-2.dsc db3aa3d53c7459def174bf3455441831cb68f1aa 1956 coq-reduction-effects_0.1.6-2.debian.tar.xz 997f57bc9f6120f46b44e5dadb4c87fdf1d9fb8d 6913 coq-reduction-effects_0.1.6-2_amd64.buildinfo 1810dab82fbe5c94487baa149f969bf35995d32a 15748 libcoq-reduction-effects_0.1.6-2_amd64.deb Checksums-Sha256: 2d33f30cc55867ffc97571fe61f392769d3a576b76a0cf6902b7f76949deca83 2223 coq-reduction-effects_0.1.6-2.dsc 44d387d987349fa79ded1c74033270246a0fb56c1620d942b35eed45bfa1c3cc 1956 coq-reduction-effects_0.1.6-2.debian.tar.xz 887bdfdd7161a062d70032791b896c9c01ace79e689819b1fafdb55358457fe0 6913 coq-reduction-effects_0.1.6-2_amd64.buildinfo 6945b506a4520a6409622804eb29a53304276c1905d376c1b3f8f89b422aef57 15748 libcoq-reduction-effects_0.1.6-2_amd64.deb Files: 593a1f02cc068c61642ea28a01c8abcd 2223 ocaml optional coq-reduction-effects_0.1.6-2.dsc e553bcfb52ad1f43f50b621d907675cd 1956 ocaml optional coq-reduction-effects_0.1.6-2.debian.tar.xz c6fc124882aeccd1e66bd32e53c2eb95 6913 ocaml optional coq-reduction-effects_0.1.6-2_amd64.buildinfo 254e846dda4aefd113c85a623547ac19 15748 ocaml optional libcoq-reduction-effects_0.1.6-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTdFIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSKfD/4s48YONjcmS9PPtrwGCS5b gtowUUezQZn+16E4DrAYFBJVz5wDAPrT6Kt2BjqgAgo+wPcu8B4Hc/Jkkbm2TqSj CZi8pxJzCUEcZFKwKMOZmEuSiyi+UJCAOPC190IpVypeNYibq1z3WiE0geeivRxu 1/dH5cpfL9WIwPNrYguxc8+0w/3BUWjG0KrB1JqUPjS7yFU3WGVcOfLnALvg9dK8 cjbsXMr5xl03shwHrTocblQCUwjiHXo0eHkgjJgcSRKdJuYezStpsQM5CXNRPq80 fgZdBQO/rDmFJ4cj6LYpxfVRJLqWu5s2eRN9AXDXJvhL01/x/PrGc0QPdEcLx00v pCN4rNHdhKxLa86CsBQOpNxuYbnjoL5u1aKKG6nTMSS8evQU0z/eY4BjNhPrWzRL UXAk2xS0Q08AgkgcSQtV5qXUX/fNXzp+qaB1WvSmKDMRSehCFPaFIOhX3LXvuRVs auYduzMEA7/G/oezcSJKDyQVToYTqDzKZTShYl3+hu6AF71tKzPMHcVU9mqT73Al iz0lKHOs2LhMvoVoAY1t6YNY92r8QPPzfEbSeoHTPg+0k+j3i3fjRy+FUdQPWFL5 fh7ksATTiCNxnQdKg/gJelCqj72lxW217hb2O4vGd+j76Dh4Y30F4q52IL54E3FP 0KNjnUxYwlsk2ZwJtpxbhQ== =6dzf -----END PGP SIGNATURE-----
