Skip to content
Snippets Groups Projects
Commit 5761ce88 authored by Pierre Courtieu's avatar Pierre Courtieu
Browse files

Apply 1 suggestion(s) to 1 file(s)

parent fa70e060
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
codemeta.json
+ 1
− 1
View file @ 5761ce88
......@@ -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"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment