Thank you,
Travis
On Thursday, October 26, 2017 at 5:32:04 AM UTC+10, Volker Braun wrote:
>
> I updated the file, should take a while to propagate to the mirrors.
>
> On Wednesday, October 25, 2017 at 10:52:27 AM UTC+2, Travis Scrimshaw
> wrote:
>>
>> I just tried to install GAP3 and it resulted
I updated the file, should take a while to propagate to the mirrors.
On Wednesday, October 25, 2017 at 10:52:27 AM UTC+2, Travis Scrimshaw wrote:
>
> I just tried to install GAP3 and it resulted in an error saying the
> checksums did not match. I suspect the one on the mirror is the one from
> t
