Skip to content
GitLab
Commit fe93ded0 authored by Ralf Jung's avatar Ralf Jung
Browse files

update opam repo URL

parent 1b4f7cb5
Hide whitespace changes
Inline Side-by-side
prepare-opam.sh
View file @ fe93ded0
......@@ -44,7 +44,7 @@ else
test -d "$OPAMROOT/repo/coq-extra-dev" && opam repo remove coq-extra-dev
test -d "$OPAMROOT/repo/coq-core-dev" && opam repo remove coq-core-dev
fi
test -d "$OPAMROOT/repo/iris-dev" || opam repo add iris-dev https://gitlab.mpi-sws.org/FP/opam-dev.git
test -d "$OPAMROOT/repo/iris-dev" || opam repo add iris-dev git+https://gitlab.mpi-sws.org/iris/opam.git
opam repo prio iris-dev 1 # make sure this stays at the top
echo
......
Supports Markdown
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