[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1044715: marked as done (coq-ext-lib: Fails to build source after successful build)

Your message dated Fri, 22 Dec 2023 10:35:10 +0000
with message-id <E1rGcs2-00DSdZ-Cu@fasolo.debian.org>
and subject line Bug#1044715: fixed in coq-ext-lib 0.12.0-1
has caused the Debian Bug report #1044715,
regarding coq-ext-lib: Fails to build source after successful build
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1044715: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044715
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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.

--- End Message ---
--- Begin Message --- 
Source: coq-ext-lib
Source-Version: 0.12.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-ext-lib, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1044715@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated coq-ext-lib package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 21 Dec 2023 15:24:39 +0100
Source: coq-ext-lib
Architecture: source
Version: 0.12.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044715
Changes:
 coq-ext-lib (0.12.0-1) unstable; urgency=medium
 .
   [Debian Janitor ]
   * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
     Repository-Browse.
 .
   [Julien Puydt ]
   * Fix d/rules clean target (Closes: #1044715).
   * New upstream release.
Checksums-Sha1:
 7b346b4b6efb21d82f8ea431cc464e27145db713 2089 coq-ext-lib_0.12.0-1.dsc
 e55370aa1341593d510771de4bd244c8d7f63c5a 83450 coq-ext-lib_0.12.0.orig.tar.gz
 b5d74143ee167d2902e37ae12dae7cd774d0da6c 2248 coq-ext-lib_0.12.0-1.debian.tar.xz
 1d79c322f4107725865df852b44eef876a4fa575 7844 coq-ext-lib_0.12.0-1_source.buildinfo
Checksums-Sha256:
 79700b63435804bc7b4f81c5fbac86813563908e8a49b642ef8b7ed7f0757150 2089 coq-ext-lib_0.12.0-1.dsc
 b46b2e139de395917d1fc713b33511a00b48674f2f02cf2cc1af209fef223b51 83450 coq-ext-lib_0.12.0.orig.tar.gz
 59ec97967a778b444a85c3ade1fc02ef0e01482d6b07ac634e9a55269b29fc76 2248 coq-ext-lib_0.12.0-1.debian.tar.xz
 a9b4e534af34a6e90cb2a5a55d2d567c2b18327630e32a6c1005031b27f7c62d 7844 coq-ext-lib_0.12.0-1_source.buildinfo
Files:
 0593ce3c7526712cf4120ddfc9ab5c0f 2089 ocaml optional coq-ext-lib_0.12.0-1.dsc
 ab08c703d854fdb90f35cf40614e089a 83450 ocaml optional coq-ext-lib_0.12.0.orig.tar.gz
 3d768bce935197b7e3d216a6ccc7b08c 2248 ocaml optional coq-ext-lib_0.12.0-1.debian.tar.xz
 e28e67d39a816839f35a4673fa9411f2 7844 ocaml optional coq-ext-lib_0.12.0-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESr8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR6xIP/jrcJlCnKD22hwd6KypXDDnaaUjDjbCi
MBe1E1z/gO9n6nt6VjhVW8OtcGJsx2AIqLOoYr51fFOMmSq8IDUSUEfreMQL/0hG
vbllMXIodrm8KFD75W8a5euYi6lijfxNhJLcCFWoNpijAaIJbBmkwWwzvKvIWV52
L+aJCjci13498eX7I72AqzkcRfsqFWE8KQO3ZQHLowNrM/t+vw1aA6k0w9LBjuWb
FBbl9S6LfYsOk+sbSEh0T3P6I3tJG4X8+IIRzyj6IKw2DRdpb9T38vjgM9B4F8HI
Vyecyv0Swvs9I4U35u9ZzoideHTdCoCZAvEzUeXtlrVeVewmPRhlBi9iRJXDWGhr
+g61ZJDxEbVsm63Suoymfi9zglYwdrQsvFYpAA5/Khg9kU+Cu3QizAz/Q/SKx3mm
22q/ObEhnBlDALgmpJ3KQEIc3oqBUMaRv3KOnX4P8ncz/7uofcyv7S7lPqG/r7gn
L70XYvnb4JBenCudG1yRFPHbbbA4YCnP2w1ovsz0p0mHBxr38LQHmt/6J94wLcjS
VSgFDeG7cEhmuQwzZR5GoVZ24Ef60KKS2ecSO1bXtp0IrbmWQMVHNDGjF6fhuGAK
pRllgbw+yyV9Iv+wCUbxMYaPAmm66uC6QJUyHlTXtqcGTUa0ifq5s4e+sGGuBYYC
TZ8xeMWrePus
=n8Jh
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: