-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 30 Oct 2025 07:57:13 +0100 Source: coq-deriving Binary: libcoq-deriving Architecture: source amd64 Version: 0.2.2-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-deriving - deriving MathComp classes from inductive types Changes: coq-deriving (0.2.2-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. Checksums-Sha1: 5b7f9a508e45972e33aad674436cb4ec6d3e9d60 2125 coq-deriving_0.2.2-1.dsc aa75f47888d4da0728eabc6c1c3bda28406c48c3 31954 coq-deriving_0.2.2.orig.tar.gz 5d7fc539418a4aa42e16a0bfc38a467e5778b4c5 2304 coq-deriving_0.2.2-1.debian.tar.xz 35979d4751c6d556a725428ed5e58b2187056bdd 7411 coq-deriving_0.2.2-1_amd64.buildinfo fad16ef03745158743cce8051adf132673704ee9 522268 libcoq-deriving_0.2.2-1_amd64.deb Checksums-Sha256: 333301638713a9ed8fc64c49b3b3893bc379bbe4907de339e738286e1a73d2dd 2125 coq-deriving_0.2.2-1.dsc c9477a96631768c2c8ea647716554bba865e1c84cc52a2a7cea91295471e8f7d 31954 coq-deriving_0.2.2.orig.tar.gz f124c2e8facbfa4afb7d823acb5ce54c8a9b55246d4e0d7ab0e27bcac58342cc 2304 coq-deriving_0.2.2-1.debian.tar.xz 6faaedfa0a917e18d6f94339996ae2481649ad65e3b1cc9421af1ef6a1f3101d 7411 coq-deriving_0.2.2-1_amd64.buildinfo fa68abf0708c0dedb0962a9f7d27dcd7745e0e88182004778e1b853702a8015b 522268 libcoq-deriving_0.2.2-1_amd64.deb Files: 7265bfbbba0fb08772da42462f1a5c94 2125 ocaml optional coq-deriving_0.2.2-1.dsc 51ac066391bfdf5811dc213b125c1c66 31954 ocaml optional coq-deriving_0.2.2.orig.tar.gz e4e9990d83ecad54d566a9369f405676 2304 ocaml optional coq-deriving_0.2.2-1.debian.tar.xz b366c1174274ea55dca1a916806d7572 7411 ocaml optional coq-deriving_0.2.2-1_amd64.buildinfo 062fe717e274e3cdf83e3fb95c9f3113 522268 ocaml optional libcoq-deriving_0.2.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDDlEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTdBD/4jz6Qfdtc3ionBQVip3Hmy Y4bqbiIWRRMMwaXOdG39GoWucDfo1C1YKTk5REHdsuhZqI5bLQ5s9J/vCmR1f7O/ A3XqBvtHlFO/KS/4vILQ9uuaLrLswxOjyW1Ba8i7k4CvqhBBHBj2zsEpKYrxTMKU DR87+7m0rjsmIuRbIFORcv+4a1iR38W+5ZOHt5BVAVQVuFfWPvQkPk6nPMHDmylT UNt1FLOz7HG8z9G/6vdGYiOD3tNzwY7pusqYadj4EzEC+BY39hUn854Sa3fIikte h4QbAWMYWtP4Fh7gbcEga/iOIGuZ9zSzkIRbPVrpFfHNQ5W5L5ij9UdyAI7+wgCO I3gDgJWn89s4EXMANZVq8X/3e2lzd2L7sBmh0mZxy1nMgONQ4U0FFIYAlNl2Tu4W SSHTW8dKG+uM2MBnbLsHGRgcaWSQyOK68odEYpbb8wOeO19v8sq0OnuBfwLnj6zh uo22TxWGaL3twp7FkiJ55f8/0xkGOZwu/h2iYFNF0R9R5R/OUgFsZwcdpyn7JBKV Q95SQg7E2QMRemPTPNx2j0bA5E9dAErItvI8iNIdyDDQklkBkotV8TGar5t+4I3F Ml6aF42eAWgaoije+00s67PdE3NMFlQNeG0RLiFl3CXt00lq911gn5PoSYxly/W9 gUHgqXs19TGX4XuvlRDBgw== =R2En -----END PGP SIGNATURE-----
Attachment:
pgpIiSGCVMT9r.pgp
Description: PGP signature