tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-17 07:40:29 +02:00
Code Activity
185,673 Commits 77 Branches 40 Tags
python-team
Commit Graph

1 Commits

Author SHA1 Message Date
Josselin Poiret
2419302ca1 gnu: agda-categories: Update to 0.2.0. 
* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch ->
gnu/packages/patches/agda-categories-use-newer-stdlib.patch: Adapt patch.
* gnu/local.mk (dist_patch_DATA): Change registered name to new name.
* gnu/packages/agda.scm (agda-categories): Update to 0.2.0.  Use new patch
name.

Change-Id: Id5d1e335fe22c2d5809116083ed72e7b9208d69e
 2024-10-12 11:12:26 +02:00