diff --git a/opam b/opam index e75c44ff6..a7e894e67 100644 --- a/opam +++ b/opam @@ -2,6 +2,7 @@ opam-version: "1.2" maintainer: "pierre-yves@strub.nu" 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"