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

Message #40 received at control <at> debbugs.gnu.org (full text, mbox):

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: control <at> debbugs.gnu.org
Date: Wed, 11 May 2022 14:58:48 +0200

merge 49607 46124
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.