Source: boogie Version: 2.4.1+dfsg-0.1 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 boogie > dpkg-buildpackage: info: source version 2.4.1+dfsg-0.1 > dpkg-buildpackage: info: source distribution unstable > dpkg-buildpackage: info: source changed by Fabian Wolff <[email protected]> > dpkg-source --before-build . > fakeroot debian/rules clean > dh clean --with cli > dh_clean > dpkg-source -b . > dpkg-source: info: using source format '3.0 (quilt)' > dpkg-source: info: building boogie using existing > ./boogie_2.4.1+dfsg.orig.tar.xz > dpkg-source: error: cannot represent change to Binaries/BVD.exe: binary file > contents changed > dpkg-source: error: add Binaries/BVD.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 'Binaries/BVD.exe' will not be > represented in diff > dpkg-source: warning: file boogie-2.4.1+dfsg/Binaries/BVD.exe.config has no > final newline (either original or modified version) > dpkg-source: error: cannot represent change to Binaries/BVD.exe.mdb: binary > file contents changed > dpkg-source: error: add Binaries/BVD.exe.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to Binaries/Boogie.exe: binary > file contents changed > dpkg-source: error: add Binaries/Boogie.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 'Binaries/Boogie.exe' will not > be represented in diff > dpkg-source: warning: executable mode 0755 of 'Binaries/Boogie.exe.config' > will not be represented in diff > dpkg-source: error: cannot represent change to Binaries/Boogie.exe.mdb: > binary file contents changed > dpkg-source: error: add Binaries/Boogie.exe.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to Binaries/BoogieAbsInt.dll: > binary file contents changed > dpkg-source: error: add Binaries/BoogieAbsInt.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of 'Binaries/BoogieAbsInt.dll' > will not be represented in diff > dpkg-source: error: cannot represent change to Binaries/BoogieAbsInt.dll.mdb: > binary file contents changed > dpkg-source: error: add Binaries/BoogieAbsInt.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to Binaries/BoogieBasetypes.dll: > binary file contents changed > dpkg-source: error: add Binaries/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of 'Binaries/BoogieBasetypes.dll' > will not be represented in diff > dpkg-source: error: cannot represent change to > Binaries/BoogieBasetypes.dll.mdb: binary file contents changed > dpkg-source: error: add Binaries/BoogieBasetypes.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Binaries/BoogieCodeContractsExtender.dll: binary file contents changed > dpkg-source: error: add Binaries/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Binaries/BoogieCodeContractsExtender.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Binaries/BoogieCodeContractsExtender.dll.mdb: binary file contents changed > dpkg-source: error: add Binaries/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Binaries/BoogieConcurrency.dll: binary file contents changed > dpkg-source: error: add Binaries/BoogieConcurrency.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Binaries/BoogieConcurrency.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Binaries/BoogieConcurrency.dll.mdb: binary file contents changed > dpkg-source: error: add Binaries/BoogieConcurrency.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to Binaries/BoogieCore.dll: > binary file contents changed > dpkg-source: error: add Binaries/BoogieCore.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of 'Binaries/BoogieCore.dll' will > not be represented in diff > dpkg-source: error: cannot represent change to Binaries/BoogieCore.dll.mdb: > binary file contents changed > dpkg-source: error: add Binaries/BoogieCore.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to Binaries/BoogieDoomed.dll: > binary file contents changed > dpkg-source: error: add Binaries/BoogieDoomed.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of 'Binaries/BoogieDoomed.dll' > will not be represented in diff > dpkg-source: error: cannot represent change to Binaries/BoogieDoomed.dll.mdb: > binary file contents changed > dpkg-source: error: add Binaries/BoogieDoomed.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Binaries/BoogieExecutionEngine.dll: binary file contents changed > dpkg-source: error: add Binaries/BoogieExecutionEngine.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Binaries/BoogieExecutionEngine.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Binaries/BoogieExecutionEngine.dll.mdb: binary file contents changed > dpkg-source: error: add Binaries/BoogieExecutionEngine.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to Binaries/BoogieGraph.dll: > binary file contents changed > dpkg-source: error: add Binaries/BoogieGraph.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of 'Binaries/BoogieGraph.dll' will > not be represented in diff > dpkg-source: error: cannot represent change to Binaries/BoogieGraph.dll.mdb: > binary file contents changed > dpkg-source: error: add Binaries/BoogieGraph.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to Binaries/BoogieHoudini.dll: > binary file contents changed > dpkg-source: error: add Binaries/BoogieHoudini.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of 'Binaries/BoogieHoudini.dll' > will not be represented in diff > dpkg-source: error: cannot represent change to Binaries/BoogieModel.dll: > binary file contents changed > dpkg-source: error: add Binaries/BoogieModel.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of 'Binaries/BoogieModel.dll' will > not be represented in diff > dpkg-source: error: cannot represent change to Binaries/BoogieModel.dll.mdb: > binary file contents changed > dpkg-source: error: add Binaries/BoogieModel.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Binaries/BoogieModelViewer.dll: binary file contents changed > dpkg-source: error: add Binaries/BoogieModelViewer.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Binaries/BoogieModelViewer.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Binaries/BoogieModelViewer.dll.mdb: binary file contents changed > dpkg-source: error: add Binaries/BoogieModelViewer.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Binaries/BoogieParserHelper.dll: binary file contents changed > dpkg-source: error: add Binaries/BoogieParserHelper.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Binaries/BoogieParserHelper.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Binaries/BoogieParserHelper.dll.mdb: binary file contents changed > dpkg-source: error: add Binaries/BoogieParserHelper.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Binaries/BoogiePredication.dll: binary file contents changed > dpkg-source: error: add Binaries/BoogiePredication.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Binaries/BoogiePredication.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Binaries/BoogiePredication.dll.mdb: binary file contents changed > dpkg-source: error: add Binaries/BoogiePredication.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to Binaries/BoogieVCExpr.dll: > binary file contents changed > dpkg-source: error: add Binaries/BoogieVCExpr.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of 'Binaries/BoogieVCExpr.dll' > will not be represented in diff > dpkg-source: error: cannot represent change to Binaries/BoogieVCExpr.dll.mdb: > binary file contents changed > dpkg-source: error: add Binaries/BoogieVCExpr.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Binaries/BoogieVCGeneration.dll: binary file contents changed > dpkg-source: error: add Binaries/BoogieVCGeneration.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Binaries/BoogieVCGeneration.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Binaries/BoogieVCGeneration.dll.mdb: binary file contents changed > dpkg-source: error: add Binaries/BoogieVCGeneration.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to Binaries/Provers.SMTLib.dll: > binary file contents changed > dpkg-source: error: add Binaries/Provers.SMTLib.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of 'Binaries/Provers.SMTLib.dll' > will not be represented in diff > dpkg-source: error: cannot represent change to > Binaries/Provers.SMTLib.dll.mdb: binary file contents changed > dpkg-source: error: add Binaries/Provers.SMTLib.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/AbsInt/bin/Checked/BoogieAbsInt.dll: binary file contents changed > dpkg-source: error: add Source/AbsInt/bin/Checked/BoogieAbsInt.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/AbsInt/bin/Checked/BoogieAbsInt.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/AbsInt/bin/Checked/BoogieAbsInt.dll.mdb: binary file contents changed > dpkg-source: error: add Source/AbsInt/bin/Checked/BoogieAbsInt.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/AbsInt/bin/Checked/BoogieBasetypes.dll: binary file contents changed > dpkg-source: error: add Source/AbsInt/bin/Checked/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/AbsInt/bin/Checked/BoogieBasetypes.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/AbsInt/bin/Checked/BoogieBasetypes.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/AbsInt/bin/Checked/BoogieBasetypes.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/AbsInt/bin/Checked/BoogieCodeContractsExtender.dll: binary file > contents changed > dpkg-source: error: add > Source/AbsInt/bin/Checked/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/AbsInt/bin/Checked/BoogieCodeContractsExtender.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/AbsInt/bin/Checked/BoogieCodeContractsExtender.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/AbsInt/bin/Checked/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/AbsInt/bin/Checked/BoogieCore.dll: binary file contents changed > dpkg-source: error: add Source/AbsInt/bin/Checked/BoogieCore.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/AbsInt/bin/Checked/BoogieCore.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/AbsInt/bin/Checked/BoogieCore.dll.mdb: binary file contents changed > dpkg-source: error: add Source/AbsInt/bin/Checked/BoogieCore.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/AbsInt/bin/Checked/BoogieGraph.dll: binary file contents changed > dpkg-source: error: add Source/AbsInt/bin/Checked/BoogieGraph.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/AbsInt/bin/Checked/BoogieGraph.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/AbsInt/bin/Checked/BoogieGraph.dll.mdb: binary file contents changed > dpkg-source: error: add Source/AbsInt/bin/Checked/BoogieGraph.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/AbsInt/bin/Checked/BoogieParserHelper.dll: binary file contents changed > dpkg-source: error: add Source/AbsInt/bin/Checked/BoogieParserHelper.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/AbsInt/bin/Checked/BoogieParserHelper.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/AbsInt/bin/Checked/BoogieParserHelper.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/AbsInt/bin/Checked/BoogieParserHelper.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/AbsInt/obj/Checked/BoogieAbsInt.dll: binary file contents changed > dpkg-source: error: add Source/AbsInt/obj/Checked/BoogieAbsInt.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/AbsInt/obj/Checked/BoogieAbsInt.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/AbsInt/obj/Checked/BoogieAbsInt.dll.mdb: binary file contents changed > dpkg-source: error: add Source/AbsInt/obj/Checked/BoogieAbsInt.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to Source/BVD/obj/Debug/BVD.exe: > binary file contents changed > dpkg-source: error: add Source/BVD/obj/Debug/BVD.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 'Source/BVD/obj/Debug/BVD.exe' > will not be represented in diff > dpkg-source: error: cannot represent change to > Source/BVD/obj/Debug/BVD.exe.mdb: binary file contents changed > dpkg-source: error: add Source/BVD/obj/Debug/BVD.exe.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Basetypes/bin/Checked/BoogieBasetypes.dll: binary file contents changed > dpkg-source: error: add Source/Basetypes/bin/Checked/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Basetypes/bin/Checked/BoogieBasetypes.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/Basetypes/bin/Checked/BoogieBasetypes.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Basetypes/bin/Checked/BoogieBasetypes.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll: binary file > contents changed > dpkg-source: error: add > Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Basetypes/obj/Checked/BoogieBasetypes.dll: binary file contents changed > dpkg-source: error: add Source/Basetypes/obj/Checked/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Basetypes/obj/Checked/BoogieBasetypes.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/Basetypes/obj/Checked/BoogieBasetypes.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Basetypes/obj/Checked/BoogieBasetypes.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/BoogieDriver/obj/Checked/Boogie.exe: binary file contents changed > dpkg-source: error: add Source/BoogieDriver/obj/Checked/Boogie.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 > 'Source/BoogieDriver/obj/Checked/Boogie.exe' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/BoogieDriver/obj/Checked/Boogie.exe.mdb: binary file contents changed > dpkg-source: error: add Source/BoogieDriver/obj/Checked/Boogie.exe.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll: > binary file contents changed > dpkg-source: error: add > Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll' > will not be represented in diff > dpkg-source: error: cannot represent change to > Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll.mdb: > binary file contents changed > dpkg-source: error: add > Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/CodeContractsExtender/obj/Checked/BoogieCodeContractsExtender.dll: > binary file contents changed > dpkg-source: error: add > Source/CodeContractsExtender/obj/Checked/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/CodeContractsExtender/obj/Checked/BoogieCodeContractsExtender.dll' > will not be represented in diff > dpkg-source: error: cannot represent change to > Source/CodeContractsExtender/obj/Checked/BoogieCodeContractsExtender.dll.mdb: > binary file contents changed > dpkg-source: error: add > Source/CodeContractsExtender/obj/Checked/BoogieCodeContractsExtender.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Concurrency/bin/Debug/BoogieBasetypes.dll: binary file contents changed > dpkg-source: error: add Source/Concurrency/bin/Debug/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Concurrency/bin/Debug/BoogieBasetypes.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/Concurrency/bin/Debug/BoogieBasetypes.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Concurrency/bin/Debug/BoogieBasetypes.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Concurrency/bin/Debug/BoogieCodeContractsExtender.dll: binary file > contents changed > dpkg-source: error: add > Source/Concurrency/bin/Debug/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Concurrency/bin/Debug/BoogieCodeContractsExtender.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/Concurrency/bin/Debug/BoogieCodeContractsExtender.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/Concurrency/bin/Debug/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Concurrency/bin/Debug/BoogieConcurrency.dll: binary file contents > changed > dpkg-source: error: add Source/Concurrency/bin/Debug/BoogieConcurrency.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Concurrency/bin/Debug/BoogieConcurrency.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/Concurrency/bin/Debug/BoogieConcurrency.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/Concurrency/bin/Debug/BoogieConcurrency.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Concurrency/bin/Debug/BoogieCore.dll: binary file contents changed > dpkg-source: error: add Source/Concurrency/bin/Debug/BoogieCore.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Concurrency/bin/Debug/BoogieCore.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Concurrency/bin/Debug/BoogieCore.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Concurrency/bin/Debug/BoogieCore.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Concurrency/bin/Debug/BoogieGraph.dll: binary file contents changed > dpkg-source: error: add Source/Concurrency/bin/Debug/BoogieGraph.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Concurrency/bin/Debug/BoogieGraph.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Concurrency/bin/Debug/BoogieGraph.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Concurrency/bin/Debug/BoogieGraph.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Concurrency/bin/Debug/BoogieParserHelper.dll: binary file contents > changed > dpkg-source: error: add Source/Concurrency/bin/Debug/BoogieParserHelper.dll > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Concurrency/bin/Debug/BoogieParserHelper.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/Concurrency/bin/Debug/BoogieParserHelper.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/Concurrency/bin/Debug/BoogieParserHelper.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Concurrency/obj/Debug/BoogieConcurrency.dll: binary file contents > changed > dpkg-source: error: add Source/Concurrency/obj/Debug/BoogieConcurrency.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Concurrency/obj/Debug/BoogieConcurrency.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/Concurrency/obj/Debug/BoogieConcurrency.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/Concurrency/obj/Debug/BoogieConcurrency.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Core/bin/Checked/BoogieBasetypes.dll: binary file contents changed > dpkg-source: error: add Source/Core/bin/Checked/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Core/bin/Checked/BoogieBasetypes.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Core/bin/Checked/BoogieBasetypes.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Core/bin/Checked/BoogieBasetypes.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Core/bin/Checked/BoogieCodeContractsExtender.dll: binary file contents > changed > dpkg-source: error: add > Source/Core/bin/Checked/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Core/bin/Checked/BoogieCodeContractsExtender.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/Core/bin/Checked/BoogieCodeContractsExtender.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/Core/bin/Checked/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Core/bin/Checked/BoogieCore.dll: binary file contents changed > dpkg-source: error: add Source/Core/bin/Checked/BoogieCore.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Core/bin/Checked/BoogieCore.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Core/bin/Checked/BoogieCore.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Core/bin/Checked/BoogieCore.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Core/bin/Checked/BoogieGraph.dll: binary file contents changed > dpkg-source: error: add Source/Core/bin/Checked/BoogieGraph.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Core/bin/Checked/BoogieGraph.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Core/bin/Checked/BoogieGraph.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Core/bin/Checked/BoogieGraph.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Core/bin/Checked/BoogieParserHelper.dll: binary file contents changed > dpkg-source: error: add Source/Core/bin/Checked/BoogieParserHelper.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Core/bin/Checked/BoogieParserHelper.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/Core/bin/Checked/BoogieParserHelper.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Core/bin/Checked/BoogieParserHelper.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Core/obj/Checked/BoogieCore.dll: binary file contents changed > dpkg-source: error: add Source/Core/obj/Checked/BoogieCore.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Core/obj/Checked/BoogieCore.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Core/obj/Checked/BoogieCore.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Core/obj/Checked/BoogieCore.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieBasetypes.dll: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Doomed/bin/Debug/BoogieBasetypes.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieBasetypes.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieBasetypes.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieCodeContractsExtender.dll: binary file contents > changed > dpkg-source: error: add > Source/Doomed/bin/Debug/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Doomed/bin/Debug/BoogieCodeContractsExtender.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieCodeContractsExtender.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/Doomed/bin/Debug/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieCore.dll: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieCore.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Doomed/bin/Debug/BoogieCore.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieCore.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieCore.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieDoomed.dll: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieDoomed.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Doomed/bin/Debug/BoogieDoomed.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieDoomed.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieDoomed.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieGraph.dll: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieGraph.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Doomed/bin/Debug/BoogieGraph.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieGraph.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieGraph.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieModel.dll: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieModel.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Doomed/bin/Debug/BoogieModel.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieModel.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieModel.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieParserHelper.dll: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieParserHelper.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Doomed/bin/Debug/BoogieParserHelper.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieParserHelper.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieParserHelper.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieVCExpr.dll: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieVCExpr.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Doomed/bin/Debug/BoogieVCExpr.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieVCExpr.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieVCExpr.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieVCGeneration.dll: binary file contents changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieVCGeneration.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Doomed/bin/Debug/BoogieVCGeneration.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/Doomed/bin/Debug/BoogieVCGeneration.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Doomed/bin/Debug/BoogieVCGeneration.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Doomed/obj/Debug/BoogieDoomed.dll: binary file contents changed > dpkg-source: error: add Source/Doomed/obj/Debug/BoogieDoomed.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Doomed/obj/Debug/BoogieDoomed.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Doomed/obj/Debug/BoogieDoomed.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Doomed/obj/Debug/BoogieDoomed.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/ExecutionEngine/obj/Debug/BoogieExecutionEngine.dll: binary file > contents changed > dpkg-source: error: add > Source/ExecutionEngine/obj/Debug/BoogieExecutionEngine.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/ExecutionEngine/obj/Debug/BoogieExecutionEngine.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/ExecutionEngine/obj/Debug/BoogieExecutionEngine.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/ExecutionEngine/obj/Debug/BoogieExecutionEngine.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Graph/bin/Checked/BoogieCodeContractsExtender.dll: binary file > contents changed > dpkg-source: error: add > Source/Graph/bin/Checked/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Graph/bin/Checked/BoogieCodeContractsExtender.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/Graph/bin/Checked/BoogieCodeContractsExtender.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/Graph/bin/Checked/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Graph/bin/Checked/BoogieGraph.dll: binary file contents changed > dpkg-source: error: add Source/Graph/bin/Checked/BoogieGraph.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Graph/bin/Checked/BoogieGraph.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Graph/bin/Checked/BoogieGraph.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Graph/bin/Checked/BoogieGraph.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Graph/obj/Checked/BoogieGraph.dll: binary file contents changed > dpkg-source: error: add Source/Graph/obj/Checked/BoogieGraph.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Graph/obj/Checked/BoogieGraph.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Graph/obj/Checked/BoogieGraph.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Graph/obj/Checked/BoogieGraph.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieBasetypes.dll: binary file contents changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Houdini/bin/Checked/BoogieBasetypes.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieBasetypes.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieBasetypes.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieCodeContractsExtender.dll: binary file > contents changed > dpkg-source: error: add > Source/Houdini/bin/Checked/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Houdini/bin/Checked/BoogieCodeContractsExtender.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieCodeContractsExtender.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/Houdini/bin/Checked/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieCore.dll: binary file contents changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieCore.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Houdini/bin/Checked/BoogieCore.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieCore.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieCore.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieGraph.dll: binary file contents changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieGraph.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Houdini/bin/Checked/BoogieGraph.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieGraph.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieGraph.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieHoudini.dll: binary file contents changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieHoudini.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Houdini/bin/Checked/BoogieHoudini.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieModel.dll: binary file contents changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieModel.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Houdini/bin/Checked/BoogieModel.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieModel.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieModel.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieParserHelper.dll: binary file contents > changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieParserHelper.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Houdini/bin/Checked/BoogieParserHelper.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieParserHelper.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieParserHelper.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieVCExpr.dll: binary file contents changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieVCExpr.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Houdini/bin/Checked/BoogieVCExpr.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieVCExpr.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieVCExpr.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieVCGeneration.dll: binary file contents > changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieVCGeneration.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Houdini/bin/Checked/BoogieVCGeneration.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/BoogieVCGeneration.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Houdini/bin/Checked/BoogieVCGeneration.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/Provers.SMTLib.dll: binary file contents changed > dpkg-source: error: add Source/Houdini/bin/Checked/Provers.SMTLib.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Houdini/bin/Checked/Provers.SMTLib.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/Houdini/bin/Checked/Provers.SMTLib.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Houdini/bin/Checked/Provers.SMTLib.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Houdini/obj/Checked/BoogieHoudini.dll: binary file contents changed > dpkg-source: error: add Source/Houdini/obj/Checked/BoogieHoudini.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Houdini/obj/Checked/BoogieHoudini.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Model/obj/Checked/BoogieModel.dll: binary file contents changed > dpkg-source: error: add Source/Model/obj/Checked/BoogieModel.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Model/obj/Checked/BoogieModel.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Model/obj/Checked/BoogieModel.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Model/obj/Checked/BoogieModel.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/ModelViewer/obj/x86/Checked/BoogieModelViewer.dll: binary file > contents changed > dpkg-source: error: add > Source/ModelViewer/obj/x86/Checked/BoogieModelViewer.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/ModelViewer/obj/x86/Checked/BoogieModelViewer.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/ModelViewer/obj/x86/Checked/BoogieModelViewer.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/ModelViewer/obj/x86/Checked/BoogieModelViewer.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/ModelViewer/obj/x86/Checked/Microsoft.Boogie.ModelViewer.Main.resources: > binary file contents changed > dpkg-source: error: add > Source/ModelViewer/obj/x86/Checked/Microsoft.Boogie.ModelViewer.Main.resources > in debian/source/include-binaries if you want to store the modified binary > in the debian tarball > dpkg-source: error: cannot represent change to > Source/ModelViewer/obj/x86/Checked/Microsoft.Boogie.ModelViewer.Properties.Resources.resources: > binary file contents changed > dpkg-source: error: add > Source/ModelViewer/obj/x86/Checked/Microsoft.Boogie.ModelViewer.Properties.Resources.resources > in debian/source/include-binaries if you want to store the modified binary > in the debian tarball > dpkg-source: error: cannot represent change to > Source/ModelViewer/obj/x86/Checked/Microsoft.Boogie.ModelViewer.SourceView.resources: > binary file contents changed > dpkg-source: error: add > Source/ModelViewer/obj/x86/Checked/Microsoft.Boogie.ModelViewer.SourceView.resources > in debian/source/include-binaries if you want to store the modified binary > in the debian tarball > dpkg-source: error: cannot represent change to > Source/ParserHelper/bin/Checked/BoogieCodeContractsExtender.dll: binary file > contents changed > dpkg-source: error: add > Source/ParserHelper/bin/Checked/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/ParserHelper/bin/Checked/BoogieCodeContractsExtender.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/ParserHelper/bin/Checked/BoogieCodeContractsExtender.dll.mdb: binary > file contents changed > dpkg-source: error: add > Source/ParserHelper/bin/Checked/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/ParserHelper/bin/Checked/BoogieParserHelper.dll: binary file contents > changed > dpkg-source: error: add > Source/ParserHelper/bin/Checked/BoogieParserHelper.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/ParserHelper/bin/Checked/BoogieParserHelper.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/ParserHelper/bin/Checked/BoogieParserHelper.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/ParserHelper/bin/Checked/BoogieParserHelper.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/ParserHelper/obj/Checked/BoogieParserHelper.dll: binary file contents > changed > dpkg-source: error: add > Source/ParserHelper/obj/Checked/BoogieParserHelper.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/ParserHelper/obj/Checked/BoogieParserHelper.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/ParserHelper/obj/Checked/BoogieParserHelper.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/ParserHelper/obj/Checked/BoogieParserHelper.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieBasetypes.dll: binary file contents changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Predication/bin/Debug/BoogieBasetypes.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieBasetypes.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogieBasetypes.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieCodeContractsExtender.dll: binary file > contents changed > dpkg-source: error: add > Source/Predication/bin/Debug/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Predication/bin/Debug/BoogieCodeContractsExtender.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieCodeContractsExtender.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/Predication/bin/Debug/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieCore.dll: binary file contents changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogieCore.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Predication/bin/Debug/BoogieCore.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieCore.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogieCore.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieGraph.dll: binary file contents changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogieGraph.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Predication/bin/Debug/BoogieGraph.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieGraph.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogieGraph.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieModel.dll: binary file contents changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogieModel.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Predication/bin/Debug/BoogieModel.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieModel.dll.mdb: binary file contents changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogieModel.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieParserHelper.dll: binary file contents > changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogieParserHelper.dll > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Predication/bin/Debug/BoogieParserHelper.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieParserHelper.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/Predication/bin/Debug/BoogieParserHelper.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogiePredication.dll: binary file contents > changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogiePredication.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Predication/bin/Debug/BoogiePredication.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogiePredication.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/Predication/bin/Debug/BoogiePredication.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieVCExpr.dll: binary file contents changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogieVCExpr.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Predication/bin/Debug/BoogieVCExpr.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieVCExpr.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogieVCExpr.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieVCGeneration.dll: binary file contents > changed > dpkg-source: error: add Source/Predication/bin/Debug/BoogieVCGeneration.dll > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Predication/bin/Debug/BoogieVCGeneration.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/Predication/bin/Debug/BoogieVCGeneration.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/Predication/bin/Debug/BoogieVCGeneration.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Predication/obj/Debug/BoogiePredication.dll: binary file contents > changed > dpkg-source: error: add Source/Predication/obj/Debug/BoogiePredication.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Predication/obj/Debug/BoogiePredication.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/Predication/obj/Debug/BoogiePredication.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/Predication/obj/Debug/BoogiePredication.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieBasetypes.dll: binary file contents > changed > dpkg-source: error: add Source/Provers/SMTLib/bin/Checked/BoogieBasetypes.dll > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Provers/SMTLib/bin/Checked/BoogieBasetypes.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieBasetypes.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/Provers/SMTLib/bin/Checked/BoogieBasetypes.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieCodeContractsExtender.dll: binary > file contents changed > dpkg-source: error: add > Source/Provers/SMTLib/bin/Checked/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Provers/SMTLib/bin/Checked/BoogieCodeContractsExtender.dll' will not > be represented in diff > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieCodeContractsExtender.dll.mdb: binary > file contents changed > dpkg-source: error: add > Source/Provers/SMTLib/bin/Checked/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieCore.dll: binary file contents changed > dpkg-source: error: add Source/Provers/SMTLib/bin/Checked/BoogieCore.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Provers/SMTLib/bin/Checked/BoogieCore.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieCore.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Provers/SMTLib/bin/Checked/BoogieCore.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieGraph.dll: binary file contents > changed > dpkg-source: error: add Source/Provers/SMTLib/bin/Checked/BoogieGraph.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Provers/SMTLib/bin/Checked/BoogieGraph.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieGraph.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Provers/SMTLib/bin/Checked/BoogieGraph.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieModel.dll: binary file contents > changed > dpkg-source: error: add Source/Provers/SMTLib/bin/Checked/BoogieModel.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Provers/SMTLib/bin/Checked/BoogieModel.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieModel.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/Provers/SMTLib/bin/Checked/BoogieModel.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieParserHelper.dll: binary file > contents changed > dpkg-source: error: add > Source/Provers/SMTLib/bin/Checked/BoogieParserHelper.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Provers/SMTLib/bin/Checked/BoogieParserHelper.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieParserHelper.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/Provers/SMTLib/bin/Checked/BoogieParserHelper.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieVCExpr.dll: binary file contents > changed > dpkg-source: error: add Source/Provers/SMTLib/bin/Checked/BoogieVCExpr.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Provers/SMTLib/bin/Checked/BoogieVCExpr.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieVCExpr.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/Provers/SMTLib/bin/Checked/BoogieVCExpr.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieVCGeneration.dll: binary file > contents changed > dpkg-source: error: add > Source/Provers/SMTLib/bin/Checked/BoogieVCGeneration.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Provers/SMTLib/bin/Checked/BoogieVCGeneration.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/BoogieVCGeneration.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/Provers/SMTLib/bin/Checked/BoogieVCGeneration.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/Provers.SMTLib.dll: binary file contents > changed > dpkg-source: error: add Source/Provers/SMTLib/bin/Checked/Provers.SMTLib.dll > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Provers/SMTLib/bin/Checked/Provers.SMTLib.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/bin/Checked/Provers.SMTLib.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/Provers/SMTLib/bin/Checked/Provers.SMTLib.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/obj/Checked/Provers.SMTLib.dll: binary file contents > changed > dpkg-source: error: add Source/Provers/SMTLib/obj/Checked/Provers.SMTLib.dll > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/Provers/SMTLib/obj/Checked/Provers.SMTLib.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/Provers/SMTLib/obj/Checked/Provers.SMTLib.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/Provers/SMTLib/obj/Checked/Provers.SMTLib.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/BasetypesTests/bin/Debug/BasetypesTests.dll: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/BasetypesTests/bin/Debug/BasetypesTests.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/BasetypesTests/bin/Debug/BasetypesTests.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/BasetypesTests/bin/Debug/BasetypesTests.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/BasetypesTests/bin/Debug/BasetypesTests.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/BasetypesTests/bin/Debug/BoogieBasetypes.dll: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/BasetypesTests/bin/Debug/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/BasetypesTests/bin/Debug/BoogieBasetypes.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/BasetypesTests/bin/Debug/BoogieBasetypes.dll.mdb: binary > file contents changed > dpkg-source: error: add > Source/UnitTests/BasetypesTests/bin/Debug/BoogieBasetypes.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/BasetypesTests/bin/Debug/BoogieCodeContractsExtender.dll: > binary file contents changed > dpkg-source: error: add > Source/UnitTests/BasetypesTests/bin/Debug/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/BasetypesTests/bin/Debug/BoogieCodeContractsExtender.dll' > will not be represented in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/BasetypesTests/bin/Debug/BoogieCodeContractsExtender.dll.mdb: > binary file contents changed > dpkg-source: error: add > Source/UnitTests/BasetypesTests/bin/Debug/BoogieCodeContractsExtender.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/BasetypesTests/obj/Debug/BasetypesTests.dll: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/BasetypesTests/obj/Debug/BasetypesTests.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/BasetypesTests/obj/Debug/BasetypesTests.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/BasetypesTests/obj/Debug/BasetypesTests.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/BasetypesTests/obj/Debug/BasetypesTests.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/BoogieBasetypes.dll: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/CoreTests/bin/Debug/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/CoreTests/bin/Debug/BoogieBasetypes.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/BoogieBasetypes.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/CoreTests/bin/Debug/BoogieBasetypes.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/BoogieCodeContractsExtender.dll: binary > file contents changed > dpkg-source: error: add > Source/UnitTests/CoreTests/bin/Debug/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/CoreTests/bin/Debug/BoogieCodeContractsExtender.dll' will > not be represented in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/BoogieCodeContractsExtender.dll.mdb: > binary file contents changed > dpkg-source: error: add > Source/UnitTests/CoreTests/bin/Debug/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/BoogieCore.dll: binary file contents > changed > dpkg-source: error: add Source/UnitTests/CoreTests/bin/Debug/BoogieCore.dll > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/CoreTests/bin/Debug/BoogieCore.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/BoogieCore.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/UnitTests/CoreTests/bin/Debug/BoogieCore.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/BoogieGraph.dll: binary file contents > changed > dpkg-source: error: add Source/UnitTests/CoreTests/bin/Debug/BoogieGraph.dll > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/CoreTests/bin/Debug/BoogieGraph.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/BoogieGraph.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/CoreTests/bin/Debug/BoogieGraph.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/BoogieParserHelper.dll: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/CoreTests/bin/Debug/BoogieParserHelper.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/CoreTests/bin/Debug/BoogieParserHelper.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/BoogieParserHelper.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/CoreTests/bin/Debug/BoogieParserHelper.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/CoreTests.dll: binary file contents > changed > dpkg-source: error: add Source/UnitTests/CoreTests/bin/Debug/CoreTests.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/CoreTests/bin/Debug/CoreTests.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/CoreTests.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/UnitTests/CoreTests/bin/Debug/CoreTests.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/TestUtil.dll: binary file contents > changed > dpkg-source: error: add Source/UnitTests/CoreTests/bin/Debug/TestUtil.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/CoreTests/bin/Debug/TestUtil.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/bin/Debug/TestUtil.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/UnitTests/CoreTests/bin/Debug/TestUtil.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/obj/Debug/CoreTests.dll: binary file contents > changed > dpkg-source: error: add Source/UnitTests/CoreTests/obj/Debug/CoreTests.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/CoreTests/obj/Debug/CoreTests.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/CoreTests/obj/Debug/CoreTests.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/UnitTests/CoreTests/obj/Debug/CoreTests.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/bin/Debug/BoogieBasetypes.dll: binary file contents > changed > dpkg-source: error: add > Source/UnitTests/TestUtil/bin/Debug/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/TestUtil/bin/Debug/BoogieBasetypes.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/bin/Debug/BoogieBasetypes.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/TestUtil/bin/Debug/BoogieBasetypes.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/bin/Debug/BoogieCodeContractsExtender.dll: binary > file contents changed > dpkg-source: error: add > Source/UnitTests/TestUtil/bin/Debug/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/TestUtil/bin/Debug/BoogieCodeContractsExtender.dll' will > not be represented in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/bin/Debug/BoogieCodeContractsExtender.dll.mdb: > binary file contents changed > dpkg-source: error: add > Source/UnitTests/TestUtil/bin/Debug/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/bin/Debug/BoogieCore.dll: binary file contents > changed > dpkg-source: error: add Source/UnitTests/TestUtil/bin/Debug/BoogieCore.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/TestUtil/bin/Debug/BoogieCore.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/bin/Debug/BoogieCore.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/UnitTests/TestUtil/bin/Debug/BoogieCore.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/bin/Debug/BoogieGraph.dll: binary file contents > changed > dpkg-source: error: add Source/UnitTests/TestUtil/bin/Debug/BoogieGraph.dll > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/TestUtil/bin/Debug/BoogieGraph.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/bin/Debug/BoogieGraph.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/UnitTests/TestUtil/bin/Debug/BoogieGraph.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/bin/Debug/BoogieParserHelper.dll: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/TestUtil/bin/Debug/BoogieParserHelper.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/TestUtil/bin/Debug/BoogieParserHelper.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/bin/Debug/BoogieParserHelper.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/UnitTests/TestUtil/bin/Debug/BoogieParserHelper.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/bin/Debug/TestUtil.dll: binary file contents changed > dpkg-source: error: add Source/UnitTests/TestUtil/bin/Debug/TestUtil.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/TestUtil/bin/Debug/TestUtil.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/bin/Debug/TestUtil.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/UnitTests/TestUtil/bin/Debug/TestUtil.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/obj/Debug/TestUtil.dll: binary file contents changed > dpkg-source: error: add Source/UnitTests/TestUtil/obj/Debug/TestUtil.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/UnitTests/TestUtil/obj/Debug/TestUtil.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/UnitTests/TestUtil/obj/Debug/TestUtil.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/UnitTests/TestUtil/obj/Debug/TestUtil.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCExpr/bin/Checked/BoogieBasetypes.dll: binary file contents changed > dpkg-source: error: add Source/VCExpr/bin/Checked/BoogieBasetypes.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCExpr/bin/Checked/BoogieBasetypes.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/VCExpr/bin/Checked/BoogieBasetypes.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/VCExpr/bin/Checked/BoogieBasetypes.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCExpr/bin/Checked/BoogieCodeContractsExtender.dll: binary file > contents changed > dpkg-source: error: add > Source/VCExpr/bin/Checked/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCExpr/bin/Checked/BoogieCodeContractsExtender.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/VCExpr/bin/Checked/BoogieCodeContractsExtender.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/VCExpr/bin/Checked/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCExpr/bin/Checked/BoogieCore.dll: binary file contents changed > dpkg-source: error: add Source/VCExpr/bin/Checked/BoogieCore.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCExpr/bin/Checked/BoogieCore.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/VCExpr/bin/Checked/BoogieCore.dll.mdb: binary file contents changed > dpkg-source: error: add Source/VCExpr/bin/Checked/BoogieCore.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCExpr/bin/Checked/BoogieGraph.dll: binary file contents changed > dpkg-source: error: add Source/VCExpr/bin/Checked/BoogieGraph.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCExpr/bin/Checked/BoogieGraph.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/VCExpr/bin/Checked/BoogieGraph.dll.mdb: binary file contents changed > dpkg-source: error: add Source/VCExpr/bin/Checked/BoogieGraph.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCExpr/bin/Checked/BoogieParserHelper.dll: binary file contents changed > dpkg-source: error: add Source/VCExpr/bin/Checked/BoogieParserHelper.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCExpr/bin/Checked/BoogieParserHelper.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/VCExpr/bin/Checked/BoogieParserHelper.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/VCExpr/bin/Checked/BoogieParserHelper.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCExpr/bin/Checked/BoogieVCExpr.dll: binary file contents changed > dpkg-source: error: add Source/VCExpr/bin/Checked/BoogieVCExpr.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCExpr/bin/Checked/BoogieVCExpr.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/VCExpr/bin/Checked/BoogieVCExpr.dll.mdb: binary file contents changed > dpkg-source: error: add Source/VCExpr/bin/Checked/BoogieVCExpr.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCExpr/obj/Checked/BoogieVCExpr.dll: binary file contents changed > dpkg-source: error: add Source/VCExpr/obj/Checked/BoogieVCExpr.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCExpr/obj/Checked/BoogieVCExpr.dll' will not be represented in diff > dpkg-source: error: cannot represent change to > Source/VCExpr/obj/Checked/BoogieVCExpr.dll.mdb: binary file contents changed > dpkg-source: error: add Source/VCExpr/obj/Checked/BoogieVCExpr.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieBasetypes.dll: binary file contents > changed > dpkg-source: error: add Source/VCGeneration/bin/Checked/BoogieBasetypes.dll > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCGeneration/bin/Checked/BoogieBasetypes.dll' will not be represented > in diff > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieBasetypes.dll.mdb: binary file contents > changed > dpkg-source: error: add > Source/VCGeneration/bin/Checked/BoogieBasetypes.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieCodeContractsExtender.dll: binary file > contents changed > dpkg-source: error: add > Source/VCGeneration/bin/Checked/BoogieCodeContractsExtender.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCGeneration/bin/Checked/BoogieCodeContractsExtender.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieCodeContractsExtender.dll.mdb: binary > file contents changed > dpkg-source: error: add > Source/VCGeneration/bin/Checked/BoogieCodeContractsExtender.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieCore.dll: binary file contents changed > dpkg-source: error: add Source/VCGeneration/bin/Checked/BoogieCore.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCGeneration/bin/Checked/BoogieCore.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieCore.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/VCGeneration/bin/Checked/BoogieCore.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieGraph.dll: binary file contents changed > dpkg-source: error: add Source/VCGeneration/bin/Checked/BoogieGraph.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCGeneration/bin/Checked/BoogieGraph.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieGraph.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/VCGeneration/bin/Checked/BoogieGraph.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieModel.dll: binary file contents changed > dpkg-source: error: add Source/VCGeneration/bin/Checked/BoogieModel.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCGeneration/bin/Checked/BoogieModel.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieModel.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/VCGeneration/bin/Checked/BoogieModel.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieParserHelper.dll: binary file contents > changed > dpkg-source: error: add > Source/VCGeneration/bin/Checked/BoogieParserHelper.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCGeneration/bin/Checked/BoogieParserHelper.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieParserHelper.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/VCGeneration/bin/Checked/BoogieParserHelper.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieVCExpr.dll: binary file contents changed > dpkg-source: error: add Source/VCGeneration/bin/Checked/BoogieVCExpr.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCGeneration/bin/Checked/BoogieVCExpr.dll' will not be represented in > diff > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieVCExpr.dll.mdb: binary file contents > changed > dpkg-source: error: add Source/VCGeneration/bin/Checked/BoogieVCExpr.dll.mdb > in debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieVCGeneration.dll: binary file contents > changed > dpkg-source: error: add > Source/VCGeneration/bin/Checked/BoogieVCGeneration.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCGeneration/bin/Checked/BoogieVCGeneration.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/VCGeneration/bin/Checked/BoogieVCGeneration.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/VCGeneration/bin/Checked/BoogieVCGeneration.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > Source/VCGeneration/obj/Checked/BoogieVCGeneration.dll: binary file contents > changed > dpkg-source: error: add > Source/VCGeneration/obj/Checked/BoogieVCGeneration.dll in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of > 'Source/VCGeneration/obj/Checked/BoogieVCGeneration.dll' will not be > represented in diff > dpkg-source: error: cannot represent change to > Source/VCGeneration/obj/Checked/BoogieVCGeneration.dll.mdb: binary file > contents changed > dpkg-source: error: add > Source/VCGeneration/obj/Checked/BoogieVCGeneration.dll.mdb in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > 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/boogie_2.4.1+dfsg-0.1_unstable.log If you reassign this bug to another package, please mark it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects If you fail to reproduce this, please provide a build log and diff it with mine so that we can identify if something relevant changed in the meantime.
