We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f42c6c8 commit 48ca41bCopy full SHA for 48ca41b
CHANGELOG.md
@@ -1,5 +1,11 @@
1
# Changelog
2
3
+## [v2.3] — 2024-03-21
4
+
5
+### Added
6
7
+ - Explicit support for mathcomp 1.19 and Coq 8.19
8
9
## [2.2] — 2023-11-21
10
11
### Added
0 commit comments