mirror of
https://git.savannah.gnu.org/git/guix.git
synced 2025-02-07 11:29:59 +01:00
2419302ca1
* 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
21 lines
427 B
Diff
21 lines
427 B
Diff
Use newer stdlib.
|
|
|
|
From: Josselin Poiret <dev@jpoiret.xyz>
|
|
|
|
---
|
|
agda-categories.agda-lib | 2 +-
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|
|
|
diff --git a/agda-categories.agda-lib b/agda-categories.agda-lib
|
|
index 5b19c405..4d63d415 100644
|
|
--- a/agda-categories.agda-lib
|
|
+++ b/agda-categories.agda-lib
|
|
@@ -1,4 +1,4 @@
|
|
name: agda-categories
|
|
-depend: standard-library-2.0
|
|
+depend: standard-library
|
|
include: src/
|
|
|
|
--
|
|
2.41.0
|
|
|