* Johannes Schauer Marin Rodrigues , 2022-10-24 06:40:
this is the first time I hear about $arch-porterbox.debian.net. This is
super cool! When was that announced
Not sure if that counts as an announcement, but jamessan blogged about
it back in 2015: https://jamessan.com/~jamessan//posts/porte
Hi,
On 24.10.22 06:40, Johannes Schauer Marin Rodrigues wrote:
Quoting David Bremner (2022-10-22 18:16:12)
Aurelien Jarno writes:
We lost access to the Power9 machine hosted at Unicamp, which was
hosting the ppc64el porterbox called plummer.d.o. A new porterbox called
platti.d.o has been setu
Hi,
Quoting David Bremner (2022-10-22 18:16:12)
> Aurelien Jarno writes:
> > We lost access to the Power9 machine hosted at Unicamp, which was
> > hosting the ppc64el porterbox called plummer.d.o. A new porterbox called
> > platti.d.o has been setup as a replacement.
>
> It would be nifty if som
3 matches
Mail list logo