-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jul 2026 15:58:25 +0200 Source: mathcomp-analysis Binary: libcoq-mathcomp-analysis libcoq-mathcomp-classical Architecture: source amd64 Version: 1.16.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-mathcomp-analysis - analysis extension for Mathematical Components libcoq-mathcomp-classical - classical logic extension for Mathematical Components Changes: mathcomp-analysis (1.16.0-1) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * New upstream release. Checksums-Sha1: cfe324c2f250a9cf092ee31e44a4b8ddd6f33592 2458 mathcomp-analysis_1.16.0-1.dsc 01658f08323cea067344714018df6d30953fb553 1012936 mathcomp-analysis_1.16.0.orig.tar.gz ef94aef28c6b053fc286ca6729daf5b6f8583518 9580 mathcomp-analysis_1.16.0-1.debian.tar.xz 890070761bb0d3e1d7ac29ad9d93ce375ba66804 23433748 libcoq-mathcomp-analysis_1.16.0-1_amd64.deb 883115b475ce528066e8b44f738ec9e7cfd4a047 4208964 libcoq-mathcomp-classical_1.16.0-1_amd64.deb bdb6cb42e0f0f86edf904b5be46f78308e572b66 8081 mathcomp-analysis_1.16.0-1_amd64.buildinfo Checksums-Sha256: 95a02c9d5e9cf2c3a51216d26e712ec3bde84d34d27038bac5800653364c0af0 2458 mathcomp-analysis_1.16.0-1.dsc dee67f6c61ee783dcc1fdb4848d71d3713d2ba1365d38f4939cb3e7dab83acf5 1012936 mathcomp-analysis_1.16.0.orig.tar.gz 64338e05da067cdf9f1a7d187b9c0f670b8a5bc67d8a53be4d8024c892bf20c2 9580 mathcomp-analysis_1.16.0-1.debian.tar.xz d1981db5c7648869eb0962d64cd5fef36a17e809a9a4ed1e349d5db15dcd114f 23433748 libcoq-mathcomp-analysis_1.16.0-1_amd64.deb f945bae54aa0076a9029e5d7c1bd26e495fe67f3f0192183a4aed906d2d5b730 4208964 libcoq-mathcomp-classical_1.16.0-1_amd64.deb c0bb39093cabba88fe5c2d582a6fcab558797eceec6f462c32453ff889695903 8081 mathcomp-analysis_1.16.0-1_amd64.buildinfo Files: 746b30a6122d75a4c348e92e1d44a0cf 2458 ocaml optional mathcomp-analysis_1.16.0-1.dsc f9a69d5e768adf9d5c551f756a09505f 1012936 ocaml optional mathcomp-analysis_1.16.0.orig.tar.gz bd63a3054219975d0d13914a716b8bf4 9580 ocaml optional mathcomp-analysis_1.16.0-1.debian.tar.xz d3e1a434c24a1119abd38fff99cd0a30 23433748 ocaml optional libcoq-mathcomp-analysis_1.16.0-1_amd64.deb 4524f13ba3c4f43e0c00e1ae6417e6da 4208964 ocaml optional libcoq-mathcomp-classical_1.16.0-1_amd64.deb ac2a5f11289f1224e83ee9d635e45039 8081 ocaml optional mathcomp-analysis_1.16.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpeq6YZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUd8+D/wKZ4VbvtGPOnsTdBkcID2t kYnHhEWn/v+zIU4v4Qs9KEkdKNQMXJjmZ1Y2KVXl+nrgSTJoQhTVmEkmp8VN/Zj5 fEIAJaGdQU+SLI+OIbQ5Qk+jPHppfIyaKGPKN5gu7cjhmbFeY89YcXzEI/UqBne6 g4YopqryFjeWWkpfyQxXYcbaePbKV05cgwJ6yRUoeYJgSWwjdgnPfwDGc/O6gomT 4ujHGbFAI/mrXZzd6Anc0WwIC7kg/TtS9mrmQScXZ0/8lhjzBz5/lkHQ25oScYkn ODvBFHv2twEF8SF/tdXPKqYwEPPApGj3ppsVuzAePAr8UNx+fzWEEhHGYNmbqf15 F3HtIBqTWQn9QRIViUc9fKL+kGVn5EKUfcRZZ7ZLrik0jvx/ziSvHrLm9LdwJMxG 1Bt3GDUhQbVrOY6wsVkY90Q5u+ZW0djwuAfm8cut97DFmTh8ya/cFloxBm1EYjZu 5jCdAbDDvIS5AOtLnWb6i11eHgAiqUuGVJf6ZZXnxtlNMSbmciu4nqXfznkk0tGb 3QnWbJiKq0c58wnGRW95XsyHlP6aeSxlYjiH5mva6u/3cAh94bLRR5A8cl3FPV0n uX3wF+IqeOhMyn4KVNNSNJFkPb1RRjoLz1RjqpUeoK+nSWnZmj+F9yIhJQ3srKGF LLXvFlz5i1LFK2FE/XNoIg== =CgUI -----END PGP SIGNATURE-----
