diff --git a/docs/packages.toml b/docs/packages.toml index 73dc5dd23b1..f18d3eb6c88 100644 --- a/docs/packages.toml +++ b/docs/packages.toml @@ -86,6 +86,9 @@ # Penopt.jl isn't a registered package yet # [Penopt] # rev = "486f07d3f3a11f12012ea3ada702a3ee55c8fdc5" +[PiecewiseLinearOpt] + rev = "b0bbe5cf97e9130c74a099cbaa2df6b70c090d97" + extension = true [PolyJuMP] rev = "v0.7.5" extension = true