From 99d2078cc61335967a5c39594b9f2853fe3a8c25 Mon Sep 17 00:00:00 2001
From: Anton Trunov <anton.a.trunov@gmail.com>
Date: Mon, 1 Oct 2018 19:34:35 +0200
Subject: [PATCH] [opam]: add dev-repo

---
 opam | 1 +
 1 file changed, 1 insertion(+)

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"