Skip to content

Commit 00a4f47

Browse files
thelissimusthelissimus
committed
chore: bump stdlib 2.1 -> 2.1.1 
1 parent 735a744 commit 00a4f47

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎ttfpi-agda.agda-lib

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
name: ttfpi-agda
22
include: src .
3-
depend: standard-library-2.1
3+
depend: standard-library-2.1.1

0 commit comments

Comments
 (0)