Bug#1044715: coq-ext-lib: Fails to build source after successful build
Source: coq-ext-lib
Version: 0.11.8-1
Severity: minor
Tags: trixie sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: debian-qa@lists.debian.org
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 coq-ext-lib
> dpkg-buildpackage: info: source version 0.11.8-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
> debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> # not good
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-ext-lib using existing ./coq-ext-lib_0.11.8.orig.tar.gz
> dpkg-source: error: cannot represent change to .lia.cache: binary file contents changed
> dpkg-source: error: add .lia.cache in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to examples/.lia.cache: binary file contents changed
> dpkg-source: error: add examples/.lia.cache in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to examples/ConsiderDemo.vo: binary file contents changed
> dpkg-source: error: add examples/ConsiderDemo.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 'examples/ConsiderDemo.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/ConsiderDemo.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to examples/EvalWithExc.vo: binary file contents changed
> dpkg-source: error: add examples/EvalWithExc.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 'examples/EvalWithExc.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/EvalWithExc.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to examples/MonadReasoning.vo: binary file contents changed
> dpkg-source: error: add examples/MonadReasoning.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 'examples/MonadReasoning.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/MonadReasoning.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to examples/Notations.vo: binary file contents changed
> dpkg-source: error: add examples/Notations.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 'examples/Notations.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/Notations.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to examples/Printing.vo: binary file contents changed
> dpkg-source: error: add examples/Printing.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 'examples/Printing.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/Printing.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to examples/StateTMonad.vo: binary file contents changed
> dpkg-source: error: add examples/StateTMonad.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 'examples/StateTMonad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/StateTMonad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to examples/UsingSets.vo: binary file contents changed
> dpkg-source: error: add examples/UsingSets.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 'examples/UsingSets.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/UsingSets.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to examples/WithDemo.vo: binary file contents changed
> dpkg-source: error: add examples/WithDemo.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 'examples/WithDemo.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/WithDemo.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Core/Any.vo: binary file contents changed
> dpkg-source: error: add theories/Core/Any.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/Core/Any.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Core/Any.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Core/CmpDec.vo: binary file contents changed
> dpkg-source: error: add theories/Core/CmpDec.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/Core/CmpDec.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Core/CmpDec.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Core/Decision.vo: binary file contents changed
> dpkg-source: error: add theories/Core/Decision.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/Core/Decision.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Core/Decision.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Core/EquivDec.vo: binary file contents changed
> dpkg-source: error: add theories/Core/EquivDec.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/Core/EquivDec.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Core/EquivDec.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Core/RelDec.vo: binary file contents changed
> dpkg-source: error: add theories/Core/RelDec.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/Core/RelDec.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Core/RelDec.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Bool.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Bool.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/Data/Bool.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Bool.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Char.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Char.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/Data/Char.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Char.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Checked.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Checked.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/Data/Checked.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Checked.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Eq.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Eq.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/Data/Eq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Eq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Eq/UIP_trans.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Eq/UIP_trans.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/Data/Eq/UIP_trans.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Eq/UIP_trans.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Fin.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Fin.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/Data/Fin.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Fin.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Fun.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Fun.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/Data/Fun.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Fun.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Graph/BuildGraph.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Graph/BuildGraph.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/Data/Graph/BuildGraph.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Graph/BuildGraph.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Graph/Graph.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Graph/Graph.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/Data/Graph/Graph.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Graph/Graph.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Graph/GraphAdjList.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Graph/GraphAdjList.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/Data/Graph/GraphAdjList.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Graph/GraphAdjList.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Graph/GraphAlgos.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Graph/GraphAlgos.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/Data/Graph/GraphAlgos.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Graph/GraphAlgos.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/HList.vo: binary file contents changed
> dpkg-source: error: add theories/Data/HList.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/Data/HList.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/HList.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Lazy.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Lazy.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/Data/Lazy.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Lazy.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/LazyList.vo: binary file contents changed
> dpkg-source: error: add theories/Data/LazyList.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/Data/LazyList.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/LazyList.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/List.vo: binary file contents changed
> dpkg-source: error: add theories/Data/List.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/Data/List.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/List.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/ListFirstnSkipn.vo: binary file contents changed
> dpkg-source: error: add theories/Data/ListFirstnSkipn.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/Data/ListFirstnSkipn.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/ListFirstnSkipn.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/ListNth.vo: binary file contents changed
> dpkg-source: error: add theories/Data/ListNth.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/Data/ListNth.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/ListNth.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Map/FMapAList.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Map/FMapAList.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/Data/Map/FMapAList.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Map/FMapAList.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Map/FMapPositive.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Map/FMapPositive.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/Data/Map/FMapPositive.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Map/FMapPositive.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Map/FMapTwoThreeK.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Map/FMapTwoThreeK.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/Data/Map/FMapTwoThreeK.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Map/FMapTwoThreeK.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Member.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Member.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/Data/Member.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Member.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Monads/ContMonad.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Monads/ContMonad.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/Data/Monads/ContMonad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Monads/ContMonad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Monads/EitherMonad.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Monads/EitherMonad.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/Data/Monads/EitherMonad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Monads/EitherMonad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Monads/FuelMonad.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Monads/FuelMonad.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/Data/Monads/FuelMonad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Monads/FuelMonad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Monads/FuelMonadLaws.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Monads/FuelMonadLaws.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/Data/Monads/FuelMonadLaws.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Monads/FuelMonadLaws.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Monads/IdentityMonad.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Monads/IdentityMonad.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/Data/Monads/IdentityMonad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Monads/IdentityMonad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Monads/IdentityMonadLaws.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Monads/IdentityMonadLaws.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/Data/Monads/IdentityMonadLaws.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Monads/IdentityMonadLaws.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Monads/OptionMonad.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Monads/OptionMonad.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/Data/Monads/OptionMonad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Monads/OptionMonad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Monads/OptionMonadLaws.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Monads/OptionMonadLaws.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/Data/Monads/OptionMonadLaws.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Monads/OptionMonadLaws.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Monads/ReaderMonad.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Monads/ReaderMonad.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/Data/Monads/ReaderMonad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Monads/ReaderMonad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Monads/ReaderMonadLaws.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Monads/ReaderMonadLaws.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/Data/Monads/ReaderMonadLaws.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Monads/ReaderMonadLaws.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Monads/StateMonad.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Monads/StateMonad.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/Data/Monads/StateMonad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Monads/StateMonad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Monads/WriterMonad.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Monads/WriterMonad.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/Data/Monads/WriterMonad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Monads/WriterMonad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/N.vo: binary file contents changed
> dpkg-source: error: add theories/Data/N.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/Data/N.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/N.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Nat.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Nat.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/Data/Nat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Nat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Option.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Option.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/Data/Option.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Option.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/PList.vo: binary file contents changed
> dpkg-source: error: add theories/Data/PList.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/Data/PList.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/PList.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/POption.vo: binary file contents changed
> dpkg-source: error: add theories/Data/POption.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/Data/POption.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/POption.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/PPair.vo: binary file contents changed
> dpkg-source: error: add theories/Data/PPair.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/Data/PPair.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/PPair.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Pair.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Pair.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/Data/Pair.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Pair.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Positive.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Positive.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/Data/Positive.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Positive.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/PreFun.vo: binary file contents changed
> dpkg-source: error: add theories/Data/PreFun.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/Data/PreFun.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/PreFun.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Prop.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Prop.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/Data/Prop.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Prop.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Set/ListSet.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Set/ListSet.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/Data/Set/ListSet.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Set/ListSet.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Set/SetMap.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Set/SetMap.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/Data/Set/SetMap.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Set/SetMap.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Set/TwoThreeTrees.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Set/TwoThreeTrees.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/Data/Set/TwoThreeTrees.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Set/TwoThreeTrees.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/SigT.vo: binary file contents changed
> dpkg-source: error: add theories/Data/SigT.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/Data/SigT.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/SigT.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Stream.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Stream.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/Data/Stream.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Stream.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/String.vo: binary file contents changed
> dpkg-source: error: add theories/Data/String.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/Data/String.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/String.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Sum.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Sum.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/Data/Sum.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Sum.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/SumN.vo: binary file contents changed
> dpkg-source: error: add theories/Data/SumN.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/Data/SumN.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/SumN.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Tuple.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Tuple.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/Data/Tuple.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Tuple.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Unit.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Unit.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/Data/Unit.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Unit.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Vector.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Vector.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/Data/Vector.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Vector.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Data/Z.vo: binary file contents changed
> dpkg-source: error: add theories/Data/Z.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/Data/Z.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Data/Z.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ExtLib.vo: binary file contents changed
> dpkg-source: error: add theories/ExtLib.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/ExtLib.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ExtLib.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Generic/Data.vo: binary file contents changed
> dpkg-source: error: add theories/Generic/Data.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/Generic/Data.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Generic/Data.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Generic/DerivingData.vo: binary file contents changed
> dpkg-source: error: add theories/Generic/DerivingData.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/Generic/DerivingData.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Generic/DerivingData.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Generic/Func.vo: binary file contents changed
> dpkg-source: error: add theories/Generic/Func.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/Generic/Func.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Generic/Func.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Generic/Ind.vo: binary file contents changed
> dpkg-source: error: add theories/Generic/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/Generic/Ind.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Generic/Ind.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Programming/Eqv.vo: binary file contents changed
> dpkg-source: error: add theories/Programming/Eqv.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/Programming/Eqv.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Programming/Eqv.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Programming/Extras.vo: binary file contents changed
> dpkg-source: error: add theories/Programming/Extras.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/Programming/Extras.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Programming/Extras.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Programming/Injection.vo: binary file contents changed
> dpkg-source: error: add theories/Programming/Injection.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/Programming/Injection.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Programming/Injection.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Programming/Le.vo: binary file contents changed
> dpkg-source: error: add theories/Programming/Le.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/Programming/Le.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Programming/Le.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Programming/Show.vo: binary file contents changed
> dpkg-source: error: add theories/Programming/Show.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/Programming/Show.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Programming/Show.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Programming/With.vo: binary file contents changed
> dpkg-source: error: add theories/Programming/With.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/Programming/With.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Programming/With.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Recur/Facts.vo: binary file contents changed
> dpkg-source: error: add theories/Recur/Facts.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/Recur/Facts.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Recur/Facts.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Recur/GenRec.vo: binary file contents changed
> dpkg-source: error: add theories/Recur/GenRec.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/Recur/GenRec.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Recur/GenRec.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Recur/Measure.vo: binary file contents changed
> dpkg-source: error: add theories/Recur/Measure.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/Recur/Measure.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Recur/Measure.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Recur/Relation.vo: binary file contents changed
> dpkg-source: error: add theories/Recur/Relation.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/Recur/Relation.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Recur/Relation.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Relations/Compose.vo: binary file contents changed
> dpkg-source: error: add theories/Relations/Compose.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/Relations/Compose.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Relations/Compose.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Relations/TransitiveClosure.vo: binary file contents changed
> dpkg-source: error: add theories/Relations/TransitiveClosure.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/Relations/TransitiveClosure.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Relations/TransitiveClosure.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/Applicative.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/Applicative.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/Structures/Applicative.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/Applicative.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/BinOps.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/BinOps.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/Structures/BinOps.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/BinOps.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/CoFunctor.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/CoFunctor.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/Structures/CoFunctor.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/CoFunctor.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/CoMonad.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/CoMonad.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/Structures/CoMonad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/CoMonad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/CoMonadLaws.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/CoMonadLaws.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/Structures/CoMonadLaws.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/CoMonadLaws.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/EqDep.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/EqDep.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/Structures/EqDep.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/EqDep.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/Foldable.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/Foldable.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/Structures/Foldable.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/Foldable.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/Functor.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/Functor.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/Structures/Functor.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/Functor.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/FunctorLaws.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/FunctorLaws.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/Structures/FunctorLaws.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/FunctorLaws.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/Maps.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/Maps.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/Structures/Maps.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/Maps.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/Monad.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/Monad.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/Structures/Monad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/Monad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/MonadCont.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/MonadCont.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/Structures/MonadCont.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/MonadCont.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/MonadExc.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/MonadExc.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/Structures/MonadExc.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/MonadExc.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/MonadFix.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/MonadFix.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/Structures/MonadFix.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/MonadFix.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/MonadLaws.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/MonadLaws.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/Structures/MonadLaws.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/MonadLaws.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/MonadPlus.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/MonadPlus.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/Structures/MonadPlus.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/MonadPlus.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/MonadReader.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/MonadReader.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/Structures/MonadReader.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/MonadReader.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/MonadState.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/MonadState.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/Structures/MonadState.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/MonadState.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/MonadTrans.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/MonadTrans.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/Structures/MonadTrans.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/MonadTrans.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/MonadWriter.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/MonadWriter.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/Structures/MonadWriter.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/MonadWriter.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/MonadZero.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/MonadZero.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/Structures/MonadZero.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/MonadZero.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/Monads.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/Monads.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/Structures/Monads.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/Monads.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/Monoid.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/Monoid.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/Structures/Monoid.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/Monoid.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/Reducible.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/Reducible.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/Structures/Reducible.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/Reducible.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/Sets.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/Sets.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/Structures/Sets.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/Sets.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Structures/Traversable.vo: binary file contents changed
> dpkg-source: error: add theories/Structures/Traversable.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/Structures/Traversable.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Structures/Traversable.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: cannot represent change to theories/Tactics/BoolTac.vo: binary file contents changed
> dpkg-source: error: add theories/Tactics/BoolTac.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/BoolTac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Tactics/BoolTac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Tactics/Cases.vo: binary file contents changed
> dpkg-source: error: add theories/Tactics/Cases.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/Cases.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Tactics/Cases.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Tactics/Consider.vo: binary file contents changed
> dpkg-source: error: add theories/Tactics/Consider.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/Consider.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Tactics/Consider.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Tactics/EqDep.vo: binary file contents changed
> dpkg-source: error: add theories/Tactics/EqDep.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/EqDep.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Tactics/EqDep.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Tactics/Equality.vo: binary file contents changed
> dpkg-source: error: add theories/Tactics/Equality.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/Equality.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Tactics/Equality.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Tactics/Forward.vo: binary file contents changed
> dpkg-source: error: add theories/Tactics/Forward.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/Forward.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Tactics/Forward.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Tactics/Hide.vo: binary file contents changed
> dpkg-source: error: add theories/Tactics/Hide.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/Hide.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Tactics/Hide.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Tactics/Injection.vo: binary file contents changed
> dpkg-source: error: add theories/Tactics/Injection.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/Injection.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Tactics/Injection.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Tactics/MonadTac.vo: binary file contents changed
> dpkg-source: error: add theories/Tactics/MonadTac.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/MonadTac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Tactics/MonadTac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Tactics/Parametric.vo: binary file contents changed
> dpkg-source: error: add theories/Tactics/Parametric.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/Parametric.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Tactics/Parametric.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Tactics/Reify.vo: binary file contents changed
> dpkg-source: error: add theories/Tactics/Reify.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/Reify.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Tactics/Reify.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.
The full build log is available from:
http://qa-logs.debian.net/2023/08/13/coq-ext-lib_0.11.8-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.
Reply to: