Commit 57ca5b38 authored by Benoit Viguier's avatar Benoit Viguier
Browse files

Update README : dependencies

parent 02db0baa
......@@ -20,6 +20,7 @@
opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
opam install coq-mathcomp-ssreflect.1.6.1
opam install coq-mathcomp-multinomials
opam install coq-ssr-elliptic-curves
opam install menhir
````
......
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