cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S
-----------------------------------------------------------------------------------------------------------------------------
dpkg-buildpackage: info: source package coq-libhyps
dpkg-buildpackage: info: source version 2.0.6-3
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
dh_auto_clean
make -j8 clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
CLEAN
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_clean
dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building coq-libhyps using existing ./coq-libhyps_2.0.6.orig.tar.gz
dpkg-source: info: local changes detected, the modified files are:
coq-libhyps-2.0.6/LibHyps/.LibDecomp.aux
coq-libhyps-2.0.6/LibHyps/.LibHyps.aux
coq-libhyps-2.0.6/LibHyps/.LibHypsNaming.aux
coq-libhyps-2.0.6/LibHyps/.LibHypsTactics.aux
coq-libhyps-2.0.6/LibHyps/.LibSpecialize.aux
coq-libhyps-2.0.6/LibHyps/.TacNewHyps.aux
coq-libhyps-2.0.6/Makefile
coq-libhyps-2.0.6/Makefile.conf
coq-libhyps-2.0.6/_CoqProject
dpkg-source: error: aborting due to unexpected upstream changes, see /tmp/coq-libhyps_2.0.6-3.diff.PkE_CS
dpkg-source: info: Hint: make sure the version in debian/changelog matches the unpacked source tree
dpkg-source: info: you can integrate the local changes with dpkg-source --commit
dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 2
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 (1 / 15) |
Uptime: | 49:12:11 |
Calls: | 6,910 |
Files: | 12,379 |
Messages: | 5,429,804 |