Greetings! I need another log to triangulate a rare unreproducible
build failure.
Take care,
--
Camm Maguirec...@maguirefamily.org
==
"The earth is but one country, and mankind its cit
Hi,
On 03.10.21 15:20, Camm Maguire wrote:
Greetings! I need another log to triangulate a rare unreproducible
build failure.
Have you tried the link on
https://buildd.debian.org/status/package.php?p=acl2 already?
Kind regards
Philipp Kern
Greetings, and thanks for your reply! When I do, I am asked for salsa
login credentials. Apparently my automatically created account was
disabled due to non-use a year ago. I've requested activation on #salsa
and salsa-ad...@debian.org to no effect. Just tried registering fresh
with a new usern
On Sun, Oct 03, 2021 at 01:49:04PM -0400, Camm Maguire wrote:
> Greetings, and thanks for your reply! When I do, I am asked for salsa
> login credentials. Apparently my automatically created account was
> disabled due to non-use a year ago. I've requested activation on #salsa
> and salsa-ad...@d
Greetings, and thanks!
Mattia Rizzolo writes:
> On Sun, Oct 03, 2021 at 01:49:04PM -0400, Camm Maguire wrote:
>> Greetings, and thanks for your reply! When I do, I am asked for salsa
>> login credentials. Apparently my automatically created account was
>> disabled due to non-use a year ago. I
