Update packages.toml

jump-dev · Dec 9, 2023 · 20376af · 20376af
1 parent 101b46e
commit 20376af
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/packages.toml b/docs/packages.toml
@@ -127,7 +127,8 @@
     rev = "v0.5.2"
 [DisjunctiveProgramming]
     user = "hdavid16"
-    rev = "v0.5.0"
+    rev = "b71f715ba826fa63677da9590ae41b41ca5024e6"
+    filename = "docs/jump/README.md"
     extension = true
 [EAGO]
     user = "PSORLab"