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

Bug#1044276: marked as done (coq-dpdgraph: Fails to build source after successful build)

Your message dated Fri, 22 Dec 2023 10:34:49 +0000
with message-id <E1rGcrh-00DSYJ-EO@fasolo.debian.org>
and subject line Bug#1044276: fixed in coq-dpdgraph 1.0+8.18-1
has caused the Debian Bug report #1044276,
regarding coq-dpdgraph: 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.)


-- 
1044276: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044276
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-dpdgraph
Version: 1.0+8.17-1
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-dpdgraph
> dpkg-buildpackage: info: source version 1.0+8.17-1
> 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,ocaml
>    dh_auto_clean
> 	make -j8 clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> make -f Make_coq clean
> rm -f tests/graph.dpd tests/graph2.dpd tests/Morph.dpd tests/Morph_rw.dpd tests/Polymorph.dpd tests/PrimitiveProjections.dpd tests/PrimitiveProjections2.dpd tests/graph.dot tests/graph2.dot tests/Morph.dot tests/Morph_rw.dot tests/Polymorph.dot tests/PrimitiveProjections.dot tests/PrimitiveProjections2.dot tests/graph.without.dot tests/search  tests/graph2.dpdusage tests/attributes.err tests/double_node.err tests/lexing.err tests/missing_node.err tests/parsing.err tests/unterminated_comment.err tests/file_not_found.err tests/graph.dpd.log tests/graph2.dpd.log tests/Morph.dpd.log tests/Morph_rw.dpd.log tests/Polymorph.dpd.log tests/PrimitiveProjections.dpd.log tests/PrimitiveProjections2.dpd.log tests/graph.dot.log tests/graph2.dot.log tests/Morph.dot.log tests/Morph_rw.dot.log tests/Polymorph.dot.log 
> tests/PrimitiveProjections.dot.log tests/PrimitiveProjections2.dot.log tests/graph.without.dot.log tests/search.log tests/graph2.dpdusage.log tests/attributes.err.log tests/double_node.err.log tests/lexing.err.log tests/missing_node.err.log tests/parsing.err.log tests/unterminated_comment.err.log tests/file_not_found.err.log tests/graph.dpd.ok tests/graph2.dpd.ok tests/Morph.dpd.ok tests/Morph_rw.dpd.ok tests/Polymorph.dpd.ok tests/PrimitiveProjections.dpd.ok tests/PrimitiveProjections2.dpd.ok tests/graph.dot.ok tests/graph2.dot.ok tests/Morph.dot.ok tests/Morph_rw.dot.ok tests/Polymorph.dot.ok tests/PrimitiveProjections.dot.ok tests/PrimitiveProjections2.dot.ok tests/graph.without.dot.ok tests/search.ok tests/graph2.dpdusage.ok tests/attributes.err.ok tests/double_node.err.ok tests/lexing.err.ok 
> tests/missing_node.err.ok tests/parsing.err.ok tests/unterminated_comment.err.ok tests/file_not_found.err.ok
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> rm -f tests/Test.vo tests/Test.glob
> rm -f tests/Morph.vo tests/Morph.glob
> rm -f tests/Polymorph.vo tests/Polymorph.glob
> rm -f  tests/.*.vo.aux
> CLEAN
> make[2]: Leaving directory '/<<PKGBUILDDIR>>'
> rm -f searchdepend.o graphdepend.o searchdepend.cmx graphdepend.cmx dpdgraph.cmxs Make_coq version.ml dpd_lex.ml dpd_parse.ml dpd_parse.mli .depend
> rm -f version.cmo dpd_compute.cmo dpd_dot.cmo dpd_parse.cmo dpd_lex.cmo dpdusage.cmo version.cmo dpd_compute.cmo dpd_dot.cmo dpd_parse.cmo dpd_lex.cmo dpd2dot.cmo version.cmx dpd_compute.cmx dpd_dot.cmx dpd_parse.cmx dpd_lex.cmx dpd2dot.cmx dpdusage.cmx version.o dpd_compute.o dpd_dot.o dpd_parse.o dpd_lex.o dpd2dot.o dpdusage.o *.cmi
> rm -f version.annot dpd_compute.annot dpd_dot.annot dpd_parse.annot dpd_lex.annot dpd2dot.annot dpdusage.annot
> rm -f ./dpd2dot ./dpdusage ./dpdgraph.vo
> Use: make clean_config to remove configuration generated files
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
>    dh_autoreconf_clean
>    dh_ocamlclean
>    dh_clean
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-dpdgraph using existing ./coq-dpdgraph_1.0+8.17.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: warning: executable mode 0755 of 'config.status' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Morph.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Morph.vos' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Polymorph.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Polymorph.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/PrimitiveProjections.vo: binary file contents changed
> dpkg-source: error: add tests/PrimitiveProjections.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/PrimitiveProjections.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/PrimitiveProjections.vos' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Test.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Test.vos' will not be represented in diff
> dpkg-source: error: unrepresentable changes to source
> dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 1
> 
> 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-dpdgraph_1.0+8.17-1_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-dpdgraph
Source-Version: 1.0+8.18-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-dpdgraph, 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 1044276@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-dpdgraph 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 15:22:53 +0100
Source: coq-dpdgraph
Architecture: source
Version: 1.0+8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044276
Changes:
 coq-dpdgraph (1.0+8.18-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (closes: #1044276).
   * New upstream release.
Checksums-Sha1:
 4c93a8aa70ab379475c13dec658df563c2b77f4e 2218 coq-dpdgraph_1.0+8.18-1.dsc
 75cb69defaf780e34098b3b88775b3a24aa839ca 66066 coq-dpdgraph_1.0+8.18.orig.tar.gz
 e772f4038252598cf00ecba54f205ebb90bc109a 3048 coq-dpdgraph_1.0+8.18-1.debian.tar.xz
 e3e320c42aa1f571cb47ab2f829bec6a8e3f4b19 7897 coq-dpdgraph_1.0+8.18-1_source.buildinfo
Checksums-Sha256:
 06309453d5e80e8f77d97562f6419b5dff53c8465a39f3b2abe2f90c1071008f 2218 coq-dpdgraph_1.0+8.18-1.dsc
 c5735aa0d04f182e815c6beb8fbc4c46ffbb9ca15c7b0d2cc40ef0827ba61f07 66066 coq-dpdgraph_1.0+8.18.orig.tar.gz
 219dee99b95227aa5a99ccacf550c24904f77ff418d02e43b7a3798b58eaeefc 3048 coq-dpdgraph_1.0+8.18-1.debian.tar.xz
 272523e883c79e8798f434b590a74a1bd2766bc8f7b003abc71d20e0e96d85ca 7897 coq-dpdgraph_1.0+8.18-1_source.buildinfo
Files:
 b6d4400a089dfd6e553c7edfd5ca0589 2218 ocaml optional coq-dpdgraph_1.0+8.18-1.dsc
 c3caa1eb335dfd62a4431769473e35cb 66066 ocaml optional coq-dpdgraph_1.0+8.18.orig.tar.gz
 42743c021c00e9c35497347f36b5b20e 3048 ocaml optional coq-dpdgraph_1.0+8.18-1.debian.tar.xz
 cb8c2ba8d305ae00fcca3d6b755add2c 7897 ocaml optional coq-dpdgraph_1.0+8.18-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESlgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRiZYQAI9IRHyQTIFFS2oEejqtlgBuH7nmsQnS
Y4xrPft7cM5IM+myghrLpA45HziNY42pSSdJmNwNGFrJqSYIZ6iVqfAVyTPsc70Z
Reneb+wsi2FJMUXOJHgy/pW+BCPXQmmHLyzUZYlBy03e7jpoKvtebBlxOoY/aLrp
CNWqMoxfAc+9Dd13uG6ZeE5teYifnTlcRLlFlbLsgtkou7F+L81u2gXfHhvSLGb6
1BZFxRJCRYxLmmGzdgKEjCwt31C4ktcT8ZHUBfGnL8YJkxo+P1oGpzzHS4vqPu14
MxKaTknaLeSusa5aNFbPyp0q6CmOt/sMfueDpkxSd962PIn8FFC1mJQZqjoxODb3
RbYBvEXZqxAtrGwG5S2f+aggq+WN3F+6rmf6EleDfeUk8gzfHEvNnxIgY7N6pReu
v7ZpZR3o0X1gdTkuOyRvKxaZd3oo/oShEjru/pllcH1ftycRkVSg7jwJgQHMuUzp
ryaKNw5OB+2lDRRHXDtVXTMfVv4euiIacH0OdsHbB0br18xoDITBYiTDt5uanJ4X
3TTO7SY6c8xTStCtvtrq1eka9ecgy/yLldYpCLdFVFs8TRxJp8dYD8vLiGBU/u/p
Kg4IcP6MT5pZO2287wNZZtdsSGvrpnu1bEH+VouZp/pI1r//+j2clnRV4LXQpCgb
dw630d8GdFXl
=MyQ/
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: