cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S
-------------------------------------------------------------------------------------------------------------------------------
dpkg-buildpackage: info: source package coq-deriving
dpkg-buildpackage: info: source version 0.1.1-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-deriving using existing ./coq-deriving_0.1.1.orig.tar.gz
dpkg-source: error: cannot represent change to tests/mutual.vo: binary file contents changed
dpkg-source: error: add tests/mutual.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 'tests/mutual.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/mutual.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tests/nested.vo: binary file contents changed
dpkg-source: error: add tests/nested.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 'tests/nested.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/nested.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tests/records.vo: binary file contents changed
dpkg-source: error: add tests/records.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 'tests/records.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/records.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tests/syntax.vo: binary file contents changed
dpkg-source: error: add tests/syntax.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 'tests/syntax.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/syntax.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tests/three.vo: binary file contents changed
dpkg-source: error: add tests/three.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 'tests/three.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/three.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tests/tree.vo: binary file contents changed
dpkg-source: error: add tests/tree.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 'tests/tree.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/tree.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/base.vo: binary file contents changed
dpkg-source: error: add theories/base.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/base.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/base.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/deriving.vo: binary file contents changed
dpkg-source: error: add theories/deriving.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/deriving.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/deriving.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/ind.vo: binary file contents changed
dpkg-source: error: add theories/ind.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/ind.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/ind.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/infer.vo: binary file contents changed
dpkg-source: error: add theories/infer.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/infer.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/infer.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/instances.vo: binary file contents changed
dpkg-source: error: add theories/instances.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/instances.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/instances.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/instances/eqtype.vo: binary file contents changed
dpkg-source: error: add theories/instances/eqtype.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/instances/eqtype.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/instances/eqtype.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/instances/fintype.vo: binary file contents changed
dpkg-source: error: add theories/instances/fintype.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/instances/fintype.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/instances/fintype.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/instances/order.vo: binary file contents changed
dpkg-source: error: add theories/instances/order.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/instances/order.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/instances/order.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/instances/tree_of_ind.vo: binary file contents changed
dpkg-source: error: add theories/instances/tree_of_ind.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/instances/tree_of_ind.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/instances/tree_of_ind.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/tactics.vo: binary file contents changed
dpkg-source: error: add theories/tactics.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/tactics.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/tactics.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: | 489 |
Nodes: | 16 (2 / 14) |
Uptime: | 43:21:57 |
Calls: | 9,670 |
Calls today: | 1 |
Files: | 13,716 |
Messages: | 6,169,853 |