add dev-repo

Author: vprevosto

packages/frama-clang/frama-clang.0.0.16/opam

@@ -7,6 +7,7 @@ authors: "Virgile Prevosto"
 license: "LGPL-2.1-only"
 tags: ["formal specification" "C++" "plugins" "ACSL" "ACSL++"]
 homepage: "https://frama-c.com/frama-clang.html"
+dev-repo: "git+https://git.frama-c.com/pub/frama-clang.git"
 bug-reports: "https://git.frama-c.com/pub/frama-clang"
 depends: [
   "dune" {>= "3.7" & != "3.13.0"}