v0.12.1 documentation

coq-community · May 20, 2024 · 95ee7a0 · 95ee7a0
1 parent f3d86bc
commit 95ee7a0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/meta.yml b/meta.yml
@@ -95,6 +95,7 @@ coqdoc: true
 index_documentation: |
   Documentation
   -------------
+  - [0.12.1](v0.12.1/toc.html)
   - [0.12.0](v0.12.0/toc.html)
   - [0.11.8](v0.11.8/toc.html)
   - [0.11.7](v0.11.7/toc.html)