[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1044397: marked as done (coq-simple-io: Fails to build source after successful build)

Your message dated Sat, 23 Dec 2023 11:20:06 +0000
with message-id <E1rH034-002QE5-1h@fasolo.debian.org>
and subject line Bug#1044397: fixed in coq-simple-io 1.8.0-4
has caused the Debian Bug report #1044397,
regarding coq-simple-io: Fails to build source after successful build
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 owner@bugs.debian.org
immediately.)


-- 
1044397: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044397
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-simple-io
Version: 1.8.0-3
Severity: minor
Tags: trixie sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: debian-qa@lists.debian.org
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 coq-simple-io
> dpkg-buildpackage: info: source version 1.8.0-3
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
>  dpkg-source --before-build .
>  debian/rules clean
> dh clean --with coq
>    dh_auto_clean
> 	make -j8 clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> if [ -e Makefile.coq ]; then make -f Makefile.coq cleanall; fi
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> CLEAN
> CLEAN *.aux *.timing
> make[2]: Leaving directory '/<<PKGBUILDDIR>>'
> rm -f Makefile.coq Makefile.coq.conf *.cmxs
> rm -f -r _build/ build/
> rm -f deps.dot deps.jpg
> rm -f test/*.ml{i,} test/.*.aux
> rm -f plugin/compat.ml _CoqProject src/SimpleIO_Plugin.v src/IO_Stdlib.v src/IO_RawChar.v src/IO_String.v src/IO_Filename.v src/IO_Float.v src/IO_Unsafe.v test/TestInt63.v
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
>    dh_clean
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-simple-io using existing ./coq-simple-io_1.8.0.orig.tar.gz
> dpkg-source: info: local changes detected, the modified files are:
>  coq-simple-io-1.8.0/plugin/META.coq-simple-io
> dpkg-source: error: aborting due to unexpected upstream changes, see /tmp/coq-simple-io_1.8.0-3.diff.eFBSkw
> 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/coq-simple-io_1.8.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.

--- End Message ---
--- Begin Message --- 
Source: coq-simple-io
Source-Version: 1.8.0-4
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-simple-io, 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 1044397@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 coq-simple-io 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)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 21 Dec 2023 17:11:59 +0100
Source: coq-simple-io
Architecture: source
Version: 1.8.0-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044397
Changes:
 coq-simple-io (1.8.0-4) unstable; urgency=medium
 .
   [ Debian Janitor ]
   * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
 .
   [ Julien Puydt ]
   * Fix d/rules clean target (Closes: #1044397).
Checksums-Sha1:
 9aa32a60ac67dc977412ce0d23698fb77e678e28 2151 coq-simple-io_1.8.0-4.dsc
 ea398ce27fd2a39c0ff3f53e6c9fd303af1101e0 2380 coq-simple-io_1.8.0-4.debian.tar.xz
 e0f09cf2474817851b2b7f7a87a2791f51a6fc99 7929 coq-simple-io_1.8.0-4_source.buildinfo
Checksums-Sha256:
 fce61d33599c9ca010504e33850dbe594ef78adfa8374880b9979f380eed6a05 2151 coq-simple-io_1.8.0-4.dsc
 b43c84212c1841487d8f14a1bc90a01765eb0454bc6683fd157b3200ccaad1ff 2380 coq-simple-io_1.8.0-4.debian.tar.xz
 688f20fa33143ed9b712c8671fed94d4c843b9e4020cc5226e8e1d8f5d09f234 7929 coq-simple-io_1.8.0-4_source.buildinfo
Files:
 7054ec819b358f0b31cea33e9e14890d 2151 ocaml optional coq-simple-io_1.8.0-4.dsc
 2372f49f45c0cdbda2fcb4f9697861d0 2380 ocaml optional coq-simple-io_1.8.0-4.debian.tar.xz
 29a92a40b8e6c0e9a86a84ac981eeb0e 7929 ocaml optional coq-simple-io_1.8.0-4_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEZB0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqmAQAIRaiiWTkCiKu5hcdQhqFv8UgPEcqKNg
8fm9oT6hBWyXCR4nptIpEvV+0szR5NVGkixCxzNwklJ5wgPm5+mI2a9QcwBhDVL1
lj9NaaZZyYfZ3PF/9m0Q1dtZP4kX5o3wf1U9ZC5oujzUO5+7r3C7L85Md6eA+u8A
hIeWr/7C88DYiSOqBW/k2INIagUDX19xfutMP4Hm5Y1eGiBvk4XyqQQ1zAdcxNeJ
yilVkZz0YIIWjyNCjLWGtYgOz/nRt7d5Q1zmbyhpPIBf7bqdpmnBQP9uOZ3v8vha
0lwhAV0dt2zFEsNQoFGDnTrOmToE+Qm2sqho0gHu9SIF4jQLNGfraAiJsqx43LeF
rtDeZ33hQc8qRdBiHCcDiYOEk1f3KQ/uVWtw3dRvMAD5C03jMMCkLn5QOUYZ5XpW
u23Q6Ss79jF1lr4YOI5VSCWrbAvs1ZUhiJ0DHNPg9zrb2YuCSdcF1/8Wq0fK9ZUC
+b8BXu8T86xrOAuKzKwvH/miNdktNLjwVdIqs2sMUR99SoPeE6viMuwK8MJGZ8Cp
MwVAEYXD2lcdyWC9F/3aacjzxgX3j5+oac3fSPvUcAC8zkd+9IzeEPMAzMcgFYlZ
TMVCUI9ES/K338BMwYJsoCnb/egMJBeyYuSGdVxM3zPN+LPJkS6uTyXtkWHP3bxW
wSKCLYF7a+kM
=kpWZ
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: