Bug#1045468: psmt2-frontend: Fails to build source after successful build
Source: psmt2-frontend
Version: 0.4.0-2
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 psmt2-frontend
> dpkg-buildpackage: info: source version 0.4.0-2
> 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_auto_clean
> dh_ocamlclean
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building psmt2-frontend using existing ./psmt2-frontend_0.4.0.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/main.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/main.ml
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Version.cmti:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmti
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/smtlib_ty.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/smtlib_ty.ml
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/psmt2Frontend.ml-gen
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/dune-package:
> dpkg-source: error: new version is symlink to ../../../../default/psmt2-frontend.dune-package
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/smtlib_printer.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/smtlib_printer.ml
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend.cmxa:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/psmt2Frontend.cmxa
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/version.mli:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/version.mli
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/smtlib_syntax.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/smtlib_syntax.ml
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Main.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/options.mli:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/options.mli
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Main.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmti
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/version.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/version.ml
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/smtlib_lexer.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/smtlib_lexer.ml
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/opam:
> dpkg-source: error: new version is symlink to ../../../../default/psmt2-frontend.opam
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Options.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/smtlib_parser.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/smtlib_parser.ml
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend.cma:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/psmt2Frontend.cma
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Options.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Options.cmti:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmti
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/smtlib_parser.mli:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/smtlib_parser.mli
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend.cmxs:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/psmt2Frontend.cmxs
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/META:
> dpkg-source: error: new version is symlink to ../../../../default/META.psmt2-frontend
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/smtlib_typing.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/smtlib_typing.ml
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Options.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Version.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/smtlib_error.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/smtlib_error.ml
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend.a:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/psmt2Frontend.a
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/smtlib_typed_env.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/smtlib_typed_env.ml
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Main.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/options.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/options.ml
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Version.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/smtlib_typed_logic.ml:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/smtlib_typed_logic.ml
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Version.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmt
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi:
> dpkg-source: error: new version is symlink to ../../../../default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmi
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend_bin/dune-package:
> dpkg-source: error: new version is symlink to ../../../../default/psmt2-frontend_bin.dune-package
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend_bin/opam:
> dpkg-source: error: new version is symlink to ../../../../default/psmt2-frontend_bin.opam
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/psmt2-frontend_bin/META:
> dpkg-source: error: new version is symlink to ../../../../default/META.psmt2-frontend_bin
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/bin/psmt2-frontend_bin:
> dpkg-source: error: new version is symlink to ../../../default/src/bin/main.exe
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/psmt2-frontend/CHANGES.md:
> dpkg-source: error: new version is symlink to ../../../../default/CHANGES.md
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/psmt2-frontend/LICENSE:
> dpkg-source: error: new version is symlink to ../../../../default/LICENSE
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/psmt2-frontend/LICENSE.md:
> dpkg-source: error: new version is symlink to ../../../../default/LICENSE.md
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/psmt2-frontend/README.md:
> dpkg-source: error: new version is symlink to ../../../../default/README.md
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/psmt2-frontend/odoc-pages/index.mld:
> dpkg-source: error: new version is symlink to ../../../../../default/src/lib/index.mld
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/psmt2-frontend_bin/CHANGES.md:
> dpkg-source: error: new version is symlink to ../../../../default/CHANGES.md
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/psmt2-frontend_bin/LICENSE:
> dpkg-source: error: new version is symlink to ../../../../default/LICENSE
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/psmt2-frontend_bin/LICENSE.md:
> dpkg-source: error: new version is symlink to ../../../../default/LICENSE.md
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/psmt2-frontend_bin/README.md:
> dpkg-source: error: new version is symlink to ../../../../default/README.md
> dpkg-source: error: old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/psmt2-frontend_bin/odoc-pages/index.mld:
> dpkg-source: error: new version is symlink to ../../../../../default/src/bin/index.mld
> dpkg-source: error: old version is nonexistent
> dpkg-source: warning: newly created empty file '_build/.actions/default/test/output-tests/runtest-1de390cdf1490da0015e28fbb2be0b79' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/.actions/default/test/output-tests/runtest-6ba2d71d02ed3d9bc915bab46ac9fbbb' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/.db: binary file contents changed
> dpkg-source: error: add _build/.db 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/.digest-db: binary file contents changed
> dpkg-source: error: add _build/.digest-db in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: file psmt2-frontend-0.4.0/_build/.filesystem-clock has no final newline (either original or modified version)
> dpkg-source: warning: file psmt2-frontend-0.4.0/_build/.lock has no final newline (either original or modified version)
> dpkg-source: warning: file psmt2-frontend-0.4.0/_build/default/.dune/configurator.v2 has no final newline (either original or modified version)
> dpkg-source: warning: file psmt2-frontend-0.4.0/_build/default/META.psmt2-frontend has no final newline (either original or modified version)
> dpkg-source: warning: newly created empty file '_build/default/META.psmt2-frontend_bin' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/src/bin/.main.eobjs/byte/dune__exe__Main.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/bin/.main.eobjs/byte/dune__exe__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/default/src/bin/.main.eobjs/byte/dune__exe__Main.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/bin/.main.eobjs/byte/dune__exe__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/default/src/bin/.main.eobjs/byte/dune__exe__Main.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/bin/.main.eobjs/byte/dune__exe__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/default/src/bin/.main.eobjs/native/dune__exe__Main.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/bin/.main.eobjs/native/dune__exe__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/default/src/bin/.main.eobjs/native/dune__exe__Main.o: binary file contents changed
> dpkg-source: error: add _build/default/src/bin/.main.eobjs/native/dune__exe__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/default/src/bin/.merlin-conf/exe-main: binary file contents changed
> dpkg-source: error: add _build/default/src/bin/.merlin-conf/exe-main 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/default/src/bin/main.exe: binary file contents changed
> dpkg-source: error: add _build/default/src/bin/main.exe 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/default/src/bin/main.exe' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/src/lib/.merlin-conf/lib-psmt2-frontend: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.merlin-conf/lib-psmt2-frontend 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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmti: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmti: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmi: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmo: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmt: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.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/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmti: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.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/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.o: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file '_build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Main.impl.all-deps' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Options.impl.all-deps' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Options.intf.all-deps' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Version.impl.all-deps' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Version.intf.all-deps' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/src/lib/psmt2Frontend.a: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/psmt2Frontend.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/default/src/lib/psmt2Frontend.cma: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/psmt2Frontend.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/default/src/lib/psmt2Frontend.cmxa: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/psmt2Frontend.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/default/src/lib/psmt2Frontend.cmxs: binary file contents changed
> dpkg-source: error: add _build/default/src/lib/psmt2Frontend.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/default/src/lib/psmt2Frontend.cmxs' will not be represented in diff
> dpkg-source: warning: file psmt2-frontend-0.4.0/_build/default/src/lib/version.mli has no final newline (either original or modified version)
> dpkg-source: error: cannot represent change to _build/default/test/output-tests/.merlin-conf/exe-test2: binary file contents changed
> dpkg-source: error: add _build/default/test/output-tests/.merlin-conf/exe-test2 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/default/test/output-tests/.test2.eobjs/byte/dune__exe__Test2.cmi: binary file contents changed
> dpkg-source: error: add _build/default/test/output-tests/.test2.eobjs/byte/dune__exe__Test2.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/default/test/output-tests/.test2.eobjs/byte/dune__exe__Test2.cmo: binary file contents changed
> dpkg-source: error: add _build/default/test/output-tests/.test2.eobjs/byte/dune__exe__Test2.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/default/test/output-tests/.test2.eobjs/byte/dune__exe__Test2.cmt: binary file contents changed
> dpkg-source: error: add _build/default/test/output-tests/.test2.eobjs/byte/dune__exe__Test2.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/default/test/output-tests/.test2.eobjs/native/dune__exe__Test2.cmx: binary file contents changed
> dpkg-source: error: add _build/default/test/output-tests/.test2.eobjs/native/dune__exe__Test2.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/default/test/output-tests/.test2.eobjs/native/dune__exe__Test2.o: binary file contents changed
> dpkg-source: error: add _build/default/test/output-tests/.test2.eobjs/native/dune__exe__Test2.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/default/test/output-tests/test2.exe: binary file contents changed
> dpkg-source: error: add _build/default/test/output-tests/test2.exe 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/default/test/output-tests/test2.exe' 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/psmt2-frontend_0.4.0-2_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.
Reply to: