Stéphane Glondu:
> On 22/07/2017 19:48, Ximin Luo wrote:
>> Sadly we now have one new failure, on arm64:
>>
>> https://buildd.debian.org/status/fetch.php?pkg=ocaml=arm64=4.05.0-5=1500739972=0
>>
>> E: Build killed with signal TERM after 150 minutes of inactivity
>>
>> Even though this was built in
On 22/07/2017 19:48, Ximin Luo wrote:
Sadly we now have one new failure, on arm64:
https://buildd.debian.org/status/fetch.php?pkg=ocaml=arm64=4.05.0-5=1500739972=0
E: Build killed with signal TERM after 150 minutes of inactivity
Even though this was built in experimental, it was built with
2 matches
Mail list logo