guix-devel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: merge wip-haskell?

From: John Soo
Subject: Re: merge wip-haskell?
Date: Fri, 28 Aug 2020 07:05:30 -0700 
On another note:

Does anyone know why idris, agda, and purescript are failing?

I have only been able to do very little recently to look at them.

- John
reply via email to
[Prev in Thread] Current Thread [Next in Thread]