Skip to content
Snippets Groups Projects
Commit 12f056e3 authored by Hai Dang's avatar Hai Dang
Browse files

fix repo links in README

parent d138d9bf
Branches
Tags
No related merge requests found
Pipeline #14338 canceled
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
README.md
+ 2
− 2
View file @ 12f056e3
...@@ -7,7 +7,7 @@ This is the Coq development accompanying lambda-Rust. ...@@ -7,7 +7,7 @@ This is the Coq development accompanying lambda-Rust.
This version is known to compile with: This version is known to compile with:
- Coq 8.7.2 / 8.8.2 - Coq 8.7.2 / 8.8.2
- A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/) - A development version of [Iris](https://gitlab.mpi-sws.org/iris/iris)
## Building from source ## Building from source
...@@ -15,7 +15,7 @@ When building from source, we recommend to use opam (1.2.2 or newer) for ...@@ -15,7 +15,7 @@ When building from source, we recommend to use opam (1.2.2 or newer) for
installing the dependencies. This requires the following two repositories: installing the dependencies. This requires the following two repositories:
opam repo add coq-released https://coq.inria.fr/opam/released opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add iris-dev https://gitlab.mpi-sws.org/FP/opam-dev.git opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam-dev.git
Once you got opam set up, run `make build-dep` to install the right versions Once you got opam set up, run `make build-dep` to install the right versions
of the dependencies. of the dependencies.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment