Bug#1048599: marked as done (mathcomp-multinomials: Fails to build source after successful build)

This is a multi-part message in MIME format...

------------=_1785325022-3113524-0
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="utf-8"

Your message dated Wed, 29 Jul 2026 11:35:54 +0000
with message-id <[email protected]>
and subject line Bug#1048599: fixed in mathcomp-multinomials 2.5.0-2
has caused the Debian Bug report #1048599,
regarding mathcomp-multinomials: Fails to build source after successful bui=
ld
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)


--=20
1048599: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D1048599
Debian Bug Tracking System
Contact [email protected] with problems

------------=_1785325022-3113524-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at submit) by bugs.debian.org; 14 Aug 2023 00:23:12 +0000
X-Spam-Checker-Version: SpamAssassin 3.4.6-bugs.debian.org_2005_01_02
	(2021-04-09) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-101.6 required=4.0 tests=ATTENDEES_DBSPAM_BODY3,
	ATTENDEES_DBSPAM_BODY7,BAYES_00,DATE_IN_PAST_03_06,DKIMWL_WL_HIGH,
	DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FROMDEVELOPER,
	SPF_HELO_NONE,SPF_NONE,UNPARSEABLE_RELAY,USER_IN_DKIM_WELCOMELIST,
	USER_IN_DKIM_WHITELIST autolearn=no autolearn_force=no
	version=3.4.6-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 17; hammy, 150; neutral, 137; spammy,
	0. spammytokens: hammytokens:0.000-+--pkgbuilddir,
	0.000-+--PKGBUILDDIR, 0.000-+--Hx-spam-relays-external:sk:stravin,
	0.000-+--H*RT:sk:stravin, 0.000-+--Hx-spam-relays-external:311
Return-path: <[email protected]>
Received: from stravinsky.debian.org ([2001:41b8:202:deb::311:108]:43504)
	from C=NA,ST=NA,L=Ankh Morpork,O=Debian SMTP,OU=Debian SMTP CA,CN=stravinsky.debian.org,[email protected] (verified)
	by buxtehude.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.94.2)
	(envelope-from <[email protected]>)
	id 1qVLMX-004rSy-Vf
	for [email protected]; Mon, 14 Aug 2023 00:23:12 +0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debian.org;
	s=smtpauto.stravinsky; h=X-Debian-User:Message-Id:Date:Subject:To:From:
	Reply-To:Cc:MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID:
	Content-Description:In-Reply-To:References;
	bh=yu+WhEfluzazuRTQ1fN1IjgG8T1UkmSUn5lTqoua5zE=; b=HkIKo6KG1bzNjjzfe5MrtOiVCy
	Sk9CVWUuFhKfnax7t9fzWTZEOT7pEW/PiEHoQ6+S7MJurW1J4NWvCdnjHKNNnuYxNZtSw0aCcF9i0
	9OQE347u8JFAP6wW5m+L6Y2ndlbQzAiEC0DaXokIfq8CkcmIU9OxQrscN9rPHAUC9b9sck1FT4D5o
	7psgXZyzYRUqqJxnOGFFyuHDg4L0D4tmuiTpFA8qcnIb2VO8elvd7TwvuTuGPHaI+Qje82IydbLFv
	oy/tllIj4ZYE4ZJ/AUR6bY9am16CtRJ0585vh8bSqGP0Ym5wAOTjLSoxIp3J+9sFpAwyDbBM8PZ5a
	flRV1NYQ==;
Received: from authenticated user
	by stravinsky.debian.org with esmtpsa (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.94.2)
	(envelope-from <[email protected]>)
	id 1qVLMV-0025l9-UY
	for [email protected]; Mon, 14 Aug 2023 00:23:10 +0000
From: Lucas Nussbaum <[email protected]>
To: [email protected]
Subject: mathcomp-multinomials: Fails to build source after successful build
Date: Sun, 13 Aug 2023 21:20:58 +0200
Message-Id: <[email protected]>
X-Debian-User: lucas
Delivered-To: [email protected]

Source: mathcomp-multinomials
Version: 1.6.0-3
Severity: minor
Tags: trixie sid ftbfs
User: [email protected]
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: [email protected]
Usertags: qa-doublebuild

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:
> cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S
> -------------------------------------------------------------------------------------------------------------------------------------------------
> 
> dpkg-buildpackage: info: source package mathcomp-multinomials
> dpkg-buildpackage: info: source version 1.6.0-3
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Julien Puydt <[email protected]>
>  dpkg-source --before-build .
>  debian/rules clean
> dh clean --with coq,ocaml
>    dh_auto_clean
> 	make -j8 clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> dune  clean
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
>    dh_ocamlclean
>    dh_clean
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building mathcomp-multinomials using existing ./mathcomp-multinomials_1.6.0.orig.tar.gz
> dpkg-source: info: local changes detected, the modified files are:
>  mathcomp-multinomials-1.6.0/src/dune
> dpkg-source: error: aborting due to unexpected upstream changes, see /tmp/mathcomp-multinomials_1.6.0-3.diff.LYpG8X
> dpkg-source: info: Hint: make sure the version in debian/changelog matches the unpacked source tree
> dpkg-source: info: you can integrate the local changes with dpkg-source --commit
> dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 2
> 
> E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S' failed to run.


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.

------------=_1785325022-3113524-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at 1048599-close) by bugs.debian.org; 29 Jul 2026 11:35:57 +0000
X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02
	(2024-03-25) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-113.1 required=4.0 tests=BAYES_00,DKIM_SIGNED,
	DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FVGT_m_MULTI_ODD,HAS_BUG_NUMBER,
	MD5_SHA1_SUM,PGPSIGNATURE,RCVD_IN_DNSWL_MED,SPF_HELO_PASS,SPF_PASS,
	USER_IN_DKIM_WELCOMELIST autolearn=ham autolearn_force=no
	version=4.0.1-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 106; hammy, 150; neutral, 118; spammy,
	0. spammytokens: hammytokens:0.000-+--HX-Debian:DAK,
	0.000-+--H*rp:D*ftp-master.debian.org, 0.000-+--HX-DAK:process-upload,
	0.000-+--UD:debian.tar.xz, 0.000-+--H*r:sk:fasolo.
