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

[bug#68047] [PATCH] gnu: agda: Update to 2.6.4.1.

From: Mathieu Othacehe
Subject: [bug#68047] [PATCH] gnu: agda: Update to 2.6.4.1.
Date: Wed, 27 Dec 2023 21:39:27 +0100
User-agent: Gnus/5.13 (Gnus v5.13) 
> * gnu/packages/agda.scm (agda): Update to 2.6.4.1.

Looks good! I think you can directly proceed for those trivial updates.

Thanks,

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