diff --git a/docs/packages.toml b/docs/packages.toml
index 7da26fffca0..eb12bec4e60 100644
--- a/docs/packages.toml
+++ b/docs/packages.toml
@@ -166,6 +166,9 @@
 [PATHSolver]
     user = "chkwon"
     rev = "v1.7.0"
+[Percival]
+    user = "JuliaSmoothOptimizers"
+    rev = "fea30951982d15cfa0a846d6528884e5a9046c58"
 [Plasmo]
     user = "plasmo-dev"
     rev = "v0.5.4"
diff --git a/docs/src/installation.md b/docs/src/installation.md
index 1338c8ecbab..0b129a5598f 100644
--- a/docs/src/installation.md
+++ b/docs/src/installation.md
@@ -137,6 +137,7 @@ The link in the `Solver` column is the corresponding Julia package.
 | [Pajarito.jl](https://github.com/jump-dev/Pajarito.jl)                         |                                                                                  |        | MPL-2    | (MI)NLP, (MI)SOCP, (MI)SDP |
 | [Pavito.jl](https://github.com/jump-dev/Pavito.jl)                             |                                                                                  |        | MPL-2    | (MI)NLP                   |
 | [Penbmi](http://www.penopt.com/penbmi.html)                                    | [Penopt.jl](https://github.com/jump-dev/Penopt.jl/)                              |        | Comm.    | Bilinear SDP              |
+| [Percival](https://github.com/JuliaSmoothOptimizers/Percival.jl/)              |                                                                                  |        | MPL-2    | NLP                       |
 | [PolyJuMP.KKT](https://github.com/jump-dev/PolyJuMP.jl)                        | [PolyJuMP.jl](https://github.com/jump-dev/PolyJuMP.jl)                           |        | MIT      | NLP                       |
 | [PolyJuMP.QCQP](https://github.com/jump-dev/PolyJuMP.jl)                       | [PolyJuMP.jl](https://github.com/jump-dev/PolyJuMP.jl)                           |        | MIT      | NLP                       |
 | [ProxSDP.jl](https://github.com/mariohsouto/ProxSDP.jl)                        |                                                                                  |        | MIT      | LP, SOCP, SDP             |