-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 10:09:20 +0100 Source: coq-math-classes Binary: libcoq-math-classes Architecture: source amd64 Version: 9.0.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-math-classes - Abstract interfaces for mathematical structures for Coq Changes: coq-math-classes (9.0.0-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. Checksums-Sha1: 1f45e5e7acafa99260f26f88cee3ea2973235095 2169 coq-math-classes_9.0.0-1.dsc 7f3664d090a16ce60292e3e9d1f49ee4caa1bd02 169022 coq-math-classes_9.0.0.orig.tar.gz 934a38494328e19259463e513a66a9c57cbd4b2c 2924 coq-math-classes_9.0.0-1.debian.tar.xz e59004a35b240d909d916b35ecfaeb989e3c2879 6892 coq-math-classes_9.0.0-1_amd64.buildinfo 1967cdceca9fb8db49ab1467dc8efdcf045e8b25 2890104 libcoq-math-classes_9.0.0-1_amd64.deb Checksums-Sha256: b8c198aa47f822059fb42439a92a0cd6b577a167e34127c8eb871ae28c80e49a 2169 coq-math-classes_9.0.0-1.dsc 8316c8ed38c9f8b444c3ab974172dca10d959983fddc272018323a461fa176f9 169022 coq-math-classes_9.0.0.orig.tar.gz 5211a00b97d43d44a9a2edc5caa8498bff6c76762afc54562d96ecd5ce3794ba 2924 coq-math-classes_9.0.0-1.debian.tar.xz a30ca88ed7510b8077a115d7692d634d85234eafbca2665873f07f4fa736e87a 6892 coq-math-classes_9.0.0-1_amd64.buildinfo 7d72bc7a2257b20884d55230f8614b9b9cb429edec4004f5fba78d211d7a23e3 2890104 libcoq-math-classes_9.0.0-1_amd64.deb Files: d1429af27f44bd1d37b1b47e1e07c4f3 2169 ocaml optional coq-math-classes_9.0.0-1.dsc aa474daff8105a682b28cf5c6f5ce767 169022 ocaml optional coq-math-classes_9.0.0.orig.tar.gz c6c98761530cca84667ac9f133e8df9c 2924 ocaml optional coq-math-classes_9.0.0-1.debian.tar.xz 737d7d7a23a516c1448017d7c1db4c19 6892 ocaml optional coq-math-classes_9.0.0-1_amd64.buildinfo 987d713ecad9910738e71f191083f576 2890104 ocaml optional libcoq-math-classes_9.0.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB2ysZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSMLD/9Ry8UKvTkE7Zm8ZdmGHPjt ecVmo+4wiUkFI6flB6hXHUxODXlMOLy6v1VLbpGbaUm43oYEG1D7saiabtmGxPSM /ig1yt4n7eLukL70eljotVyR3Bygff8d30r7qhUPZiDwO49IstWKoZcStqCTn6Vy Fw9iG5TF/yrLuQb8lcpfhjH/gEzPNMe3X7bgkuQst2oOfNPBnVOvpeda8WVNpbDd 0Z2d6VVVohIw2RQA9GnBtLP3xYHA5qoJ3V9u1iE+01D+lwLo2lLzchW0SF+SLLSn gWIUlMPE14sFd/EJbG2o4X2voMuRVikGcw06TQgycrJMiyH6r+/rWXHJQLaK9cq+ KXJBkBTVPiX/mC8ixfPC28hR2AF2ihj2d6GgNu+KT7FmbDvesBfvcQ9Z4vZ4YkAB GkOMMk3ANvRnbNPEdsNTroVCTXQpbOqkJ0lDp/ktQwuoZTnxQI4nA539lDBwL06L dD2UE+N7Dn6d34dlYIeOR622xSBLFYyHxdlB0DrCT053Qo9iZhthvciQWzeL1FXT UBnFs96PEL/+HvPlM/t0JKf0bhqcmz4AL1VoJAql9eO+WVOYwFLHwAZ5khy3gHq6 VD4WdxNnAUeg/9ba4rE7TXkplnUDNQOs84yNWjPwlat7Ae3kp81ORrNzH2re99TR 7vccyHPLroztqUgVPqgZjg== =nmSX -----END PGP SIGNATURE-----
