Hi,

This package fails to build a source package after a successful build
(dpkg-buildpackage ; dpkg-buildpackage -S).

This is probably a clear violation of Debian Policy section 4.9 (clean target),
but this is filed as severity:minor for now, because a discussion on
debian-devel showed that we might want to revisit the requirement of a working
'clean' target.

More information about this class of issues, included common problems and
solutions, is available at
https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild

Relevant part of the build log:
The full build log is available from:
http://qa-logs.debian.net/2023/08/13/mathcomp-multinomials_1.6.0-3_unstable.log

If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects

If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.

We believe that the bug you reported is fixed in the latest version of
mathcomp-multinomials, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1048599@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated mathcomp-multinomials package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
Format: 1.8
Date: Fri, 22 Dec 2023 11:35:03 +0100
Source: mathcomp-multinomials
Architecture: source
Version: 2.1.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1048599
Changes:
 mathcomp-multinomials (2.1.0-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1048599).
   * New upstream release.
Checksums-Sha1:
 768f573250f8163523b56f0af0e86ab0efa40649 2274 mathcomp-multinomials_2.1.0-1.dsc
 cd5b820c2b8d9b0bd7dbf61942049455e9f7d57c 83205 mathcomp-multinomials_2.1.0.orig.tar.gz
 5139c0fb19f7df0d9a5f8a1f3def262c51f01c2e 8876 mathcomp-multinomials_2.1.0-1.debian.tar.xz
 a6ec2aa8baed414f95a4cf6da64238c8feaac181 8659 mathcomp-multinomials_2.1.0-1_source.buildinfo
Checksums-Sha256:
 89116efa9629692e779472d278300ba765052a5e3c04d80cee6fef20eca662db 2274 mathcomp-multinomials_2.1.0-1.dsc
 90c54b44288c97a50a9bf6fcc298a5a448d46e5008f8079f61d0fdb9861be401 83205 mathcomp-multinomials_2.1.0.orig.tar.gz
 f284a1abf627329274a2d0bc14717bd0e6d6bc712532e5c08106e3c0bb746478 8876 mathcomp-multinomials_2.1.0-1.debian.tar.xz
 0a632023ae316fbcd05d1d49e28f3a809c0aafc9375b0f96f1b0ba31d444edb1 8659 mathcomp-multinomials_2.1.0-1_source.buildinfo
Files:
 a3590c1ce512e846401bb00330c8b96e 2274 ocaml optional mathcomp-multinomials_2.1.0-1.dsc
 53cc9e746a151d357eab54b3bf8f1824 83205 ocaml optional mathcomp-multinomials_2.1.0.orig.tar.gz
 9ee257fe9aadca3758188632965d262b 8876 ocaml optional mathcomp-multinomials_2.1.0-1.debian.tar.xz
 3a974dd7fa0d417096b867ab83427c17 8659 ocaml optional mathcomp-multinomials_2.1.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZsQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRS2sP/izD3UBj4+Iku3FpY19ZbhW684v/GFzW
kFv3DKXSxgjWJncSxrWK404orIgY3t//N3tSNdQQv8hP+Twh5kUQalPHqDPmRzIa
+VYjKkahbgy361IJwkksgiyATEBzganOtzyNn4Kcc5ky505zJihji9wn45+mxOKg
6ub37LdtvNnywqdzMe6ZSqDdjv9Qi1YxZkom2awMEZa6GljmUe1FNTQdzbJ+0peS
aqawFRjfmMxqxTVyO+OFnY9dthMI/HkpHdcsrAqOPqwrlUrc7bh7iJd+Pe5Qe+yz
qdJNiFqz/ySJVK5o/SGx/F08O+kq5aHMgkf5DktyiB2ba0qmL2Gy4KNlBAYRDYub
/KTidrK2L7iyhOJovOyVmScDcIxL0Tr0sNoFYgFCa8oIQaugqYIKIwdyRFUJtqZt
tq22OFS1MrpMCAkAbsuTEy/aA+FVBvmWwuwsKQInLoiclBpLxH753uBbJxoPqODy
adoGXIFRl0DwaW2UtygCvzNa3TfDThdUqQEf1Y9fDPlYR/5S5rJtkWOp+QaUpL/H
ZGia/GPpX1tfSTJH8YSRgLFAk3cfmNAg2+GcoPUhwoNI0Z/GKIcOxtHLOipUe6tz
/BEBjFds9kqN4qiDuCFVNhC8y796YVJpv4ZMQDbcv2R53VDgTsyq6Qqzzemembn2
jyXwcl/+PDGI
=xlnc
-----END PGP SIGNATURE-----

We believe that the bug you reported is fixed in the latest version of
mathcomp-multinomials, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1048599@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated mathcomp-multinomials package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
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-----