From b27e806daf39a8f1cfc7ced09c1af44d390af4a6 Mon Sep 17 00:00:00 2001 From: Yishuai Li Date: Mon, 9 Dec 2024 14:09:31 +0800 Subject: [PATCH] docs: add v0.12.2 and v0.13.0 --- meta.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/meta.yml b/meta.yml index 5c883de..bfd64e9 100644 --- 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)