diff --git a/packages/alt-ergo-free/alt-ergo-free.2.2.0/opam b/packages/alt-ergo-free/alt-ergo-free.2.2.0/opam
index 91dcbb2bc71..12506fc8eb3 100644
--- a/packages/alt-ergo-free/alt-ergo-free.2.2.0/opam
+++ b/packages/alt-ergo-free/alt-ergo-free.2.2.0/opam
@@ -6,6 +6,7 @@ maintainer: "alt-ergo@ocamlpro.com"
 authors: "Alt-Ergo developers"
 license: "Apache-2.0"
 homepage: "http://alt-ergo.ocamlpro.com/"
+dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
 
 build: