guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Alexandru-Sergiu Marton
Subject: [bug#38603] branch master updated: gnu: Add mercury.
Date: Sat, 25 Jul 2020 09:33:11 +0300
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)

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

Attachment: mercury.txt
Description: Mercury build log


reply via email to

[Prev in Thread] Current Thread [Next in Thread]