Skip to content
Snippets Groups Projects
Commit 9a44a2d9 authored by Jonas Kastberg's avatar Jonas Kastberg
Browse files

Updated dependency commit hashes

parent 16bf2d36
No related branches found
No related tags found
No related merge requests found
Pipeline #24278 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
README.md
+ 2
− 2
View file @ 9a44a2d9
......@@ -7,9 +7,9 @@ It has been built and tested with the following dependencies
- Coq 8.10
- [std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp) at
commit 9041e6d8.
commit 37e95a04.
- [iris](https://gitlab.mpi-sws.org/iris/iris) at
commit 1f83451a.
commit d1787db2.
In order to build, install the above dependencies and then run
`make -j [num CPU cores]` to compile Actris.
......
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