diff options
| author | Falcon Dai | 2016-10-25 17:06:47 -0500 |
|---|---|---|
| committer | GitHub | 2016-10-25 17:06:47 -0500 |
| commit | dd7657ec58116e8af5cbb741f82afea12e1dc2d1 (patch) | |
| tree | ff9c4a06710f0058e2c8431b7cad8ddf9a600915 /mathcomp | |
| parent | 71e62259c3a7420ff4c635768564792d1fd38ceb (diff) | |
minor change to the opam install example
fix a typo in the example command
add `opam repo add coq-released http://coq.inria.fr/opam/released`
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions