Update docs/packages.toml

jump-dev · Dec 11, 2023 · 08c0f9e · 08c0f9e
1 parent bef213c
commit 08c0f9e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/packages.toml b/docs/packages.toml
@@ -127,7 +127,7 @@
     rev = "v0.5.2"
 [DisjunctiveProgramming]
     user = "hdavid16"
-    rev = "5d814e9023acf25672977632bc9dc111d68ea8ca"
+    rev = "6a4d0ac4a7484e52b1dbff9cee310a73d2d23e81"
     filename = "docs/jump/README.md"
     extension = true
 [EAGO]