typo (#89)

math-comp · Jun 21, 2024 · 055a25b · 055a25b
1 parent f1354e8
commit 055a25b
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 18 deletions.
diff --git a/installation.html b/installation.html
diff --git a/installation.org b/installation.org
@@ -80,7 +80,7 @@ Extensions:
 3. [[https://github.com/math-comp/real-closed][Theorems for Real Closed Fields]]
    - Available as the opam package ~coq-mathcomp-real-closed~
 4. A layer for classical reasoning (developed along [[https://github.com/math-comp/analysis][MathComp Analysis]])
-   - Available as the opam package ~coq-mathcomp-classic~
+   - Available as the opam package ~coq-mathcomp-classical~
 4. [[https://github.com/math-comp/analysis][MathComp Analysis]]
    - Available as the opam package ~coq-mathcomp-analysis~