deb-porterbox (was: Re: No mips64el porterbox?)

[Guillem Jover <guillem@debian.org>]

Hi!

On Tue, 2022-03-01 at 10:28:28 +0100, Julien Puydt wrote:
> one of my package has a failure on mips64el and upstream is ready to
> help me find the cause and debug the issue.
> 
> Unfortunately, on https://db.debian.org/machines.cgi I only see five
> developer machines on this architecture -- all buildd!
> 
> Is there really no mips64el porterbox, or is it only a transitory
> situation?

As others have mentioned there's one such box. You can use the
following script to get the available porterbox for any arch:

  <https://www.hadrons.org/~guillem/debian/scripts/deb-porterbox>

I'll check whether I did submit that to something like devscripts,
which I cannot recall.

Thanks,
Guillem