Update docs/packages.toml

jump-dev · Nov 20, 2023 · 52acb3e · 52acb3e
1 parent 581b13a
commit 52acb3e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"