-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 12 Aug 2026 08:42:07 +0200 Source: coq-deriving Architecture: source Version: 0.2.3-3 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Changes: coq-deriving (0.2.3-3) unstable; urgency=medium . * Source-only upload. Checksums-Sha1: aeb0def6a8815631759745b7a2cebb469d850ef8 2132 coq-deriving_0.2.3-3.dsc 4fe86671564a06637c2c772896ef8530387ca734 45334 coq-deriving_0.2.3.orig.tar.gz 10f0f685749bed78dfddfea7e70c9c7ca066eb22 2408 coq-deriving_0.2.3-3.debian.tar.xz c5926f9f86da79208187123eceb1813d4ea915f2 7500 coq-deriving_0.2.3-3_amd64.buildinfo Checksums-Sha256: 292387d475d6c314eb95f18e7bad13fc3b8ebb5a8f3edfe8b1ceec9e5f7eb447 2132 coq-deriving_0.2.3-3.dsc 2d6329507e9483e1acc7645dc2ef5cbfb0b8428eafe7589bc4775b3b2ad16184 45334 coq-deriving_0.2.3.orig.tar.gz c844c079179932a38bcef132312eea55981c5bcbb0453949742e78df92bf0f39 2408 coq-deriving_0.2.3-3.debian.tar.xz 4217b0b85ceee249cc2aed872a4bb90dade66faa7d58719247edc684af4f02e1 7500 coq-deriving_0.2.3-3_amd64.buildinfo Files: 77b3bce5a2dad56e79dacf9936e034c7 2132 ocaml optional coq-deriving_0.2.3-3.dsc 6dd97db71f1d8f37ab504409e8cc8201 45334 ocaml optional coq-deriving_0.2.3.orig.tar.gz e4e3d0dd7968baa2ecffea386ee61b22 2408 ocaml optional coq-deriving_0.2.3-3.debian.tar.xz b4dc5849410e2077a0d3bfdd711d4cca 7500 ocaml optional coq-deriving_0.2.3-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8FvsZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUA8D/99eah/j+CmTXt2gWYne+OB 6o/pqNfyIIwl9K/yGqff0oUjbg8i10zGva4Y4z0+MAofJ1I4tBIHD0hYcPuUgKrd FZvs5uM99L2t7nB0+EKACGBqDgDS/dXh7THaIz1S2fR6MisXt7YoDZ5o8JU8CgGo sYbwjBAYR2VvPJhhq81/QOS5uj0k3S9lSBhF2SNaoXhisVCfstTPXHeQPt91UxjA xmZ0mmdsjZb+wW8tQSb5Z8X6ofd8OmAjyKmVP0WmP5RLRCQhtp3NI/OK48Prvqme 0xslp9BgEiqpCLyvLxPKv3iQOGeS9HSeXy9gLwFx76OttlWUXpiiinqLZP/zmpGc WlsZhrM8YGflv7g9hWVKNfaObv5ASXvjLP+HzvvrDqShMzozaRv8dCRHRa5CteSY FyhGCqfyROWVvydEATd4+Elmiy789u5o0gVrLDLg21DMk6A9BhChUqG7VE5Sr3xb nE7tWKzfDHvC+SgpKTjLNyksWTKW4c6+E7HNu8A9vsYZkOkcx1Osr5GexV+Sj1oh uJRI0uXb65IunKAbzSai+uKoFL/yuaijGFh/7hS9ra2Hm+UAvGmFFpBqGW2t9iCV zSOrYr1iAojvK8UQKGr/Fep+6RXiUbOtE96PGEzUDOGBfI9Wnfbj0eIUUBRXKVYm 8Pm/p+yoaXDuT/pXjs/ixw== =+OJa -----END PGP SIGNATURE-----
pgpctwEdmcErl.pgp
Description: PGP signature
