@MSGID: <877conjnge.fsf@bsb.me.uk> a4074d9b
@REPLY:
<1d8a7e1f-187c-4975-976c-004103882e2fn@googlegroups.com> 62bc1511
@REPLYADDR Ben Bacarisse <ben.usenet@bsb.me.uk>
@REPLYTO 2:5075/128 Ben Bacarisse
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID: <877conjnge.fsf@bsb.me.uk>
<beaa0494-5783-4130-b96f-1a5271466678n@googlegroups.com><874jjvmoi9.fsf@bsb.me.u
k><a10a258f-8a3a-4017-bb30-8fe5629089ffn@googlegroups.com><87sf7dltq0.fsf@bsb.me
.uk><87jzsplr49.fsf@bsb.me.uk><715fe49a-47bc-46be-ae26-9ed89b38bcb5n@googlegroups.co
m><87ediwl7oq.fsf@bsb.me.uk><87v8c8oyby.fsf@nightsong.com><87wmwnk9a9.fsf@bsb.me.uk><7a98a430-a01d-41e7-80fe
-bc2e1e1592d3n@googlegroups.com><87il87k1gf.fsf@bsb.me.uk><1d8a7e1f-187c-4975-97
6c-004103882e2fn@googlegroups.com>
@TZUTC: 0100
@PID: Gnus/5.13 (Gnus v5.13) Emacs/28.2
(gnu/linux)
@TID: FIDOGATE-5.12-ge4e8b94
Francesc Rocher <francesc.rocher@gmail.com> writes:

>> I am curious, but only if it`s not too much work. 
>
> Pre-condition: alr must be installed in your system.
> Then, three simple steps:
>
>    1. this:  git clone git@github.com/rocher/euler_tools
>        or:     git clone https://github.com/rocher/euler_tools
>    2. cd euler_tools/examples
>    3. alr build

Thanks.  The https clone worked but I got

$ git clone git@github.com/rocher/euler_tools
fatal: repository `git@github.com/rocher/euler_tools` does not exist

from the first.

-- 
Ben.
--- Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
 * Origin: A noiseless patient Spider (2:5075/128)
SEEN-BY: 5001/100 5005/49 5015/255 5019/40 5020/715
848 1042 4441 12000
SEEN-BY: 5030/49 1081 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441