Add dev-repo field

Author: jim-portegies

packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam

@@ -18,6 +18,7 @@ Mathematicians unfamiliar with the Coq syntax are able to read the resulting pro
 
 license: "LGPL-3.0-or-later"
 homepage: "https://github.com/impermeable/coq-waterproof"
+dev-repo: "git+https://github.com/impermeable/coq-waterproof.git"
 bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 
 depends: [