diff --git a/docs/packages.toml b/docs/packages.toml index 21b4d7d453e..c3e3adbf0fc 100644 --- a/docs/packages.toml +++ b/docs/packages.toml @@ -78,7 +78,7 @@ # [Penopt] # rev = "486f07d3f3a11f12012ea3ada702a3ee55c8fdc5" [PolyJuMP] - rev = "0.7.1" + rev = "v0.7.1" extension = true [SCS] rev = "v2.0.0"