XPost: linux.debian.bugs.dist

Source: ocaml-topkg
Version: 1.0.7-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 ocaml-topkg
dpkg-buildpackage: info: source version 1.0.7-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Stéphane Glondu <glondu@debian.org>
dpkg-source --before-build .
debian/rules clean
dh clean --with ocaml
dh_ocamlclean
dh_clean
dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building ocaml-topkg using existing ./ocaml-topkg_1.0.7.orig.tar.bz2
dpkg-source: error: cannot represent change to _build/_topkg-topkg.tests: binary file contents changed
dpkg-source: error: add _build/_topkg-topkg.tests in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg.a: binary file contents changed
dpkg-source: error: add _build/src/topkg.a in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg.cma: binary file contents changed
dpkg-source: error: add _build/src/topkg.cma in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg.cmxa: binary file contents changed
dpkg-source: error: add _build/src/topkg.cmxa in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg.cmxs: binary file contents changed
dpkg-source: error: add _build/src/topkg.cmxs in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: executable mode 0755 of '_build/src/topkg.cmxs' will not be represented in diff
dpkg-source: warning: file ocaml-topkg-1.0.7/_build/src/topkg.mllib has no final newline (either original or modified version)
dpkg-source: error: cannot represent change to _build/src/topkg.o: binary file contents changed
dpkg-source: error: add _build/src/topkg.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_build.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_build.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_build.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_build.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_build.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_build.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_build.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_build.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_build.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_build.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_build.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_build.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_cmd.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_cmd.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_cmd.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_cmd.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_cmd.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_cmd.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_cmd.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_cmd.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_cmd.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_cmd.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_cmd.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_cmd.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_codec.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_codec.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_codec.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_codec.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_codec.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_codec.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_codec.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_codec.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_codec.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_codec.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_codec.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_codec.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_conf.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_conf.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_conf.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_conf.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_conf.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_conf.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_conf.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_conf.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_conf.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_conf.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_conf.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_conf.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_distrib.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_distrib.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_distrib.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_distrib.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_distrib.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_distrib.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_distrib.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_distrib.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_distrib.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_distrib.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_distrib.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_distrib.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_fexts.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_fexts.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_fexts.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_fexts.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_fexts.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_fexts.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_fexts.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_fexts.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_fexts.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_fexts.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_fexts.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_fexts.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_fpath.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_fpath.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_fpath.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_fpath.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_fpath.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_fpath.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_fpath.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_fpath.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_fpath.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_fpath.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_fpath.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_fpath.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_install.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_install.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_install.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_install.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_install.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_install.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_install.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_install.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_install.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_install.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_install.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_install.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_ipc.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_ipc.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_ipc.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_ipc.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_ipc.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_ipc.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_ipc.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_ipc.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_ipc.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_ipc.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_ipc.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_ipc.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_log.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_log.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_log.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_log.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_log.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_log.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_log.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_log.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_log.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_log.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_log.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_log.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_main.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_main.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_main.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_main.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_main.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_main.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_main.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_main.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_main.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_main.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_main.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_main.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_opam.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_opam.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_opam.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_opam.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_opam.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_opam.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_opam.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_opam.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_opam.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_opam.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_opam.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_opam.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_os.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_os.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_os.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_os.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_os.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_os.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_os.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_os.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_os.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_os.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_os.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_os.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_pkg.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_pkg.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_pkg.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_pkg.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_pkg.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_pkg.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_pkg.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_pkg.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_pkg.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_pkg.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_pkg.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_pkg.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_publish.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_publish.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_publish.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_publish.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_publish.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_publish.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_publish.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_publish.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_publish.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_publish.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_publish.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_publish.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_result.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_result.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_result.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_result.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_result.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_result.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_result.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_result.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_result.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_result.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_result.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_result.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_string.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_string.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_string.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_string.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_string.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_string.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_string.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_string.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_string.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_string.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_string.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_string.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_test.cmi: binary file contents changed
dpkg-source: error: add _build/src/topkg_test.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_test.cmo: binary file contents changed
dpkg-source: error: add _build/src/topkg_test.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_test.cmt: binary file contents changed
dpkg-source: error: add _build/src/topkg_test.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_test.cmti: binary file contents changed
dpkg-source: error: add _build/src/topkg_test.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_test.cmx: binary file contents changed
dpkg-source: error: add _build/src/topkg_test.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to _build/src/topkg_test.o: binary file contents changed
dpkg-source: error: add _build/src/topkg_test.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball

[continued in next message]

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)