-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 20:49:13 +0100 Source: mathcomp-analysis Binary: libcoq-mathcomp-analysis libcoq-mathcomp-classical Architecture: source amd64 Version: 1.14.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.14.0-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. * Strenghten depends on coq/rocq. Checksums-Sha1: 4e76449878549af8ea8369b233e2446eac1a0901 2451 mathcomp-analysis_1.14.0-1.dsc bf8d9324bef6dc757eef10fab616f1a939127c99 976787 mathcomp-analysis_1.14.0.orig.tar.gz ee6676e71c7de593c06bbfa248a65582d8420e46 9576 mathcomp-analysis_1.14.0-1.debian.tar.xz 970c538cc83e3d5a814658bd549ce6bb36f96672 30556496 libcoq-mathcomp-analysis_1.14.0-1_amd64.deb 440f31694679a7c74f23040814e668b2010f4f06 6413552 libcoq-mathcomp-classical_1.14.0-1_amd64.deb b0d81dad3ddee3b316fb121df2fd0c415d713ea8 7850 mathcomp-analysis_1.14.0-1_amd64.buildinfo Checksums-Sha256: 5fa7fdfaa76c4d02d5948c1e81592b35fb1cdaa236f67e89993a62e40877e6c5 2451 mathcomp-analysis_1.14.0-1.dsc 358afb3f7418fda5462ddbbaa510af4af68bd17a2cbb766dd23ada04e72f880a 976787 mathcomp-analysis_1.14.0.orig.tar.gz 4d070375cb99e78ab7c0f02cb2c43db69f1cccb5c83758d75a878c69efa9201b 9576 mathcomp-analysis_1.14.0-1.debian.tar.xz bca7e16ae9528033156ae0316efc02492f5c89e273d0cff13fdc0f33f2a653fe 30556496 libcoq-mathcomp-analysis_1.14.0-1_amd64.deb dc03cd6fc96e75d826f306d6ff381e7510b4ff140d255ca7a1d0433af77caa7d 6413552 libcoq-mathcomp-classical_1.14.0-1_amd64.deb 423d0fcd7e48ec45cf68cb9fc809585439ddf9171307dfb8467a7e85226b1b27 7850 mathcomp-analysis_1.14.0-1_amd64.buildinfo Files: 7d9d4546d097ed94a7a8777352cc96ae 2451 ocaml optional mathcomp-analysis_1.14.0-1.dsc 5d3538e021217b45734fe5ae864c7b36 976787 ocaml optional mathcomp-analysis_1.14.0.orig.tar.gz 5a98605821bc48257b59a7020fdd66c3 9576 ocaml optional mathcomp-analysis_1.14.0-1.debian.tar.xz 3c306c8e53a4e09c53aa1871658bea7c 30556496 ocaml optional libcoq-mathcomp-analysis_1.14.0-1_amd64.deb 6b9cac7b9a6a91a7c84a9b8973364bb3 6413552 ocaml optional libcoq-mathcomp-classical_1.14.0-1_amd64.deb f3dae3cf25e65d753cbf9d49bb33deef 7850 ocaml optional mathcomp-analysis_1.14.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTmEUZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfMzD/4+iNzikR8k7lhaQo8veZ2D 7x6d9rdHzNR77jGgaw0DAtuBu0oRKnj3FPvTuIM73pa/XD3tMSZySeJ5rxkNwI1V Xw91XZaHVNRRUAkXqYWj4PlNMDcaSEeNBON/BzoomK793Of6lEFV4NLAfW0x7n6l Ron4f8V1tavWbtP0Z1nkHjKAMhm8DRtzZGvOW3iACeCzP/7XpwFYA0NksAfupDf1 x4/FUg2a52t4NvYYjrw+TnOXRt/eKOU61o17xav0h2VPAb0ULb67cIetVoBfqVKG kTeDjHLipAlzUtWjPXSDG0G7dwr7zYcujC/dtV0DHlZHJv4oIBxxTsYm3hHb3XFR MrcggxWSuHbfE4GAq9+/hqxL8oBZT8r0pbo/zQLdgGAaxDGYeKL6oI4lWn6h1CwW G4sxIzpuKslestC8TG7xE8Go7vFG4AHWbFA0hyZphuFhfZd5I35ZMSZfZsod3mEo 1nBDQUinF2UZ8uYKTCYjOfhaJaE4pzFPgAV0i5atHy1L9kS20exeuY1bKzZc9wZP NaFwt2f0Odxl053Lk/WhOP4Ssgsd+5S6pO0GuMZpqjCRuJiZy/1eSvfRSW57B8Ua uQzI/Q2P4CPqBSVzaE12nJrWheKRy3F0IKKaHmOBi2Sslk0zM1baxgDZ6ychS99m 8pYqzTo6gJXhBcxixfMyOg== =yj5z -----END PGP SIGNATURE-----
Attachment:
pgpt7gPSal7Bv.pgp
Description: PGP signature