-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jul 2026 17:59:19 +0200 Source: mathcomp-analysis Binary: libcoq-mathcomp-analysis libcoq-mathcomp-classical Architecture: source amd64 Version: 1.16.0-2 Distribution: unstable 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-2) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: 539eb88277b09af19e4641597ff693562392f2cf 2458 mathcomp-analysis_1.16.0-2.dsc 01658f08323cea067344714018df6d30953fb553 1012936 mathcomp-analysis_1.16.0.orig.tar.gz a5f9b2c7b0b01f24bb1025a2ac153183f2611cbb 9596 mathcomp-analysis_1.16.0-2.debian.tar.xz 0d286189876d54bf46c463270719611973760437 23472436 libcoq-mathcomp-analysis_1.16.0-2_amd64.deb c365fa60ca4727d244c08a60675be96724647a34 4200432 libcoq-mathcomp-classical_1.16.0-2_amd64.deb f63d49c2c4d2360e1ccb8775c48bdfaa91ad0da5 8006 mathcomp-analysis_1.16.0-2_amd64.buildinfo Checksums-Sha256: dc7937584521464f4a232a82d24e38f5290a96a40bb98f4af604b1fc54533c51 2458 mathcomp-analysis_1.16.0-2.dsc dee67f6c61ee783dcc1fdb4848d71d3713d2ba1365d38f4939cb3e7dab83acf5 1012936 mathcomp-analysis_1.16.0.orig.tar.gz fd24f2971e0462c599b322b73e0fc198d874b6feec836b368204a543321860d2 9596 mathcomp-analysis_1.16.0-2.debian.tar.xz e3e7da53ed74bc690b5ea252bf92f83985c5a53db12b434138e1e3362f70ae0c 23472436 libcoq-mathcomp-analysis_1.16.0-2_amd64.deb 6087322550bb389e8a67acb456da291eb45bb9675b186095cc779d1d2ac673f2 4200432 libcoq-mathcomp-classical_1.16.0-2_amd64.deb fe1afe0c190451f59eaaa5ef770df99d1646528619db1bd2243765772cce722a 8006 mathcomp-analysis_1.16.0-2_amd64.buildinfo Files: 78034ba02cc7f9ce0856089a2c8faa8e 2458 ocaml optional mathcomp-analysis_1.16.0-2.dsc f9a69d5e768adf9d5c551f756a09505f 1012936 ocaml optional mathcomp-analysis_1.16.0.orig.tar.gz 263fe16b7abffb6b06e0f0d62d99284e 9596 ocaml optional mathcomp-analysis_1.16.0-2.debian.tar.xz 19ce86730d007b9be1fcf30c448afa6b 23472436 ocaml optional libcoq-mathcomp-analysis_1.16.0-2_amd64.deb d3a68585a9365a3439686ba2f90fdc0f 4200432 ocaml optional libcoq-mathcomp-classical_1.16.0-2_amd64.deb aa25b0b2be5895505f2f51aec8433298 8006 ocaml optional mathcomp-analysis_1.16.0-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp+WYZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTaaD/40MMQ6ZpIhV5xJQzv6FabR xGj953nw4UpfQme3PmLqWKvwb5alpm0p/lgi8XgJ2HMwfaC9dM06us6NGktCPI6H M/gdq3vQ/sKCQm0JIY1EJ9m/iXoIbPvTKRaAUe6U6RaFV35V6AVQrSMQ/UKTSOTG mfg6B+BiY0LqDTvDCSS5Rk1N9qCwUq5ejFobeQaS/I6/97tYnGYHmffuOoc2neV2 ECdfvNHMi5fwnTT8PMDrYTO+/y6ejQ8ObgWix9+m9NHTRjGrFOXJCwTH7Htl3i0X HxwuCych1xP1si9SiijxbBAkML9+FhuGmZ79s5ssPs/kL0yMxSwD7NXEyV/o3AGx oKygqaL5WD8CTKzDvfyG2XILGBk0NeMov2D9PUFmg/vlkhM/IoTMtb0zngu4mgad FMDC1jv2MgCyRscAVS+/yPpZhS1mG3QLIBHeDXxzNLvAIoJqKgF7D8t8XY82Awb3 s1WsmMqfgwG8Mb5hCuHW1IfyXp7v2lbHP1UUS6HF/zO6Ce885CUgamsB8Bp5blVM XsAGtER8kErK1rx/eU9GVcpvdaSKzHJ3gUH2RJrJr00R5jAWdkzfb/edlbYaMIi0 RxE1tPdSSat2VA7993jb89kAFRB8AdgHDvVDdEfcFZB8j4f2WIVbaMvKBk9iTCzL XAvzDugWvzo7xciTP943KQ== =t5vs -----END PGP SIGNATURE-----
