GNU bug report logs - #49607
[PATCH] gnu: Add Idris 2.

Previous Next

Package: guix-patches;

Reported by: Xinglu Chen <public <at> yoctocell.xyz>

Date: Sat, 17 Jul 2021 15:44:02 UTC

Severity: normal

Tags: patch

Merged with 46124

Full log

View this message in rfc822 format

From: contact <at> phfrohring.com
To: 49607 <at> debbugs.gnu.org
Subject: [bug#49607] Package proposition: Idris2 v0.5.1
Date: Tue, 23 Aug 2022 14:37:16 +0200

[Message part 1 (text/plain, inline)]
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
[0001-gnu-Add-idris2-v0.5.1.patch (text/x-diff, attachment)]
This bug report was last modified 2 years and 189 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.