Subject: Re: [bug#38603] branch master updated: gnu: Add mercury.

From: Alexandru-Sergiu Marton <[email-masked]>
Date: Sat, 25 Jul 2020 09:33:11 +0300

Hi all,

I tried to build this too and I had no problems. I used:

  guix time-machine -- build mercury

I attached the build log in case anyone might want to look through it.

Cheers,
Sergiu