|
| From: | 宋文武 |
| Subject: | bug#64601: [PATCH] gnu: agda-cubical: Update to 0.5. |
| Date: | Sat, 22 Jul 2023 11:31:27 +0800 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Josselin Poiret <dev@jpoiret.xyz> writes: > gnu/packages/agda.scm | 51 ++++++++++++++++++++----------------------- > 1 file changed, 24 insertions(+), 27 deletions(-) Pushed to master, thank you!
| [Prev in Thread] | Current Thread | [Next in Thread] |