summary refs log tree commit diff
path: root/gnu/packages.scm
diff options
context:
space:
mode:
authorJosselin Poiret <dev@jpoiret.xyz>2023-10-27 20:01:59 +0200
committerJosselin Poiret <dev@jpoiret.xyz>2023-11-14 13:47:10 +0100
commit5f4b3ccf503bb5027272662e65704aad8b34ad16 (patch)
tree29fbb542dc958304ecc0eca163f8d805667ea7d5 /gnu/packages.scm
parent7374e14f510b9d320145f4176b43ed92a89e5a67 (diff)
downloadguix-5f4b3ccf503bb5027272662e65704aad8b34ad16.tar.gz
gnu: agda-categories: Adapt to agda-stdlib 1.7.3.
* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch: New patch.
* gnu/packages/agda.scm (agda-categories)[source]: Use it.
* gnu/local.mk (dist_patch_DATA): Register it.

Change-Id: I25f16d55f14465a1dae882fd8ec47a95f8598e5c
Diffstat (limited to 'gnu/packages.scm')
0 files changed, 0 insertions, 0 deletions