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

From: Mathieu Othacehe <[email-masked]>
Date: Wed, 27 Dec 2023 21:39:27 +0100

> * 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