tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-07 13:40:36 +02:00
Code Activity
Files
python-team
guix/gnu/packages/agda.scm
Mark Walker 6176fcae15 gnu: agda-stdlib: Update to 2.3. 
* gnu/packages/agda.scm (agda-stdlib): Update to 2.3.

Merges: https://codeberg.org/guix/guix/pulls/4190
Change-Id: I52636f7146e0c36f136f359cfe2b4fc8cd82d6dc
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-02-26 12:08:37 +00:00

13 KiB
Raw Permalink Blame History

View Raw
View Git Blame Copy Permalink