-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 20:49:47 +0100 Source: mathcomp-multinomials Binary: libcoq-mathcomp-multinomials Architecture: source amd64 Version: 2.4.0-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-mathcomp-multinomials - Multivariate polynomials for Mathematical Components Changes: mathcomp-multinomials (2.4.0-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 3cb18a886d25a6502a62cb1e63733be20f0d8f0b 2306 mathcomp-multinomials_2.4.0-2.dsc 79da256f4ebff2a769dbe6f484bc713c030a6999 9116 mathcomp-multinomials_2.4.0-2.debian.tar.xz cbbe81a2ac2a992d45c8be03b2dc765f0662e390 2922908 libcoq-mathcomp-multinomials_2.4.0-2_amd64.deb 671d09a2e99806ccea3cfc931a64cdf7894316f7 7473 mathcomp-multinomials_2.4.0-2_amd64.buildinfo Checksums-Sha256: 1b26b693e3f222864937d056c58a57842b5971c9f3e02e4d1aa81597d01e1f02 2306 mathcomp-multinomials_2.4.0-2.dsc cf5a2508a88da132e1d45844dab603b4e315d453793403ec34c3a4bbf8d58db1 9116 mathcomp-multinomials_2.4.0-2.debian.tar.xz 5fa1507676ba049da7ba4a541544807a135ec0ad071d51a3365559911989d553 2922908 libcoq-mathcomp-multinomials_2.4.0-2_amd64.deb 0e491d6c679ad04c094a7771e4e5f4a7597647deaa2ad20498d1ccc944cf7057 7473 mathcomp-multinomials_2.4.0-2_amd64.buildinfo Files: 547874eb1cd9d450dc5bdc1fccd93ce6 2306 ocaml optional mathcomp-multinomials_2.4.0-2.dsc 111a791ce3a6ba7b9f82aeb7f9964449 9116 ocaml optional mathcomp-multinomials_2.4.0-2.debian.tar.xz 596654366f2653e549e3881ceeb6577b 2922908 ocaml optional libcoq-mathcomp-multinomials_2.4.0-2_amd64.deb d978ab1055a1ac0ecf3abe226fa985d3 7473 ocaml optional mathcomp-multinomials_2.4.0-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTlTsZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQYDEACWLzzC+GMKPIGvwnI7N7Rz pNS9HpM64oCM04gZnm7BiGYjJHWuSi466DlQrBrIyur9dQMaiWQRQWDwbqF1Pbjx uc4ELsMwk/n4ldgAH5Izb2caWNG/thRGxHQqyclq0d47LTMvYijOKk7vHN3EKmOS viojRQw04fwMIEbnVB28pkZegH4uYovCH+UwcWFgtugIqqD8thoDtefOMZ6dmtIU 4W9PJvMLpkbaPq6SHiU5GHmW/PnDqrGe2iDpR5o95UA4Culi/LIIaulIr4Eb15GT b+iu6XyC9Jn9FWOtmWnv16SSv+kJ5qkIMBl2vSM8zQ4DF6jaM7HyXjD4E2UAdjB4 cN5UCaHR34oL99WGhcQEdi5tNFQUVOJN9p9M8IxKcZAvXsjnuilTx+ot6zip1qAo iuyFrjBxSxIo3zY8sRkth1NxL5A0xqn/x4x1DJ41X2SVDEf8S9TeaLCP6sJjZoaU uCPiPsZYxorqn/mUJXrYhuUJV+zruwBg5Tomtb2JFQ+SYrZa55yBKSX7weEm1HP2 0/gctiH86aJ6VdnCfS3pI0K+sToKeH7Y8BoQUOOxdo6mL1rsmSDiZjdoCWwMRpSi Fk9yXse5dnLxtMru7qvNPUXO0PslDPtsXY/WtlNbSiDGwT/JelARHWkEuz3fAMbc /coEht7fh725Db9hbKzmIg== =JBbE -----END PGP SIGNATURE-----
