diff --git a/codemeta.json b/codemeta.json index 42ca3b58aedf9fccfcaf67c511954bce3a5bdf8a..d6ace5d8e2dd34759b9a802fc172a18d720d908a 100644 --- a/codemeta.json +++ b/codemeta.json @@ -50,7 +50,7 @@ "programmingLanguage": "Coq/Rocq", "relatedLink": "https://pactole.liris.cnrs.fr/", "runtimePlatform": "Coq-8.20", - "version": "2.0", + "version": "2.1", "developmentStatus": "active", "funding": "Digiteo Project #2009-38HD, ANR Project 2019-CE25-0005", "referencePublication": "https://doi.org/10.4230/LITES.8.2.2"