From 69b82b0f568dd840f05f6aa9902ee6dcd5df5cad Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Tue, 8 Mar 2022 18:49:39 +0000
Subject: Migrate to agda-stdlib-2.0-dev.

---
 agda-helium.agda-lib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'agda-helium.agda-lib')

diff --git a/agda-helium.agda-lib b/agda-helium.agda-lib
index bec951d..91efa04 100644
--- a/agda-helium.agda-lib
+++ b/agda-helium.agda-lib
@@ -1,3 +1,3 @@
 name: agda-helium-0.1
-depend: standard-library-1.7.1
+depend: standard-library-2.0
 include: src
-- 
cgit v1.2.3