Le mardi 30 juin 2026 à 17:47 +0200, Andreas Metzler a écrit :
> On 2026-06-30 Julien Puydt <[email protected]> wrote:
> [...]
> > How could that work with coq-hammer in a pristine-tar-less chroot ?
>
> > Why does it fail with pristine-tar on my box ?
>
> Hello Julien,
>
> Because you have some local configuration in any of the locations
> listed
> in gbp.conf(5) which
> a) enables pristine-tar (coq-hammer does not include a
> debian/gbp.conf
> file that enables this, although it should since the packaging does
> use
> pristine-tar)
>
> b) probaly has more settings in it, one of which is broken and causes
> the reported issue.
>
> cu Andreas
I found the eclib (in math team) package failed much faster than elpi
(ocaml team), so it's faster to check things.
For the eclib package:
- my ~/.gbp.conf has:
[DEFAULT]
pristine-tar = True
- debian/gbp.conf has:
[DEFAULT]
pristine-tar = True
- .git/config has:
[branch "pristine-tar"]
remote = origin
merge = refs/heads/pristine-tar
and this hasn't changed since years.
So what configuration setting can cause a tarball to give such a
failure, and a failure with such a useless error message ?
Cheers,
J.Puydt
