Merge branch 'master' of https://gitlab.mpi-sws.org/FP/iris-coq

dc432a1f · Jacques-Henri Jourdan · e575e40d · 5eeb0c67 · dc432a1f
Commit dc432a1f authored Nov 24, 2016 by Jacques-Henri Jourdan
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

opam opam +1 -1

No files found.
--- a/opam
+++ b/opam
@@ -6,7 +6,7 @@ authors: "The Iris Team"
 homepage: "http://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/FP/iris-coq/issues"
 license: "BSD"
-dev-repo: "https://gitlab.mpi-sws.org/FP/iris-coq"
+dev-repo: "https://gitlab.mpi-sws.org/FP/iris-coq.git"
 build: [
  [make "-j%{jobs}%"]
 ]