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

Previous Next

Full log

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

From: Attila Lendvai <attila <at> lendvai.name>
To: "49607 <at> debbugs.gnu.org" <49607 <at> debbugs.gnu.org>
Subject: a note
Date: Thu, 14 Apr 2022 15:53:57 +0000

note that some of these packages are pointing to my own fork of the Idris2 repo.

if that is an issue, then feel free to comment out those packages for the time being.

i'm working on incorporating these branches back into the official Idris2 repo.

(the current milestone of that process is to get my build system refactor merged https://github.com/idris-lang/Idris2/pull/1990)

--
• attila lendvai
• PGP: 963F 5D5F 45C7 DFCD 0A39
--
“Journalism is printing what someone else does not want printed: everything else is public relations.”
	— George Orwell (1903–1950)

Previous Next

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