-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Jul 2026 09:08:16 +0200 Source: mathcomp-multinomials Binary: libcoq-mathcomp-multinomials Architecture: source amd64 Version: 2.5.0-2 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-mathcomp-multinomials - Multivariate polynomials for Mathematical Components Closes: 1048599 Changes: mathcomp-multinomials (2.5.0-2) unstable; urgency=medium . * Fix source build after build (Closes: #1048599). Checksums-Sha1: c6351570ea2a8f2d42ff6e3750e34912620f8c45 2306 mathcomp-multinomials_2.5.0-2.dsc 769827797fe24a7224754177b08345ed8441f221 84936 mathcomp-multinomials_2.5.0.orig.tar.gz 932edfb609ccb1142c3d0906c48940eb924f31e1 9156 mathcomp-multinomials_2.5.0-2.debian.tar.xz f47a7e159f494a4a0126c9010ec538b8c773abca 2302692 libcoq-mathcomp-multinomials_2.5.0-2_amd64.deb cb2966e6e814058a8cfd9931f32cea6f288d60e8 7629 mathcomp-multinomials_2.5.0-2_amd64.buildinfo Checksums-Sha256: a944c80441b659a25f61e68f51aa45def1d1546e59adfcf65f6a104419fafb55 2306 mathcomp-multinomials_2.5.0-2.dsc b22f08c5d18f77fc4ce27cc1b2604ca3e1189b68b19d73fca81f6e345e410c2f 84936 mathcomp-multinomials_2.5.0.orig.tar.gz 072cefbecd7917ac3f30560ed018fa5cb6ccaa56f153125dd5037dd04e91e4c8 9156 mathcomp-multinomials_2.5.0-2.debian.tar.xz 3756452a8232514873603141138e62139a33a285eb5e33e2eae32fafbc34d917 2302692 libcoq-mathcomp-multinomials_2.5.0-2_amd64.deb 88f3b977a189c60d5081701de182e90eaba11baa52575d78504af00a1e8fe299 7629 mathcomp-multinomials_2.5.0-2_amd64.buildinfo Files: 2c0525a7ae32ac166292dd5af70375d0 2306 ocaml optional mathcomp-multinomials_2.5.0-2.dsc 9a37d61a278ae83a2e15c7fce9cbb1a7 84936 ocaml optional mathcomp-multinomials_2.5.0.orig.tar.gz 332dd93b692d9f440b4c41997e669a59 9156 ocaml optional mathcomp-multinomials_2.5.0-2.debian.tar.xz 5c2e8118623ee77c3e76a182b23c6804 2302692 ocaml optional libcoq-mathcomp-multinomials_2.5.0-2_amd64.deb f7bf9c4c9d8db9154aa657414391e1eb 7629 ocaml optional mathcomp-multinomials_2.5.0-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3o0ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTBED/4kkeBSjHIxgndn7cca1n0O IUbFOClQCcb12T4mkRbJSVJai/bPutPgW4nMRw/JrAGHNAZQfWIblLpGnfy3wIMN s2EUqkZM1gi+bHxum5cM2JFktwwvVXwNX4cy+Y2QY2SrvYg5E9jeNKEaXpqfeCi+ i7lETCt8AMjBU2UjzLFvehAtD8BGT0LRoG27R5vpRdyXMnp1GwAoNOXCoeq5S5Q0 rPAq5S1abC//OvvAb9a9yHac/Tp+SrF6PXaXoL+h+XOtmHfX61Qa42dqoDos/2yc oyBu4oganN90LlEIBys1WaRtsP1T1AKCxUvOtpQ3kd4IOuJFEqTK1uWxzdwNiKNm bo+0aIoLkpbBf3V5O3Y5TA1f6ftiV1vwhnZSy8jfnrZmJzVyD7wVzqw9pXhKeTIi soaIoSFUeA+mTNqQA6n4L1fzy8yUjuybvsWwqUpC9B4ZjmX5NZh43cv+xGmdAQUm gCWy9hBA1NLeuWn+jP+i8lrxMpP01rTmkpbTMG3zv306zVcEKoCYcDsQfz7Qewgh IvZJgrc5j1RGfYz/nS1h6D+MnE52tbCyjN3JKSWmSVC7FCim6B8/zwNiumZwvmdl eaIxUUp9emVvyI5q96NWD/0EvAanziMKHUUVkAm3m/gRVZII6ihZkPW5A5TkdxsH GsFRQwWhH9PdTspsZQF3yg== =iOXN -----END PGP SIGNATURE-----
