docs: add v0.12.2 and v0.13.0

coq-community · Dec 9, 2024 · b27e806 · b27e806
1 parent e844f30
commit b27e806
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/meta.yml b/meta.yml
@@ -99,6 +99,8 @@ coqdoc: true
 index_documentation: |
   Documentation
   -------------
+  - [0.13.0](v0.13.0/toc.html)
+  - [0.12.2](v0.12.2/toc.html)
   - [0.12.1](v0.12.1/toc.html)
   - [0.12.0](v0.12.0/toc.html)
   - [0.11.8](v0.11.8/toc.html)