Adjust opam for 'dev' in master branch

kit-ty-kate · Apr 13, 2023 · 454364e · 454364e
1 parent 54d8f40
commit 454364e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-vcfloat.opam b/coq-vcfloat.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "2.1"
+version: "dev"
 synopsis: "VCFloat: Floating Point Round-off Error Analysis"
 description: "VCFloat is a tool for Coq proofs about floating-point round-off error."
 authors: [