From d113501ee58e2e0543d163a2de6c985bbd5e495e Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 5 Dec 2019 19:00:23 +0100
Subject: [PATCH] [opam] update dev-repo URL to Gitlab daily mirror

---
 opam/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam/opam b/opam/opam
index af8665a5f06..59c2ae9d96f 100644
--- a/opam/opam
+++ b/opam/opam
@@ -48,7 +48,7 @@ authors: [
 ]
 homepage: "http://frama-c.com/"
 license: "GNU Lesser General Public License version 2.1"
-dev-repo: "git+https://github.com/Frama-C/Frama-C-snapshot.git#latest"
+dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
 doc: "http://frama-c.com/download/user-manual-20.0-Calcium.pdf"
 bug-reports: "https://bts.frama-c.com/"
 tags: [
-- 
GitLab