From 5761ce885d45f7d424b6161472c93d9900250c91 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <pierre.courtieu@lecnam.net>
Date: Wed, 15 Jan 2025 16:31:26 +0000
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)
---
codemeta.json | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/codemeta.json b/codemeta.json
index 42ca3b58..d6ace5d8 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"
--
GitLab