GNU bug report logs - #68047
[PATCH] gnu: agda: Update to 2.6.4.1.

Previous Next

Package: guix-patches;

Reported by: Josselin Poiret <dev <at> jpoiret.xyz>

Date: Tue, 26 Dec 2023 17:58:03 UTC

Severity: normal

Tags: patch

Done: Steve George <steve <at> futurile.net>

Bug is archived. No further changes may be made.

Full log

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

From: Steve George <steve <at> futurile.net>
To: control <at> debbugs.gnu.org
Cc: 68047-submitter <at> debbugs.gnu.org
Subject: closing 68047
Date: Thu, 31 Oct 2024 15:36:18 +0000

close 68047 
# went directory to 2.7.0.1 in 96c490e0ce2e8c8e7ae85b379bead2aab42a7cdb
thanks
This bug report was last modified 296 days ago.

Previous Next

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