Source: psmt2-frontend Version: 0.4.0-2 Severity: minor Tags: trixie sid ftbfs User: [email protected] Usertags: ftbfs-sab-20230813 ftbfs-source-after-build User: [email protected] Usertags: qa-doublebuild
Hi, This package fails to build a source package after a successful build (dpkg-buildpackage ; dpkg-buildpackage -S). This is probably a clear violation of Debian Policy section 4.9 (clean target), but this is filed as severity:minor for now, because a discussion on debian-devel showed that we might want to revisit the requirement of a working 'clean' target. More information about this class of issues, included common problems and solutions, is available at https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild Relevant part of the build log: > cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env > -us -uc -rfakeroot -S > ----------------------------------------------------------------------------------------------------------------------------------- > > dpkg-buildpackage: info: source package 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 > <[email protected]> > 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.
