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

Bug#1044296: marked as done (coqeal: Fails to build source after successful build)

Your message dated Wed, 27 Dec 2023 11:34:46 +0000
with message-id <E1rISBS-009bd4-HM@fasolo.debian.org>
and subject line Bug#1044296: fixed in coqeal 2.0.0-1
has caused the Debian Bug report #1044296,
regarding coqeal: 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.)


-- 
1044296: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044296
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coqeal
Version: 1.1.3-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 coqeal
> dpkg-buildpackage: info: source version 1.1.3-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 coqeal using existing ./coqeal_1.1.3.orig.tar.gz
> dpkg-source: error: cannot represent change to refinements/bareiss_eff.vo: binary file contents changed
> dpkg-source: error: add refinements/bareiss_eff.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/bareiss_eff.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/bareiss_eff.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/binint.vo: binary file contents changed
> dpkg-source: error: add refinements/binint.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/binint.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/binint.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/binnat.vo: binary file contents changed
> dpkg-source: error: add refinements/binnat.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/binnat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/binnat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/binord.vo: binary file contents changed
> dpkg-source: error: add refinements/binord.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/binord.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/binord.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/binrat.vo: binary file contents changed
> dpkg-source: error: add refinements/binrat.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/binrat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/binrat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/boolF2.vo: binary file contents changed
> dpkg-source: error: add refinements/boolF2.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/boolF2.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/boolF2.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/examples/irred.vo: binary file contents changed
> dpkg-source: error: add refinements/examples/irred.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/examples/irred.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/examples/irred.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/hpoly.vo: binary file contents changed
> dpkg-source: error: add refinements/hpoly.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/hpoly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/hpoly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/hrel.vo: binary file contents changed
> dpkg-source: error: add refinements/hrel.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/hrel.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/hrel.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/karatsuba.vo: binary file contents changed
> dpkg-source: error: add refinements/karatsuba.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/karatsuba.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/karatsuba.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/multipoly.vo: binary file contents changed
> dpkg-source: error: add refinements/multipoly.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/multipoly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/multipoly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/param.vo: binary file contents changed
> dpkg-source: error: add refinements/param.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/param.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/param.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/poly_div.vo: binary file contents changed
> dpkg-source: error: add refinements/poly_div.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/poly_div.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/poly_div.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/poly_op.vo: binary file contents changed
> dpkg-source: error: add refinements/poly_op.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/poly_op.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/poly_op.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/pos.vo: binary file contents changed
> dpkg-source: error: add refinements/pos.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/pos.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/pos.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/rational.vo: binary file contents changed
> dpkg-source: error: add refinements/rational.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/rational.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/rational.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/refinements.vo: binary file contents changed
> dpkg-source: error: add refinements/refinements.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/refinements.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/refinements.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/seqmx.vo: binary file contents changed
> dpkg-source: error: add refinements/seqmx.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/seqmx.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/seqmx.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/seqmx_complements.vo: binary file contents changed
> dpkg-source: error: add refinements/seqmx_complements.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/seqmx_complements.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/seqmx_complements.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/seqpoly.vo: binary file contents changed
> dpkg-source: error: add refinements/seqpoly.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/seqpoly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/seqpoly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/trivial_seq.vo: binary file contents changed
> dpkg-source: error: add refinements/trivial_seq.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'refinements/trivial_seq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/trivial_seq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/atomic_operations.vo: binary file contents changed
> dpkg-source: error: add theory/atomic_operations.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/atomic_operations.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/atomic_operations.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/bareiss.vo: binary file contents changed
> dpkg-source: error: add theory/bareiss.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/bareiss.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/bareiss.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/bareiss_dvdring.vo: binary file contents changed
> dpkg-source: error: add theory/bareiss_dvdring.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/bareiss_dvdring.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/bareiss_dvdring.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/binetcauchy.vo: binary file contents changed
> dpkg-source: error: add theory/binetcauchy.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/binetcauchy.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/binetcauchy.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/closed_poly.vo: binary file contents changed
> dpkg-source: error: add theory/closed_poly.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/closed_poly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/closed_poly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/coherent.vo: binary file contents changed
> dpkg-source: error: add theory/coherent.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/coherent.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/coherent.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/companion.vo: binary file contents changed
> dpkg-source: error: add theory/companion.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/companion.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/companion.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/dvdring.vo: binary file contents changed
> dpkg-source: error: add theory/dvdring.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/dvdring.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/dvdring.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/edr.vo: binary file contents changed
> dpkg-source: error: add theory/edr.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/edr.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/edr.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/fpmod.vo: binary file contents changed
> dpkg-source: error: add theory/fpmod.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/fpmod.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/fpmod.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/frobenius_form.vo: binary file contents changed
> dpkg-source: error: add theory/frobenius_form.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/frobenius_form.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/frobenius_form.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/gauss.vo: binary file contents changed
> dpkg-source: error: add theory/gauss.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/gauss.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/gauss.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/jordan.vo: binary file contents changed
> dpkg-source: error: add theory/jordan.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/jordan.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/jordan.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/kaplansky.vo: binary file contents changed
> dpkg-source: error: add theory/kaplansky.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/kaplansky.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/kaplansky.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/karatsuba.vo: binary file contents changed
> dpkg-source: error: add theory/karatsuba.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/karatsuba.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/karatsuba.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/minor.vo: binary file contents changed
> dpkg-source: error: add theory/minor.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/minor.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/minor.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/mxstructure.vo: binary file contents changed
> dpkg-source: error: add theory/mxstructure.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/mxstructure.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/mxstructure.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/perm_eq_image.vo: binary file contents changed
> dpkg-source: error: add theory/perm_eq_image.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/perm_eq_image.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/perm_eq_image.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/polydvd.vo: binary file contents changed
> dpkg-source: error: add theory/polydvd.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/polydvd.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/polydvd.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/rank.vo: binary file contents changed
> dpkg-source: error: add theory/rank.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/rank.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/rank.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/similar.vo: binary file contents changed
> dpkg-source: error: add theory/similar.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/similar.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/similar.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/smith.vo: binary file contents changed
> dpkg-source: error: add theory/smith.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/smith.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/smith.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/smith_complements.vo: binary file contents changed
> dpkg-source: error: add theory/smith_complements.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/smith_complements.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/smith_complements.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/smithpid.vo: binary file contents changed
> dpkg-source: error: add theory/smithpid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/smithpid.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/smithpid.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ssralg_ring_tac.vo: binary file contents changed
> dpkg-source: error: add theory/ssralg_ring_tac.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ssralg_ring_tac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ssralg_ring_tac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ssrcomplements.vo: binary file contents changed
> dpkg-source: error: add theory/ssrcomplements.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ssrcomplements.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ssrcomplements.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/strassen.vo: binary file contents changed
> dpkg-source: error: add theory/strassen.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/strassen.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/strassen.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/stronglydiscrete.vo: binary file contents changed
> dpkg-source: error: add theory/stronglydiscrete.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/stronglydiscrete.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/stronglydiscrete.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/toomcook.vo: binary file contents changed
> dpkg-source: error: add theory/toomcook.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/toomcook.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/toomcook.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/coqeal_1.1.3-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: coqeal
Source-Version: 2.0.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coqeal, 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 1044296@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 coqeal 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: Fri, 22 Dec 2023 11:43:09 +0100
Source: coqeal
Architecture: source
Version: 2.0.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044296
Changes:
 coqeal (2.0.0-1) unstable; urgency=medium
 .
   [ Stéphane Glondu ]
   * Fix Vcs-*
 .
   [ Julien Puydt ]
   * Fix d/rules clean target (Closes: #1044296).
   * New upstream release.
Checksums-Sha1:
 7e5435d398362893b7ff09c637aacb686ed015aa 2171 coqeal_2.0.0-1.dsc
 e46bc4ba50883dda06dd04407c7c26689da900ae 216540 coqeal_2.0.0.orig.tar.gz
 f419d0740de25d5146a6e7582d6a489c7da564c2 2284 coqeal_2.0.0-1.debian.tar.xz
 d825e72dfa1f786ce163e9da2361dac7a6173534 8808 coqeal_2.0.0-1_source.buildinfo
Checksums-Sha256:
 93c9b7da6f4274ed86291617b9077bca7f644a203cff647199800b536bf1a872 2171 coqeal_2.0.0-1.dsc
 5b96ff30de465747c0f560ca11ef870e03022647ffef411aad7ee79d62865a76 216540 coqeal_2.0.0.orig.tar.gz
 bc69c61d992102839ab2b16d81e69dd4afeb637ad47174bd3056056e1fe03752 2284 coqeal_2.0.0-1.debian.tar.xz
 14d569a0ffad0cea474c17bfb264e2d6b797ecb0c36cefdc9dca2c179d4b1bc6 8808 coqeal_2.0.0-1_source.buildinfo
Files:
 ff28c79f207ae3dea8f0430b922f11fb 2171 ocaml optional coqeal_2.0.0-1.dsc
 d6ece55e77b260ae0d9078224c44eed8 216540 ocaml optional coqeal_2.0.0.orig.tar.gz
 71231580147b6c5ad947977c77877853 2284 ocaml optional coqeal_2.0.0-1.debian.tar.xz
 38a8a20bb9a3b78ac4f243adec8f1aa6 8808 ocaml optional coqeal_2.0.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFaKQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxakQAI/8OAFel7roaS5knJSsrhyDabBaLGWW
yGIOU91LrDFw0k15fCVYjFzlOapqVI5nQol2iYMqhVfwyggLiPfvaqqgLUBi/eHl
VLyD85CLTi5I4wR3EbaKAJsDltsFW5xpQ+vTzHpL2xVgliywVXi+MXcX587wEFsT
jeuSjDIQF0TFEbeV7rOLeHiWMY5ECpmMLTB0WvBhXAvUSGPj67qFos8eNIrqM10C
3zvvE3LbLQXQ+D46Mlmc8fsk09smeU0xUtex6Eq2UYF6PJJ9/EY6LJiRqetUkIKj
NhDSHvdc1iYWMaCbpthir6qECRp188gIBzK5S9me77TCAMVDyEHSJ1Z6XKhoHG8M
RJa1vXUvDr7dLzdHAMRl02tlRBQA16aLqVV2Q1vX3qeVn9/1NULCWJrszRltutgA
6hPKvD1c4GmmGch85UXE4Vo9w3/AwanHzUA8VbEyHpeE5ZTZLXprCDZG6eERnFiq
/5mBq74Rh+pBymVC3SjZKDw35RkPzhNfXqjkKW40QwKVcxrdL+wxkuzGhXZJ1OCe
8F8bzWbTxIIlAMbuN9pTvu6WfsSs2E2+vJBEKgTLCafy4+l2XZuf5kj9Z8FBy5CX
m9T96mWL8pVxiVnn8arjgUg1vc0EGd0GQKBkzKZteK9agLunB92Mi7x2jHEKQlpc
Z/buxNgU9c1K
=aKda
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: