Commit f772c6be authored by erwan's avatar erwan
Browse files

build: fix the opam file

parent b1e1f5b7
......@@ -25,4 +25,4 @@ build: ["dune" "build" "-p" name "-j" jobs]
post-messages:
"The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
dev-repo:
"https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6"
"git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6"
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