Skip to content

Commit 3313ced

Browse files
garesgares
authored
Update Changelog.md
1 parent a8bcaf1 commit 3313ced

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎Changelog.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# Changelog
22

3-
## [2.0.1] - 24/12/2023
3+
## [2.0.1] - 29/12/2023
44

55
Requires Elpi 1.18.1 and Coq 8.19.
66

0 commit comments

Comments
 (0)