Add dev-repo

samoht · Jun 3, 2020 · 564304c · 564304c
1 parent 8626f8a
commit 564304c
Showing 1 changed file with 1 addition and 0 deletions.
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
@@ -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: