-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 30 Oct 2025 08:18:25 +0100 Source: mathcomp-multinomials Binary: libcoq-mathcomp-multinomials Architecture: source amd64 Version: 2.4.0-1 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-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. Checksums-Sha1: 8e25b782f5ec09d0524baf686f3b58f5807827cc 2299 mathcomp-multinomials_2.4.0-1.dsc 80d8495219c3bc6be8a2b4416cdecf395f45c724 81638 mathcomp-multinomials_2.4.0.orig.tar.gz 660e2b5d69871fd87b07efda6a45719fe08dd57b 9076 mathcomp-multinomials_2.4.0-1.debian.tar.xz 20cc2b2ad5117ebc7bc3a82dc64659783fee8281 2184444 libcoq-mathcomp-multinomials_2.4.0-1_amd64.deb e43f9ef75f038ceec7e75ebc543f85d9c1e893aa 7691 mathcomp-multinomials_2.4.0-1_amd64.buildinfo Checksums-Sha256: 89d0a27e5eea010d252a50f9918903cba9a8ea05f0ce54456d5d0f3416231b0f 2299 mathcomp-multinomials_2.4.0-1.dsc 20e2d99e54da58e790ef17f7adfb79311984913ac7a0e2c9b62f39390067caec 81638 mathcomp-multinomials_2.4.0.orig.tar.gz 95bc1c6b3ad5cfb106299518d21bf9d80282f167c45d74d2dbffb6af1d0b5d2d 9076 mathcomp-multinomials_2.4.0-1.debian.tar.xz 550aa203ed117d2370397bacf7c9f29c5ac19b4e34e4b45ce10e17ab3c0e70ee 2184444 libcoq-mathcomp-multinomials_2.4.0-1_amd64.deb 1bb322840da473dfcdb62f2050dff19ce0361a067189bdec2eb6de8124157c05 7691 mathcomp-multinomials_2.4.0-1_amd64.buildinfo Files: dc803c727476e7310481429dd6a151e3 2299 ocaml optional mathcomp-multinomials_2.4.0-1.dsc eccbe839c5c7973bd682eb6e08e2f6e5 81638 ocaml optional mathcomp-multinomials_2.4.0.orig.tar.gz 236ece5fb140945f69d76b53add69040 9076 ocaml optional mathcomp-multinomials_2.4.0-1.debian.tar.xz 940ff72086be8d5c6ffa71638d6b779e 2184444 ocaml optional libcoq-mathcomp-multinomials_2.4.0-1_amd64.deb d01ae4d1142024690092b791cfa37bb3 7691 ocaml optional mathcomp-multinomials_2.4.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDEoEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUX2ID/9MA+eIWoV4KuVVca8Qn6WW dAaQ8My+uruow00oRFLf51DhDXOPLXTUUKR7jI+aQXcZB4VoSqm8HjO+6HnPk67k pm7qxDAolo0WFnW0qF6BaSWYnZrOew/aaV9wz/VgcQlsF9H+7MFD/WhfqpMoGLx3 HTj6+OMm5JTO73YoJaSJHQ4UrK/FCZTvFe0TVYwp0Kqj24t7Pg2M4mpStlOMsoGt 2/FNDE6JXdUY+IUutn+HmeSTS82eHo5QUK2p+m4LUDmx9rPEivxBVI8pt0oCPKmR 4DppEABjSo0GGoTERi5vajFGVg+hm9pZWl27v0cEes2UMxd33RTPSLGZo0UYLntw 2JzoaQnK/MhccdyyuJA4OWoh43QyzGdLAkqQZMNuCatqJ23Qxhj2w+aJVxrsMuWc VR6dvjJR370z3iDfL+f72kPe1gL7EM0aKdfvbQVsb7VkaoeVYTl8Vjoa/8tmvmaK VhEYsDPN0ob5rG+90dXDI2HFH5Lqi0ElHuf2Go8JPSWCT4mmRzQl9O2acYCYX8TS jmFl1NPBf1nqfSe5HVTKXk0hC6SU3bNINgsfREBBXdZE/X2GrDcJKAxTu1OmM7bT qtexpt42HnQSVsUFOds9koCmjB4ytayFARNOKbve0HU1lg4jH/q5gHFUAIEcAcfo PmkYYDwgatR3IBvwMkMIFQ== =kn2z -----END PGP SIGNATURE-----
