math-comp
diff --git a/‎installation.html
+17-17 b/‎installation.html
+17-17
diff --git a/‎installation.org
+1-1 b/‎installation.org
+1-1
@@ -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~