opam: Remove unwanted url field

The url field has no effect here and causes opam-publish to have an assert failure. See ocaml-opam/opam-publish#148
kit-ty-kate · Apr 13, 2023 · 2ebdfbf · 2ebdfbf
1 parent 454364e
commit 2ebdfbf
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/coq-vcfloat.opam b/coq-vcfloat.opam
@@ -30,6 +30,3 @@ depends: [
   "coq" {>= "8.16" & < "8.18~"}
   "coq-flocq" {>= "4.1.0" & < "5.0"}
 ]
-url {
-  src: "git+https://github.com/VeriNum/vcfloat.git#master"
-}