From 8fcac795491b070fef17a6299c4ee6bbd7ee2337 Mon Sep 17 00:00:00 2001 From: Reynald Affeldt Date: Fri, 22 Nov 2024 16:06:48 +0900 Subject: [PATCH] fix --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index c92248631..623be72c4 100644 --- a/README.md +++ b/README.md @@ -60,7 +60,7 @@ via the [opam](https://opam.ocaml.org/doc/Install.html) package manager: opam repo add coq-released https://coq.inria.fr/opam/released opam install coq-mathcomp-analysis ``` -Note that the package `coq-mathcomp-classical` among others will be installed as a dependency. +Note that the package `coq-mathcomp-classical` and `coq-mathcomp-reals` will be installed as dependencies. ### Manual installation