Update released/packages/coq-vcfloat/coq-vcfloat.2.1.1/opam

Co-authored-by: Karl Palmskog <palmskog@gmail.com>
coq · Aug 31, 2023 · bb26d03 · bb26d03
1 parent c49283d
commit bb26d03
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-vcfloat/coq-vcfloat.2.1.1/opam b/released/packages/coq-vcfloat/coq-vcfloat.2.1.1/opam
@@ -32,7 +32,7 @@ depends: [
   "coq-bignums"
 ]
 url {
-  src: "https://github.com/VeriNum/vcfloat/archive/refs/tags/2.1.1.tar.gz"
+  src: "https://github.com/VeriNum/vcfloat/archive/refs/tags/v2.1.1.tar.gz"
   checksum: "sha256=cd0098a7448e13116f4bb1faa3d93c6f1a8b5a6fa83be979875b432aeb9eb27e"
 }
 tags: [