blob: 00917853baac356d13d36a14b6463e5e56cb3fdc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
Use newer stdlib.
From: Josselin Poiret <[email protected]>
---
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
|
