Update CHANGELOG/v2.1.md

Co-authored-by: G. Allais <guillaume.allais@ens-lyon.org>
agda · Jul 27, 2024 · c70f6b2 · c70f6b2
1 parent a88b649
commit c70f6b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGELOG/v2.1.md b/CHANGELOG/v2.1.md
@@ -1,4 +1,4 @@
-Version 2.1-dev
+Version 2.1
 ===============
 
 The library has been tested using Agda 2.6.4.3.