Update dependency to agda2hs-base in tutorial examples

wrvsrx · jespercockx · commit de4d8be7a6fa · 2025-10-02T14:57:33.000+02:00
diff --git a/tutorials/example-basics/example-basics.agda-lib b/tutorials/example-basics/example-basics.agda-lib
@@ -1,4 +1,4 @@
 name: example-basics
-include: . 
-depend: agda2hs
+include: .
+depend: agda2hs-base
 flags: --erasure --no-projection-like
diff --git a/tutorials/example-proofs/example-proofs.agda-lib b/tutorials/example-proofs/example-proofs.agda-lib
@@ -1,4 +1,4 @@
 name: example-proofs
-include: . 
-depend: agda2hs, standard-library
+include: .
+depend: agda2hs-base, standard-library
 flags: --erasure --no-projection-like
diff --git a/tutorials/example-structure/example-structure.agda-lib b/tutorials/example-structure/example-structure.agda-lib
@@ -1,4 +1,4 @@
 name: example-structure
 include: ./src/agda
-depend: agda2hs
+depend: agda2hs-base
 flags: --erasure --no-projection-like