Return-path: <[email protected]>
Received: from mitropoulos.debian.org ([2001:648:2ffc:deb:216:61ff:fe9d:958d]:37356)
	by buxtehude.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1wp2Zp-00D3sU-0Y
	for [email protected];
	Wed, 29 Jul 2026 11:35:57 +0000
Received: via submission
	from C=NA,ST=NA,L=Ankh Morpork,O=Debian SMTP,OU=Debian SMTP CA,CN=fasolo.debian.org,[email protected] (verified)
	by mitropoulos.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1wp2Zn-00BdZc-0i
	for [email protected];
	Wed, 29 Jul 2026 11:35:55 +0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
	d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Content-Type:
	Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID
	:Content-Description:In-Reply-To:References;
	bh=Iq6Kn5ULs+CodaacUCONxvVbUPu0IOW1BsjdEjiUym8=; b=aJ7jR4+Q4G/AGHoP521CQPa6om
	FYuBMvJE5Z4zphHCpx4h7qUw8E9Cx/r/NXMSevqg5H+1Ug8uh0ftdIJu4VQp/e27vrOQ6V9kKZVKK
	zOUFFpQNh/38rnYAXZvNimedDPzEnGc/NdQdGKh8jfS3k8EUX3IbCKxkmizRJ18zegxmO+JPf8o8K
	uJfalGUKQyTroor3zJZ+89DoM1mscUlvOwWUK7wyYE5EDZCbzskeCqCZrzCL1KTgZDpEZGE/AX3og
	6PLm1CfxJL9PG9LqV5WLA/GiGWyWoxZs58enli0r/v80EIL8ArvE9TbiPg9Pets41/p1fyS00n5JA
	a91XK5HA==;
Received: from dak by fasolo.debian.org with local (Exim 4.98.2)
	(envelope-from <[email protected]>)
	id 1wp2Zm-00000001ius-0AcV;
	Wed, 29 Jul 2026 11:35:54 +0000
From: Debian FTP Masters <[email protected]>
Reply-To: Julien Puydt <[email protected]>
To: [email protected]
X-DAK: dak process-upload
X-Debian: DAK
X-Debian-Package: mathcomp-multinomials
Debian: DAK
Debian-Changes: mathcomp-multinomials_2.5.0-2_amd64.changes
Debian-Source: mathcomp-multinomials
Debian-Version: 2.5.0-2
Debian-Architecture: source amd64
Debian-Suite: unstable
Debian-Archive-Action: accept
MIME-Version: 1.0
Subject: Bug#1048599: fixed in mathcomp-multinomials 2.5.0-2
Content-Type: multipart/signed; micalg="pgp-sha256";
 protocol="application/pgp-signature";
 boundary="===============0533591098746735184=="
Message-Id: <[email protected]>
Date: Wed, 29 Jul 2026 11:35:54 +0000

--===============0533591098746735184==
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

Source: mathcomp-multinomials
Source-Version: 2.5.0-2
Done: Julien Puydt <[email protected]>

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 [email protected],
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <[email protected]> (supplier of updated mathcomp-multinomials p=
ackage)

(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 [email protected])


-----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 <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
 libcoq-mathcomp-multinomials - Multivariate polynomials for Mathematical Com=
ponents
Closes: 1048599
Changes:
 mathcomp-multinomials (2.5.0-2) unstable; urgency=3Dmedium
 .
   * 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.o=
rig.tar.gz
 932edfb609ccb1142c3d0906c48940eb924f31e1 9156 mathcomp-multinomials_2.5.0-2.=
debian.tar.xz
 f47a7e159f494a4a0126c9010ec538b8c773abca 2302692 libcoq-mathcomp-multinomial=
s_2.5.0-2_amd64.deb
 cb2966e6e814058a8cfd9931f32cea6f288d60e8 7629 mathcomp-multinomials_2.5.0-2_=
amd64.buildinfo
Checksums-Sha256:
 a944c80441b659a25f61e68f51aa45def1d1546e59adfcf65f6a104419fafb55 2306 mathco=
mp-multinomials_2.5.0-2.dsc
 b22f08c5d18f77fc4ce27cc1b2604ca3e1189b68b19d73fca81f6e345e410c2f 84936 mathc=
omp-multinomials_2.5.0.orig.tar.gz
 072cefbecd7917ac3f30560ed018fa5cb6ccaa56f153125dd5037dd04e91e4c8 9156 mathco=
mp-multinomials_2.5.0-2.debian.tar.xz
 3756452a8232514873603141138e62139a33a285eb5e33e2eae32fafbc34d917 2302692 lib=
coq-mathcomp-multinomials_2.5.0-2_amd64.deb
 88f3b977a189c60d5081701de182e90eaba11baa52575d78504af00a1e8fe299 7629 mathco=
mp-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-mult=
inomials_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=3D=3D
=3DiOXN
-----END PGP SIGNATURE-----


--===============0533591098746735184==
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCamnlmgAKCRCb9qggYcy5
IepmAP4zadRfvuDIwQ1mjmbU6sJMFQ9MJNe86nCnh4iIh/S+kAD/bpoM6ENYNrE4
66QRaHIBNGRPQprgrMDrDZOj2UxVAAc=
=UHoh
-----END PGP SIGNATURE-----

--===============0533591098746735184==--
------------=_1785325022-3113524-0--