On Tue, 30 Jun 2026 15:12:04 +0200 Julien Puydt <[email protected]>
wrote:
Andrey Rakhmatullin suggested to use:
mmdebstrap --chrooted-customize-hook=bash unstable /dev/null
for the bootstrap test, so now I can say it fails in a chroot too.
For the record, I did (in the shell given by the command above):
cd tmp
apt-get install git-buildpackage pristine-tar devscripts
adduser sbuild
runuser -u sbuild bash
gbp clone https://salsa.debian.org/ocaml-team/coq-hammer.git
cd coq-hammer/
gbp import-orig --uscan
and it works for me.
So in short:
- it fails on my account on my box ;
- it fails on a new account on my box ;
- it fails in a chroot on my box...
and I still don't know why.
Weird...
Did you try on another box? Even a virtual one... (hint: debvm)
Cheers,
--
Stéphane
