-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 18 Dec 2024 12:18:51 +0100 Source: coq-extructures Architecture: source Version: 0.5.0-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-extructures (0.5.0-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. Checksums-Sha1: cda50c6c45940b1b781171e225165e8a4207a0b6 2178 coq-extructures_0.5.0-1.dsc 3efc8f835c242c79c98d5eb979313d8a633c3060 42630 coq-extructures_0.5.0.orig.tar.gz ce10bc4f73c7444971ba1e574943a35b96a8f6bc 2376 coq-extructures_0.5.0-1.debian.tar.xz 92810236daf76c9d13c92cbfd2247204d0d45e05 7854 coq-extructures_0.5.0-1_amd64.buildinfo Checksums-Sha256: b35142210332734130948a7c6a1dd7cc1be7e7848858fe065a88fab2ee1969b3 2178 coq-extructures_0.5.0-1.dsc 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz b1b9449b0606d5fb318592fe00b82d159dc690cbdcf2074e048d129e203068b7 2376 coq-extructures_0.5.0-1.debian.tar.xz ee5ea66b410283a583de7638390c3f57f49f7edfe4bdba8481293ebb65886257 7854 coq-extructures_0.5.0-1_amd64.buildinfo Files: a1159e96a09f04c57eef556cddcc7909 2178 ocaml optional coq-extructures_0.5.0-1.dsc 02535e6858b35f4cbc9a79168fa69bdc 42630 ocaml optional coq-extructures_0.5.0.orig.tar.gz 9154922889ed81b9c6fa1f4ac88e9648 2376 ocaml optional coq-extructures_0.5.0-1.debian.tar.xz 5fe75251f373eecb4918774125cb3d82 7854 ocaml optional coq-extructures_0.5.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8PQZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaLNEACWEFkI/vA+VzOc53akQ4cV 07LiAbLspmYg9wvyv4OYe3YjI2GSzR1bG/oCk34sOB4mQpPBXrwbuZ1C939b2QFf R1cXfgQCUjMdBAPN0jV2FIH6kC4dDjYN0wKEMiDKyXLX/fqxqGxlN2hjv9aGbtcf sgJ07yMjiyv4O9b53S1gMJRFcA0Jne1sc0h33GS+SuJqZWZkQCbf8Odpz5dmgdgQ dwZIiUDyPTjHB8t7XKeqvN+HI6Hz7lshQEV6vUQqkaO2Rr85od6wlTt9FmKRKZsg ouRr0rALGjtDKRPd5ymPpFUuojDWP0lo8FpOqAEbIciT/YnaPnvyUVya5EBhQrfq 6+0bSz6SyOeiyYudftY3mH1suhvfCNAa1h4OlpE0nNm7Usn3iEr/NF8WKgR3xODM svIFUFVMQ/1RTD1ux0oQTTxThDV3ylocKf4zJVULoH3nvuQ6ZreBDnSk8QiDgY6A zZ7rN0k0SUujmR16RkUrD6ibx1SssWj+KGGYLKfBjgk19KPpNWlJUg22anjAlgwN nn+c9gGkO5VwSQkZLkS7mD86+nNlYiWpxvuyqf14PTqvuL2D/dW5/qOqLSOg2uSc JcuNrpItvzDKu6CBVHLLo+g/gGwSNQmTcVI4DZymeSoCz1YuKD86dTpJ7Gv7VSy5 dOOucq73f75+xdS1wcbPSQ== =yyBR -----END PGP SIGNATURE-----
