Commit 9d99b531 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Add git prefix to repo URL.

parent b9f95a3d
......@@ -22,7 +22,7 @@ build: [
"@doc" {with-doc}
]
]
dev-repo: "https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"
dev-repo: "git+https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"
depends: [
"ocaml" {>= "4.07.0"}
"dune" {build & >= "2.8"}
......
......@@ -22,7 +22,7 @@ build: [
"@doc" {with-doc}
]
]
dev-repo: "https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"
dev-repo: "git+https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"
depends: [
"ocaml" {>= "4.07.0"}
"dune" {build & >= "2.8"}
......
......@@ -7,7 +7,7 @@
(generate_opam_files true)
(source
(uri "https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"))
(uri "git+https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"))
(license MIT)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment