[opam]: add dev-repo

math-comp · Oct 3, 2018 · 99d2078 · 99d2078
1 parent 3be1810
commit 99d2078
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/opam b/opam
@@ -2,6 +2,7 @@ opam-version: "1.2"
 maintainer: "[email protected]"
 homepage: "https://github.com/math-comp/analysis"
 bug-reports: "https://github.com/math-comp/analysis/issues"
+dev-repo: "https://github.com/math-comp/analysis.git"
 license: "CeCILL-C"
 authors: [
   "Reynald Affeldt"