-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jul 2026 15:50:24 +0200 Source: coq-extructures Binary: libcoq-extructures Architecture: source amd64 Version: 0.5.0-4 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-extructures - data structures with extensional reasoning for Coq Changes: coq-extructures (0.5.0-4) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: 20d04f27e5f844992ac36c39fef9bf1f931349fe 2185 coq-extructures_0.5.0-4.dsc b4d9f57ee0be1f699230403cfca58065ffc2d128 2996 coq-extructures_0.5.0-4.debian.tar.xz c0a6967e2ff44390ae243ed88cbf45b8c5841694 7695 coq-extructures_0.5.0-4_amd64.buildinfo bcfa5c75b927be818dc1ed39e2c522c0de39a6b4 718844 libcoq-extructures_0.5.0-4_amd64.deb Checksums-Sha256: 9a9e64df1cb346decb9b5e41788068142f4f93ad0e715e93d5d1e519c63a30dd 2185 coq-extructures_0.5.0-4.dsc 2a41c59d85a6b84399e52d02d6e22da18bc876a6fc69b8ac03dca1d2bc25d0e7 2996 coq-extructures_0.5.0-4.debian.tar.xz eb6f07f08ad84daae67608f53623682ed2fe94213a711b7431f32a96d5ca5a23 7695 coq-extructures_0.5.0-4_amd64.buildinfo 547c56d8b37c1a304572481497c2b2a73800cf031c9d9fa6b923d6f417c50e66 718844 libcoq-extructures_0.5.0-4_amd64.deb Files: f3c859021f0019a88f3cbfeeb042d279 2185 ocaml optional coq-extructures_0.5.0-4.dsc 8e158ac151f84842bd6d4e96efaa7444 2996 ocaml optional coq-extructures_0.5.0-4.debian.tar.xz 9ed3c6517e0f55e64f3801a43dea9725 7695 ocaml optional coq-extructures_0.5.0-4_amd64.buildinfo 2bc6c49c2c3b621b6eedc94e1970fec8 718844 ocaml optional libcoq-extructures_0.5.0-4_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpeqq8ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeQtD/93FNvcWZ1/sO771B4Qrkmn Zz34WX6wCJkwbVDsIcZuXFV+Pq+a9R4k/t+Nu3kAiU1dtuOf+nrSbRlgh2HkthpK WxS8DXYdNc2unO03oAAv/HkYnI24bnpS1SGviFjDwqXjBSmH42ctmRvLS/M4EvGb Id0ZSW8ptJsAjqkWJ48mdWCE9Th0rarD4pAqfA9RdXK57LLzuQrhMqOMVhL8uJ+d AlphR2Qs/UQKQU8zCg6qgepB0ygPTwBCGiUR4JS6Mtto3bGgVwTR7et3yamfkMtd 0TW4u0N5YhSFMx3Oa1j4ZKpv7xgnMEZ5Q4QwOKr9js41otbUnIClbdp5DsFAm7Iq bMyedePLAOTv8lPtLPYBWTLirXKLwxKicUSy/Diocg6Rpb4Bb3Ydn9a+Bm7CAhlc HZDgK0FFvuq1bUguRWo49DJgWoeqsLpE3INk6TesqzMbioCPT3AYWnP6P85PeTqm adMcNsX1jQpUQ+GOuZDzP2wAE+i3F6zkNdAbpVojC2m3POEwICzmJNj8+sUQCvOs XK+BSEp0ftN1/XxFLd0aNQqmhC94U/WQ7FBQ4B3PwYyhVM28tcalwKjs/i6vKQoF nZkMZ4Ae+6Mv2KUR7bZR5HhbWuGIPM3okoYlbtA7onJlcMwzScrqFyh9qOtacYCA tmZUeTOt9pUEPzDvUhKThQ== =bdIr -----END PGP SIGNATURE-----
pgp3ljEEl7BCy.pgp
Description: PGP signature
