-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jul 2026 17:56:53 +0200 Source: coq-extructures Binary: libcoq-extructures Architecture: source amd64 Version: 0.5.0-5 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-extructures - data structures with extensional reasoning for Coq Changes: coq-extructures (0.5.0-5) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: 123728785681342b7868beaaabc42e0bbfda5eca 2185 coq-extructures_0.5.0-5.dsc 3efc8f835c242c79c98d5eb979313d8a633c3060 42630 coq-extructures_0.5.0.orig.tar.gz 54dda674431dffe357b666702631842f65063f16 3016 coq-extructures_0.5.0-5.debian.tar.xz bea6780a181d73c14e635aff8185d93cb3e7d92c 7626 coq-extructures_0.5.0-5_amd64.buildinfo 37e0394a65984b98fc1f37f935af9c0b519fb455 718620 libcoq-extructures_0.5.0-5_amd64.deb Checksums-Sha256: f362a51ac154cef0fc1a8d41f4072a963fe90e334e2f90fcf045ffb923030d5e 2185 coq-extructures_0.5.0-5.dsc 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz 4cd3c9ba72720f45f804582ecd6be4744cf2819808555a1f8959f70292afe2ed 3016 coq-extructures_0.5.0-5.debian.tar.xz 4c3cb72f94d58e3b1a470a88d7b9fb3ff2c2fe0fa0e5ccf73d417ef631cab9e8 7626 coq-extructures_0.5.0-5_amd64.buildinfo 323497c3efa33f6e5018f3183d825951baca385376dd9a1489f3a3788d13a2ab 718620 libcoq-extructures_0.5.0-5_amd64.deb Files: 050b40a94c303e5c722ab840e69d6f88 2185 ocaml optional coq-extructures_0.5.0-5.dsc 02535e6858b35f4cbc9a79168fa69bdc 42630 ocaml optional coq-extructures_0.5.0.orig.tar.gz b791cd65d0de048a72a7c380817a3f22 3016 ocaml optional coq-extructures_0.5.0-5.debian.tar.xz f49ac4a062cc382310b3bd266c8c15ed 7626 ocaml optional coq-extructures_0.5.0-5_amd64.buildinfo d44bac4d0be6bed0c531f78222a7a445 718620 ocaml optional libcoq-extructures_0.5.0-5_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3RsZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbPND/9DicLScPcDoRRC0crJfmPA 4e2Zc1cHqHItvofD8QC8XYBpKzlqHJYEJ/9nQXHKR5a6LcnXtQM31e7LpHc+vxo5 VSlRvMX0ctuX7en/XBbnCJDB3aCBILUoyKPiOMijQPhyW1O9RgvY2IqCuvDNQBvi luvWE+98+HPtR7kRhxNYCPtCoMJ9URH4sXotTrhCoxJmp/XuJdwXhvRnwZ6wPTUk qMXiUnVFtEz6V75MC/4dO2/ZCDJxeMU090oayWgl9cGU+aXgDApqw0/TqqL8loot DLO3fdID8eztGfUa85mAOfmm00PbfTJ8j0zWdX6P+93kSQpRNF3hSdB2ut8Q5nMY J0mm62ygjUH4ejyEcf1tVyOiE/mQy1MGs6Y1tguIbhqwuPX+Vw7Gek0ADfaIKCvh Wn84BQ2SgwZ1r3No+Ywp5q4zRaIwgmkulnu7q12zFD0ZSp11YCTVvVh2QK8t6BAC we6MCuZrFrLeGE4NloCnFwunuEWepONeKZoBMBg7lbNBOMNn3/s5yAPzyCmF0aSc LaPlecbuPV/j/Bklj54GRtxQjHV0nLPjOlG3bOpvp+NEXdSLpBvPNauE1T6wZY/T 7Jwe1X2lybRbswMbgy7DyR+oI5d+XIhhZvnryefiVidQQ6eP4EHYeExJFre/VBBE eeJr8uVSgQmIXVQ9inp31Q== =hJts -----END PGP SIGNATURE-----
