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

[bug#49607] Package proposition: Idris2 v0.5.1

From: contact
Subject: [bug#49607] Package proposition: Idris2 v0.5.1
Date: Tue, 23 Aug 2022 14:37:16 +0200 
Dear Guixers,
This package proposition follows from a discussion which last message was: 

  https://lists.gnu.org/archive/html/help-guix/2022-08/msg00177.html

— PHF

Attachment: 0001-gnu-Add-idris2-v0.5.1.patch
Description: Text Data

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