-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jul 2026 15:00:46 +0200 Source: coq-deriving Binary: libcoq-deriving Architecture: source amd64 Version: 0.2.3-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-deriving - deriving MathComp classes from inductive types Changes: coq-deriving (0.2.3-1) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * New upstream release. Checksums-Sha1: 4fed8871edcde14f031a1cdead14b9b85b4794dc 2132 coq-deriving_0.2.3-1.dsc 4fe86671564a06637c2c772896ef8530387ca734 45334 coq-deriving_0.2.3.orig.tar.gz 872f02852b1b1e6d72a298879bcf7e76c0af12f6 2360 coq-deriving_0.2.3-1.debian.tar.xz 76af091529ddddf75416b0c5feedbd3ebf567006 7638 coq-deriving_0.2.3-1_amd64.buildinfo fbf67103f49a5be3e5fdbb888a3ee47dea31e177 491304 libcoq-deriving_0.2.3-1_amd64.deb Checksums-Sha256: 3cdd1004c692926ad0d1c3ba6614dc3c0a7f57be18fdceea20e32663ab1cbdb0 2132 coq-deriving_0.2.3-1.dsc 2d6329507e9483e1acc7645dc2ef5cbfb0b8428eafe7589bc4775b3b2ad16184 45334 coq-deriving_0.2.3.orig.tar.gz 2b6ed5db2ec75abb78f6b201af7052beab20022eb45e7cf7d1c4d596facf27cf 2360 coq-deriving_0.2.3-1.debian.tar.xz 8fabc5348a3ac6c9388a2307215966006b20eda16b6ac32142ab7501033cf6e7 7638 coq-deriving_0.2.3-1_amd64.buildinfo 3ea70f2379c9f9c0f707de19232ae9bf7fc3083dabb71c03b3d8723de086f5a3 491304 libcoq-deriving_0.2.3-1_amd64.deb Files: 3c157d3a2eeef6de0cd3407c3ebf5b1a 2132 ocaml optional coq-deriving_0.2.3-1.dsc 6dd97db71f1d8f37ab504409e8cc8201 45334 ocaml optional coq-deriving_0.2.3.orig.tar.gz 478776c4fe0a0af7708a547fee7a46fa 2360 ocaml optional coq-deriving_0.2.3-1.debian.tar.xz 0ffaabf2ca61563db841e56dd39d5de3 7638 ocaml optional coq-deriving_0.2.3-1_amd64.buildinfo e7e578307c732b53763af314b30a21af 491304 ocaml optional libcoq-deriving_0.2.3-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpee1AZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUU7hD/0c8W21GoVI7VcGXGMkdLHY hzZyPfJretLB5dG0fXITUvL93lB3bQubV4W2z2s4FQsac1FZGU0RXmfaBe8NCzZY g3BQVkaafUXW/dR30eqhyLPQhDsBM71WUxcuGfslJMMST6n++76FJmSTOVEuVC3u jQJXn0Qu9XDCMKTcSx3xMEXBysJJ7LsWI2j4Jugy3zj0OMbhQQcaltENEcVLjKWY Llei6h+hzD+UHvGh9NiDr4/04xxJhhPs0n3jUBl8M8KqYiIEZcKkWbjrs1xq6eed oNYJEE4CTtZQMsImKxG5KxUJ3kocqeOoL4g+yxXt4PhkDLhJ9lvGa5J7iZGeVE95 /FajZq9io5npH1mT/fp8f26UlBd0TK8hXVhyek7RMmrrXjHaNMqqBYZgbPYJPdJv VX/VxeFXkITP/1yUGgv22+iPk5R0aF0oW51JbLI8R6eqtwywPB+UfbTKyy087wRj euWU+saPI9g+RFo0fb3HhDXTQN3R9p6+5RXHXtMXdqZ3rDDkUJTqS5v2YJ/8sJxY nTL2H2Lv2lO5+4dzgAZcTajLOKYxSPdt/3BxflsxJUqDUs7GLc+0FiB9RH2Wf5Af ncir938qIDB3upWwbxHiN4bqsjdPXDheRafPtqtbY4ZZVUrb5Gs8vy3zXYt8i3Po vvbghXz66op0RIFIYfagrQ== =7+TL -----END PGP SIGNATURE-----
pgpT7RA9SgkYb.pgp
Description: PGP signature
