1 commit

Author	SHA1	Message	Date
Josselin Poiret	5f4b3ccf50	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	2023-11-14 13:47:10 +01:00