cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S
------------------------------------------------------------------------------------------------------------------------------
dpkg-buildpackage: info: source package coq-unicoq
dpkg-buildpackage: info: source version 1.6-8.17-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
dpkg-source --before-build .
debian/rules clean
dh clean --with coq,ocaml
debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
Doesn't work as expected
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_ocamlclean
dh_clean
dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building coq-unicoq using existing ./coq-unicoq_1.6-8.17.orig.tar.gz
dpkg-source: error: cannot represent change to src/logger.cmi: binary file contents changed
dpkg-source: error: add src/logger.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/logger.cmt: binary file contents changed
dpkg-source: error: add src/logger.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/logger.cmti: binary file contents changed
dpkg-source: error: add src/logger.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/logger.cmx: binary file contents changed
dpkg-source: error: add src/logger.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/logger.o: binary file contents changed
dpkg-source: error: add src/logger.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/munify.cmi: binary file contents changed
dpkg-source: error: add src/munify.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/munify.cmt: binary file contents changed
dpkg-source: error: add src/munify.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/munify.cmti: binary file contents changed
dpkg-source: error: add src/munify.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/munify.cmx: binary file contents changed
dpkg-source: error: add src/munify.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/munify.o: binary file contents changed
dpkg-source: error: add src/munify.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/unicoq.a: binary file contents changed
dpkg-source: error: add src/unicoq.a in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/unicoq.cmi: binary file contents changed
dpkg-source: error: add src/unicoq.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/unicoq.cmt: binary file contents changed
dpkg-source: error: add src/unicoq.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/unicoq.cmx: binary file contents changed
dpkg-source: error: add src/unicoq.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/unicoq.cmxa: binary file contents changed
dpkg-source: error: add src/unicoq.cmxa in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/unicoq.cmxs: binary file contents changed
dpkg-source: error: add src/unicoq.cmxs in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: executable mode 0755 of 'src/unicoq.cmxs' will not be represented in diff
dpkg-source: error: cannot represent change to src/unicoq.o: binary file contents changed
dpkg-source: error: add src/unicoq.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/unitactics.cmi: binary file contents changed
dpkg-source: error: add src/unitactics.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/unitactics.cmt: binary file contents changed
dpkg-source: error: add src/unitactics.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/unitactics.cmx: binary file contents changed
dpkg-source: error: add src/unitactics.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to src/unitactics.o: binary file contents changed
dpkg-source: error: add src/unitactics.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to test-suite/bug_41.vo: binary file contents changed
dpkg-source: error: add test-suite/bug_41.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'test-suite/bug_41.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'test-suite/bug_41.vos' will not be represented in diff
dpkg-source: error: cannot represent change to test-suite/bug_44.vo: binary file contents changed
dpkg-source: error: add test-suite/bug_44.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'test-suite/bug_44.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'test-suite/bug_44.vos' will not be represented in diff
dpkg-source: error: cannot represent change to test-suite/instantiate.vo: binary file contents changed
dpkg-source: error: add test-suite/instantiate.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'test-suite/instantiate.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'test-suite/instantiate.vos' will not be represented in diff
dpkg-source: error: cannot represent change to test-suite/microtests.vo: binary file contents changed
dpkg-source: error: add test-suite/microtests.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'test-suite/microtests.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'test-suite/microtests.vos' will not be represented in diff
dpkg-source: error: cannot represent change to test-suite/munifytest.vo: binary file contents changed
dpkg-source: error: add test-suite/munifytest.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'test-suite/munifytest.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'test-suite/munifytest.vos' will not be represented in diff
dpkg-source: error: cannot represent change to test-suite/primitive.vo: binary file contents changed
dpkg-source: error: add test-suite/primitive.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'test-suite/primitive.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'test-suite/primitive.vos' will not be represented in diff
dpkg-source: error: cannot represent change to test-suite/timings.vo: binary file contents changed
dpkg-source: error: add test-suite/timings.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'test-suite/timings.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'test-suite/timings.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/Unicoq.vo: binary file contents changed
dpkg-source: error: add theories/Unicoq.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'theories/Unicoq.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/Unicoq.vos' will not be represented in diff
dpkg-source: error: unrepresentable changes to source
dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 1
E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S' failed to run.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 307 |
Nodes: | 16 (2 / 14) |
Uptime: | 50:57:20 |
Calls: | 6,911 |
Calls today: | 1 |
Files: | 12,379 |
Messages: | 5,429,932 |