Commit 8d9e5f7e authored by Benoit Viguier's avatar Benoit Viguier
Browse files

update readme

parent 89f85f82
......@@ -142,8 +142,7 @@ The following actions will be performed:
∗ install coq-mathcomp-bigenough 1.0.0 [required by coq-mathcomp-multinomials]
∗ install coq-vst 2.0 [required by coq-verif-tweetnacl]
∗ install coq-coqprime 1.0.3 [required by coq-verif-tweetnacl]
∗ install coq-mathcomp-algebra 1.7.0 [required by coq-mathcomp-multinomials,
coq-ssr-elliptic-curves]
∗ install coq-mathcomp-algebra 1.7.0 [required by coq-mathcomp-multinomials, coq-ssr-elliptic-curves]
∗ install coq-mathcomp-solvable 1.7.0 [required by coq-mathcomp-field]
∗ install coq-mathcomp-multinomials 1.1 [required by coq-verif-tweetnacl]
∗ install coq-mathcomp-field 1.7.0 [required by coq-ssr-elliptic-curves]
......
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