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

bug#50969: [PATCH wip-haskell] gnu: idris: Fix build.

From: Lars-Dominik Braun
Subject: bug#50969: [PATCH wip-haskell] gnu: idris: Fix build.
Date: Sun, 3 Oct 2021 08:26:06 +0200 
Hi,

looks good, merged!

Thank you very much,
Lars
reply via email to
[Prev in Thread] Current Thread [Next in Thread]