info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Re: reinstallation of the riscv64 porterbox
0 views
Skip to first unread message
Aurelien Jarno
Dec 28, 2023, 6:20:03 AM12/28/23
to
Dear all,
On 2023-12-27 22:27, Aurelien Jarno wrote:
> Dear all,
>
> As part of making riscv64 as an official architecture, the riscv64 porterbox
> will be reinstalled. For this reason, it will be unavailable for a couple of
> days. It will then come back as ricci.debian.org.
The reinstallation is now done, the porterbox is now accessible as
ricci.debian.org.
Regards
Aurelien
--
Aurelien Jarno GPG: 4096R/1DDD8C9B
aure...@aurel32.net http://aurel32.net
On 2023-12-27 22:27, Aurelien Jarno wrote:
> Dear all,
>
> As part of making riscv64 as an official architecture, the riscv64 porterbox
> will be reinstalled. For this reason, it will be unavailable for a couple of
> days. It will then come back as ricci.debian.org.
The reinstallation is now done, the porterbox is now accessible as
ricci.debian.org.
Regards
Aurelien
--
Aurelien Jarno GPG: 4096R/1DDD8C9B
aure...@aurel32.net http://aurel32.net
0 new messages